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'.