Evan Martin (evan) wrote in evan_tech,
Evan Martin
evan
evan_tech

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.)
Tags: haskell, programming languages
Subscribe

  • your vcs sucks

    I've been hacking on some Haskell stuff lately that's all managed in darcs and it's reminded me of an observation I made over two years ago now (see…

  • perl people, explain your language to me

    Every time I use perl I feel mildly positive about it right up until I encounter CPAN. I've never managed to make CPAN work, despite the multitude of…

  • dns attack of doom

    If I've learned anything from the new Kaminsky DNS attack, it's that if you want to keep something a secret while disclosing to a trusted subset of…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 2 comments