https://futureofcoding.org/ logo
#share-your-work
Title
# share-your-work
p

Peter Saxton

10/16/2023, 5:26 PM
Compiling Algebraic Effects and handlers for Arduino using tinygo https://vimeo.com/874870905?share=copy
m

Mike Austin

10/16/2023, 9:46 PM
Can you explain at a high level what's going on? I see go, Arduino, some CPS (Continuation Passing Style) happening, etc.
p

Peter Saxton

10/17/2023, 6:34 AM
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.