Loon: A functional lang with invisible types, safe ownership, and alg. effects (loonlang.com)

<a href="https://news.ycombinator.com/item?id=47094429">Comments</a>