Types in the end are contacts you make with yourself, enforced by the compiler. A weak type system gives you the freedom to trick yourself. I don't feel it's

Types in the end are contacts you make with yourself, enforced by the compiler. A weak type system gives you the freedom to trick yourself. I don't feel it's a feature.