A friendly language for building type-safe, scalable systems | Hacker News Reader