[brehaut]

"...without a type system..."

Sorry to be a pedant, but dynamically typed is not the same as without a type system, it is merely without a type checker. They probably look the same to somebody well versed in Haskell but the distinction matters.

[eru]

As somebody well-versed in Haskell, I can attest that a dynamic type system does look different to me than no type system.

With a dynamic type system you get your errors at least at runtime. With no type system your program just behaves wrong.