27 Apr
2011
27 Apr
'11
9:47 p.m.
On 11-04-27 05:30 AM, Henning Thielemann wrote:
I like to apply for the quote of the week. :-)
"If Haskell is great because of its laziness, then Python must be even greater, since it is lazy at the type level."
Using Data.Dynamic, Haskell has a story for laziness at the type level, too. Haskell has: value-level lazy, can opt-out type-level lazy, can opt-in continuations, can opt-in Python has: value-level eager, no choice type-level lazy, no choice no continuations, no choice If Python type laziness were that great, why isn't it rich in type-level programs? Has anyone even added numbers in Python at the type level?