When you work at only one level of abstraction, current type systems are already great. When you work at several levels of abstractions... they mostly don't even try yet.
-
-
Once thing I can't relate to is dynamic languages without metaprogramming. Or statically types without inferencer. Lambdas but no tuples. Languages lacking either or both ad hoc and/or parametric polymorphism. There are trade offs. And then there's paying for nothing.
- End of conversation
New conversation -
-
-
I couldn't tell at first of this was a monad transformer or weight lifting comment.
-
It was!
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
Meh. I'm more excited about
@lexi_lambda's Hackett.
End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!