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?
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
