evan_tech

Previous Entry Share Next Entry
11:15 pm, 27 Nov 05

autrijus

If I haven't pointed it out before, Autrijus Tang's blog is great reading. He's the Perl 6 hacker but for example a recent post is about hacking in existential types into Haskell.

(What are existential types? I've understood it a number of times and occasionally I discover a pattern I'm looking for while programming is an existential type, but I still don't understand them well enough to tell you the transformation from forall to existential types. Haskell lacks them in part because using that transformation means you can write existential in terms of forall, but they're still useful.)