3 points | by andsoitis 6 hours ago
1 comments
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 Why don't you use dependent types?
https://news.ycombinator.com/item?id=45801966 Dependent types and how to get rid of them
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 Why don't you use dependent types?
https://news.ycombinator.com/item?id=45801966 Dependent types and how to get rid of them