3 ms·
> the ugly downsides of dependent types and how to avoid them There's this Reddit answer from two years ago, and the subsequent comments https://www.reddit.com
by danidiaz 8y ago
> the ugly downsides of dependent types and how to avoid them
There's this Reddit answer from two years ago, and the subsequent comments https://www.reddit.com/r/haskell/comments/3zc81v/tradeoffs_of_dependent_types_xpost_from_ridris/cyl0bm1 https://www.reddit.com/r/haskell/comments/3zc81v/tradeoffs_o...
- lylecubed 8y agoThis is exactly what I'm looking for. Thanks!
- bjz_ 8y agoNote that many of those problems are being actively worked on in research, and progress is being made, albeit slowly. That said, we can still get some of the benefits of dependent types, even without all the problems being solved right now! Just gotta be aware that it's not all roses yet.