Lamda calculus cannot be called universal because it would be too limiting | Hacker News Reader