Show HN: Minimal type-safe language for software architecture | Hacker News Reader