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
Adding this to the list of things I want in this language:
Quote Tweet
Replying to @jonmsterling
Oh, and one thing I'm hoping to do is have each source file be an expression - wired together by the build system in a way that's similar to what's talked about in "A Principled Approach to REPL Interpreters": doi.org/10.1145/342642