What are your thoughts on Hare? I... really don't like it (wrong direction for me, personally), but I'm curious what your perspective is
Conversation
Replying to
The logo is cuuute.
Alas, it seems to go in a similar direction as Zig, Odin, Jai - ie. more like a ‘better C’, as opposed to a simpler Rust, friendlier ATS, more systems-friendly ML/dependently typed language, which I'm personally more interested in.
I do appreciate their documentation efforts, and it seems like the engineering is good, but yeah I'm less of a fan of the direction. Memory safety is critical now more than ever, and it seems disregard this in favor of ‘trusting the programmer’, vs. ‘helping the programmer’.
1
1
I also am now more in favor of designing languages in a way that is shaped by an underlying type theory, and it disregards this too. Rust is kind of ‘meh but possibly salvageable’ on this, but the other ‘better C’ style alternatives I listed before stray even further from that.
1
1
Show replies