You are viewing archived messages.
Go here to search the history.

Peter Saxton 2023-10-16 17:26:45

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

🎥 16/10/2023, Algebraic effects and handlers on an Arduino board

16/10/2023, Algebraic effects and handlers on an Arduino board

Mike Austin 2023-10-16 21:46:24

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

Peter Saxton 2023-10-17 06:34:12

Yes, so in essence I implemented this paper 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.

Mike Austin 2023-10-17 21:09:37

Hi all! I introduced myself and started poking around about a week ago, and have now finally created a video to share my work. It's a small, immutable, 100% async programming language, Kopi, and a React (UI framework) based desktop environment. Enjoy!

youtube.com/watch?v=jFh6s2p9kzc

🎥 Kopi Demo 2023 10 17

Kopi Demo 2023 10 17