Hacker News Reader

https://www.idris-lang.org the book is great.

https://urbit.org/docs/learn/hoon/ has a small, welcoming community. It's pretty out there though.

There's also nim (fast Python) and Crystal (fast Ruby).

I've been meaning to check out urbit thoroughly for a while but they seem to have gone overboard with the esoteric terminology, at least for me personally. I was put off by the naming schemes in the docs last I looked at them about a year ago. I suppose I'll have another look again. Maybe they grow on you once you are familiar with them.

Reply on news.ycombinator.com