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

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

To: "'John Clements'" <address@hidden>
Subject: RE: Typing and semantics [dynamic vs. static typing]
From: "Kevin S. Millikin" <address@hidden>
Date: Wed, 17 Dec 2003 14:08:43 -0600
Cc: "address@hidden" <address@hidden>
Organization: ATC
Reply-to: "address@hidden" <address@hidden>
Sender: address@hidden

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 
debate
> has to do with typeclasses as a program abstraction mechanism that is
> inherently non-local.

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

Follow-Ups:
- Re: Typing and semantics [dynamic vs. static typing]
  - From: John Clements <clements@brinckerhoff.org>

Prev by Date: Re: More on dispatching by function return type
Next by Date: Re: mapping data
Previous by thread: Re: Typing and semantics [dynamic vs. static typing]
Next by thread: Re: Typing and semantics [dynamic vs. static typing]
Index(es):
- Date
- Thread