[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
make available,
      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 mailing list