Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Today I wrote a run time for linear abstract machine with linear continuations and type checking during loading of the program.
I could use some inspiration or ideas in shaping it further. I'll try to hit the 'simple but incredibly expressive'.
https://gist.github.com/cheery/5f7812d7b2d6ad41c3ca2a790b9c69d6
Today I wrote a run time for linear abstract machine with linear continuations and type checking during loading of the program.
I could use some inspiration or ideas in shaping it further. I'll try to hit the 'simple but incredibly expressive'.
https://gist.github.com/cheery/5f7812d7b2d6ad41c3ca2a790b9c69d6