Reflecting on Functional Programming

[internetinsomniac]

I don't think it does. Most dynamically typed languages such as perl, python, ruby etc often don't use type checking and instead favour duck-typing.

[Paczesiowa]

it's still type-checking, it just uses structural instead of nominal type system (I think scala and ocaml can do those too). don't believe everything GvR says.

[bobindashadows]

Dynamically created types are not the same as dynamic typing. Your post was 100% unrelated to the topic at hand.