Dependent types and how to get rid of themchadnauseam.com123 pointspie_flavor8 months agoRecent and related: Why don't you use dependent types? - https://news.ycombinator.com/item?id=45790827 (116 comments)