Hacker News new | ask | show | jobs
by kiriakasis 3292 days ago
i would be pleasantly suprised to find an extensional type system in a mainstream language :)