Conversation

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

Brendan Zabarauskas

@brendanzab

Dec 30, 2018

Defs interested in this too. I want dependent types too though :/ :/

p h z

@phaazon_

Dec 30, 2018

Then you want Idris without a GC! :D

Brendan Zabarauskas

@brendanzab

Dec 30, 2018

Also control over memory layout. And nicer records! 😂

p h z

@phaazon_

Dec 30, 2018

Yeah, Haskell records are pretty really bad. I also cringe at the current state of Haskell And Lens™.

Brendan Zabarauskas

@brendanzab

Replying to

@phaazon_

Sadly Idris is not much better :(

8:09 PM · Dec 30, 2018Twitter Web Client

Replying to

and

Lens + no GC. 🙌

Replying to

and

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

p h z

@phaazon_

Dec 30, 2018

You have Rust, but I truly think the syntax of ML-like languages is superior (and also, Rust is lacking a lot of functional aspects). Rust is imperative.

Show replies