4 Oct
2021
4 Oct
'21
12:36 p.m.
On Mon, Oct 04, 2021 at 06:12:13PM +0200, Henning Thielemann wrote:
On Mon, 4 Oct 2021, Ben Franksen wrote:
Talking of inconsistencies, Haskell is not without some of those. For instance, I never understood why (->) is right associative in types, but (=>) is not and you are instead supposed to pack constraints in a tuple. (It works in some simple cases but not consistently.)
I use nested (=>) frequently. GHC allows it in type signatures but not in super-class constraints. Would be cool to be allowed everywhere, as it supports the "terminator syntax style".
Could you say what "terminator syntax style" is? I'm not finding any hits on popular search engines.