Worrying about type is programming. When the type is right, the implementation is trivial. Type-theoretic monstrosities point towards incomprehension of the p

Worrying about type is programming. When the type is right, the implementation is trivial. Type-theoretic monstrosities point towards incomprehension of the problem. Tackling two problems is a triviality, an engineer worries about more. A modern language does not hide the machine code, but abstracts it. A type cannot be abstracted, a type is the abstraction.