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.
probably easier to understand too. Arbitrary syntax extensions are hard to explain and can make parsing very slow.
-
-
This is why I prefer mixfix: replace multiple systems with different rules/syntax with a single system with one set of rules/syntax.
-
I would like, e.g., to write some sort of lifted bracket operator directly (like banana brackets), rather than separately via syntax.
End of conversation
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.