Hacker News new | ask | show | jobs
by ricky_clarkson 6330 days ago
They're an implementation of the untyped lambda calculus. What you're thinking of are better named tags, not types.