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 <lemm...@henning-thielemann.de> написал(а): > > 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe