(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.)
autrijus
(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.)
-
münchen
On that note: I'm living in Munich for the next week plus a few days. Do I know anyone around here? (PS: The LJ → PubSubHubbub → Reader…
-
deb/rpm diffing tools
Dear Linux hackers, Chrome tends to push minor updates (often security) pretty frequently. We'd like to operate as a good member of the Linux…
-
emacs
I've been using vim for a very long time -- over ten years -- but over those years I've envied more and more the way emacs integrates other software.…
- Post a new comment
- 2 comments
- Post a new comment
- 2 comments