2011/4/27 MigMit <miguelim...@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.

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to