Hacker News new | ask | show | jobs
by jolux 2150 days ago
The best type definition languages do not introduce redundancies. They describe information that is not already in the implementation itself.