[edejong]

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.