[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Typing and semantics [dynamic vs. static typing]

On Wednesday, December 17, 2003 12:51 PM, John Clements 
[SMTP:clements@brinckerhoff.org] wrote:
> Cribbing again from my response to Ken, I think the core of the 
> has to do with typeclasses as a program abstraction mechanism that is
> inherently non-local.

Invoking a first class function is "inherently non-local".