[Haskell-cafe] an idea for modifiyng data/newtype syntax: use `::=` instead of `=`
Richard A. O'Keefe
ok at cs.otago.ac.nz
Fri Aug 28 04:26:34 UTC 2015
I note that Haskell is not the only language to link
identifiers with types using '::' rather than ':'.
Apart from the obvious (Clean), there's Fortran.
From the file ATMDYN.f in a system that NASA helpfully
LOGICAL :: HAVE_SOUTH_POLE, HAVE_NORTH_POLE
This puts the type before the identifiers, but still...
Didn't Miranda use '::=' to declare sum-of-product types?
More information about the Haskell-Cafe