Just glossed through it and really liked what I saw, will have to deep dive later. Since the article considers dependent types as a solution, it seems relevant

Just glossed through it and really liked what I saw, will have to deep dive later. 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 https://news.ycombinator.com/item?id=45790827 Why don't you use dependent types? https://news.ycombinator.com/item?id=45801966 https://news.ycombinator.com/item?id=45801966 Dependent types and how to get rid of them