Log in

No account? Create an account

Multi-culturalism - John C. Kirk — LiveJournal

Oct. 11th, 2006

12:55 am - Multi-culturalism

Previous Entry Share Next Entry


[User Picture]
Date:October 11th, 2006 03:53 pm (UTC)
Oh - it's possibly worth noting that "pub pre pre pub curry" does an implicit flip of the type I showed here - it's not (just) the infixing that makes it work, it's (also) a redefinition of pre := flip pre.

I was going to say that the infixing just makes it obvious that it doesn't parse any other way. Unfortunately, it does parse another way:
Main> pre Pub (pre Pub Curry)
Ordering (Ordering Curry Pub) Pub

Perhaps it's that we're assuming that one has no need for pre Pub Pub, since one's already in the Pub. Or perhaps there's some weird rule about how native english speakers flip this arguments of their functions when they turn them infix...
(Reply) (Parent) (Thread)