Compiling Algebraic Effects and handlers for Arduino using tinygo https://vimeo.com/874870905?share=copy

Can you explain at a high level what's going on? I see go, Arduino, some CPS (Continuation Passing Style) happening, etc.

Yes, so in essence I implemented this paper https://www.microsoft.com/en-us/research/uploads/prod/2021/03/multip-tr-v4.pdf to remove the effects and handlers from the AST (A prerequisit is to first A-normalise the AST). Once that was done codegen to go is pretty easy. which I then use tinygo to compile further.