dreaming of a language with dependent records as modules (like in 1ML, but full spectrum dependent types), multistage stage programming, linearity, erasure, and effects+handlers that can be inlined or compiled to capability passing style (could be handy for custom allocators)
Conversation
Can you give me the pitch for Effect Handlers? I've heard them described as "generalised exceptions"?
1
They let you decouple the use of effects from their interpretation. This can let you do cool stuff like scheduling effects synchronously or asynchronously, mocking out dependencies in tests, inserting logging, etc.
1
1
This was a nice blog post on effect handlers that you might find interesting! robotlolita.me/diary/2018/10/