Lists Home |
Date Index |
The idea that the type system translates to power as per the principle
of least power is disturbing. IIRC Haskell's type system is Turing
complete, which IMHO goes against the idea of a type system. You want
to know your type system will complete at some time.
How many more times powerful does this make Haskell than Vbscript
which only has one type, the 'Variant' type?