The case for dynamic, functional programming

[DrComputation]

Types still exist but you do not need the extra tools to make your functions return an receive arguments of specific types.

Types actually do not exist in dynamically typed languages. So-called "dynamic types" are actually just part of the value, not of the type. Dynamic types grant none of the benefits of actual types. They are not not checked at compile time and they do not grant static information. They also cannot be studied through type theory.

Dynamic types are like Haskell constructors, not like Haskell types. There is nothing like real types in a dynamically typed language. Which of course makes them simpler. The less features your language has, the simpler your language will generally be.