On 1 April 2015 at 16:40, Matt Oliveri <[email protected]> wrote: > > Oh wait, that _is_ weird. Doesn't that violate the "occurs check" or > whatever? Because it asks for ('rtn = afn 'c 'd->'rtn)? Anyway, the > problem isn't the two applications of the same function themselves, > it's that they have the same type. >
I don't know why, but I really like types like these. It's not really a contrived pattern, you could do something like that to represent iteration (the `keean` function either 'iterates' f one place, or two). -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
