Type-Safe User Interfaces and the Manifest Pattern | Hacker News Reader