27 Apr
2011
27 Apr
'11
8:52 a.m.
2011/4/27 MigMit
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.