My 2019 dream: #Haskell without a GC (really with NO GC; I’m not talking about a very fast GC) and a low-level memory control system. Unfortunately, by definition, it’s unlikely to ever happen. Haskell is the best language out there for abstraction and expressivity power. <3
Conversation
Defs interested in this too. I want dependent types too though :/ :/
1
1
Also control over memory layout. And nicer records! 😂
1
Sadly Idris is not much better :(
2
Lots of cool stuff in Idris - I really like it. But yeah, I'm really hoping for something that can help with low level code. Will continue messing around with my language, but no promises on a timely time-frame! Currently in the weeds figuring out normalization by evaluation. 😂
1
Replying to
Yeah, definitely agree with this. I also want to have a leaner core language than Rust ended up with (which is more monolithic in design). I'm hoping that this should keep language features extensions more sane and easier to formalise.