Miranda, a non-strict, polymorphic, higher order functional language (1983) | Hacker News Reader