[Haskell] Re: [Haskell-cafe] Why functional programming matters

[Isaac Dupree]

Michael Reid wrote:
> The 
> power of Haskell's type system makes it feel like you are programming in 
> a dynamic language to some degree, yet all of it is type-checked, and 
> that is just *really* cool.

to some degree, (in current Haskell compilers), it *is* more like a 
dynamic than a static language: except when optimized away, values of 
all types are represented by a pointer to their actual value. (this 
helps with parametric polymorphism and laziness (take :: Int -> [a] -> 
[a]).) (at least this is a difference compared to C++)

~Isaac