Linear types make performance more predictable https://blog.tweag.io/posts/2017-03-13-linear-types.html (exploring linear types in Haskell)
Related Posts
Bootstrapping a language can be immensely satisfying.
I've added the ability to define stub types in the Garden stdlib and suddenly I don't need to special-case Int or String! They're just normal type declarations.
Playing with optional type signatures in Python, I realise that the return type is the most important to me.
I'd much rather have a function with only a return type instead of a function with only parameter types. It's often quick to add too.
Exploring design ideas using AI as a learning assistant, for creative exploration: https://andymatuschak.org/hmwl/