The introduction is really well done. It's not all bells and whistles like roc, but goes through everything cleanly and succinctly. Things I found interesting

The introduction is really well done. It's not all bells and whistles like roc, but goes through everything cleanly and succinctly. Things I found interesting - indent with 8 space tabs - ! error assertion operator and error matching - ownership model of memory management - { } denote compound expressions and yield instead of using "return" - for for all loops, like go - hosted on source hut - even a nice intro to how the standard library works - already using rfcs to some extent (whereas roc e.g. uses the benevolent dictator model at the moment) - page on how to evangelize: https://harelang.org/evangelism/ https://harelang.org/evangelism/ I really like it and intend to at least play with it. Edit: It seems like Go with memory management and some extra fancier features, which is nice. - toolchain one person can understand (I do feel go succeeds here too) - dedicated to Unix API, but inspired by Go's approach - comprehensible QBE compiler (Go also has a more minimal than optimized compiler)