Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on What else are we getting wrong about programming languages?. Parent comment
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.
There are no comments on this comment yet.
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.