6 ms·
They're an implementation of the untyped lambda calculus. What you're thinking of are better named tags, not types.
by ricky_clarkson 18y ago
They're an implementation of the untyped lambda calculus. What you're thinking of are better named tags, not types.