Coming to Terms with Your Choices: An Existential Take on Dependent Types — mentioned by still_grokking

Sun, 26 Sep 2021 07:02:55 GMT

> The “ Some safe and some bold predictions” comment is almost exactly my view on how programming should evolve. (functional, reactive, going toward dependent types etc ) Interesting how in 2012 it was already so clear! Given that languages used broadly in the industry are lacking behind research 20+ years that's not a good prediction. It's just the way things are going. BTW: There's still no mainstream language with full dependent typing… (I count Haskell as mainstream; Scala seems closest¹ but still a long way to go). Actually people are already so overwhelmed by all that really old stuff…

Paper and discussion history. A mention is not an endorsement.

Coming to Terms with Your Choices: An Existential Take on Dependent Types · HackerPapers discussions

Coming to Terms with Your Choices: An Existential Take on Dependent Types — mentioned by still_grokking