
28 Aug
2015
28 Aug
'15
4:26 a.m.
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?