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
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.
1
1
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
Replying to
Yeah I know what you mean. For toy stuff I think unsafe-by-default is fine, but ugh, I really hope the industry moves on. I'm reminded of Graydon mentioning how surgeons would brag about how dirty their aprons were back in the day – I'm glad we're past that.