In the Age of Web: Typed Functional-First Programming Revisited | Hacker News Reader