[Haskell-cafe] Python is lazier than Haskell

Felipe Almeida Lessa felipe.lessa at gmail.com
Wed Apr 27 14:52:00 CEST 2011


2011/4/27 MigMit <miguelimo38 at yandex.ru>:
> 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.

Strictness analysis is only an optimization, you don't need it to be
lazy in the term-level.

However Python does check the kinds, the types of the types, at
compile-time.  Everything is *.  ;-)

Cheers,

-- 
Felipe.



More information about the Haskell-Cafe mailing list