It would be, if only it checked the (necessary) types during compile time. As it is now, it seems like a claim that C is lazy just because any pointer can be null.
Отправлено с iPhone
Apr 27, 2011, в 13:30, Henning Thielemann
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."
Dynamically typed languages only check types if they have to, that is if expressions are actually computed. Does this prove that laziness at type level as in Python is a great thing or does this prove that laziness at the value level as in Haskell is a bad thing or does this prove nothing?
Hope for controversial discussion ...
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe