Composition operator [was: Re: Records in Haskell]

J. Garrett Morris jgmorris at cs.pdx.edu
Sat Jan 14 05:32:00 CET 2012


On Fri, Jan 13, 2012 at 8:23 PM, Matthew Farkas-Dyck
<strake888 at gmail.com> wrote:
> p :: P (p (P pp p))

This is not too far off the original design of Miranda, in which type
variable names were drawn from the set {*, **, ***, ...}

 /g

--
"Would you be so kind as to remove the apricots from the mashed potatoes?"



More information about the Glasgow-haskell-users mailing list