4 ms·
Why static languages suffer from complexity
- magicalhippo 1y agoJust 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