My new plan for teaching FP: Start with Agda so they will be slightly sad about Idris and then after Idris they will be sad about Haskell.
what makes you sad in Idris? Some things make me sad too, but there are tradeoffs everywhere.
-
-
I prefer true mixfix to syntax/dsl, I like unicode syntax and (almost) unrestricted identifier grammar, case-aware proof search...
-
Aha. I want the last of those, but I'm not keen on the others. I've gone off extensible syntax too.
- 9 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.