(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.)
-
no go
Two friends of mine were pretty enthusiastic about the Go language, so I tried writing a program in it yesterday. It is frustrating because despite…
-
playing with vala
I actually was toying with making something like Vala back in college. It's pretty cute. Much like using the sane subset of C++, as you write code…
-
chromium.el
This weekend I wrote some Emacs Lisp to write some utility functions I find useful for hacking on Chromium. It's fun to have a reason to use Lisp!…
- Post a new comment
- 2 comments
- Post a new comment
- 2 comments