Since the article considers dependent types as a solution, it seems relevant to link to the two recent submissions on that:
https://news.ycombinator.com/item?id=45790827 Why don't you use dependent types?
https://news.ycombinator.com/item?id=45801966 Dependent types and how to get rid of them
magicalhippo•28m ago
Since the article considers dependent types as a solution, it seems relevant to link to the two recent submissions on that:
https://news.ycombinator.com/item?id=45790827 Why don't you use dependent types?
https://news.ycombinator.com/item?id=45801966 Dependent types and how to get rid of them