This is why I think it's good to remember not all code needs to be or should be proved. DT provides *expressive* benefits as well as the ability to prove code. That's one of the lessons many talks about Idris have tried to convey: it's just a nice model of functional programminghttps://twitter.com/ProgrammerDude/status/1044274376122740736 …
-
-
Oh my 𐑜𐑷𐑛, PLEEEZ tell me those assholes aren't invading this community. I knew with Brian here there was some risk of conflict but he's practically the guy who lead the charge on "don't feel the need to prove everything, Idris is great even without that."
-
They were trolling boats a while back with extremely self-righteous and hilariously ignorant comments about monads vs. async/await, but in general they’ve stayed away because culturally Rust doesn’t really attract FP fans that much.
- 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.