Email Gateway (Aug 22 2022 at 20:22): Email Gateway (Aug 22 2022 at 20:22):From: Yakoub Nemouchi <y.nemouchi@gmail.com>
Dear list,
From the point of view of AFP entries, which is the preferred syntax for
curried functions:
(A) f:: ['a,'b]=>'c
OR
(B) f:: 'a =>'b=>'c
Even if I find myself (A) a bit odd as a notation for curried functions!
Best wishes,
Yakoub.
Email Gateway (Aug 22 2022 at 20:22):From: Tobias Nipkow <nipkow@in.tum.de>
The [ ... ] => syntax for function types is definitely more of historic
interest. In fact, you will find that it is hardly used anymore anywehere.
Tobias
smime.p7s
Email Gateway (Aug 22 2022 at 20:23):From: Wolfgang Jeltsch <wolfgang-it@jeltsch.info>
Oh no! I thought that it might be good style to use the […] ⇒ … syntax
and consequently have already adopted it to a large degree now.
I guess I should backpedal now. :frown:
All the best,
Wolfgang
Email Gateway (Aug 22 2022 at 20:23):From: Lawrence Paulson <lp15@cam.ac.uk>
Well, I prefer it, and it’s clearer if you have deeply nested function types.
Larry
Last updated: Apr 20 2024 at 12:26 UTC