Paging
Quote Tweet
Dependently typed Haskell in industry (experience report)
Galois 2019
dl.acm.org/citation.cfm?i
"We have discovered that it can be done, and it brings significant value, but also at a high cost."
1
Conversation
Replying to
Yeah I’ve seen that! Lots of good work being put into Dependent Haskell - still seems like there’s a way to go before you’d want to use it in prod though.