[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,
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