Re: Function calling
Re: Function calling
- Subject: Re: Function calling
- From: Ondra Cada <email@hidden>
- Date: Thu, 26 May 2005 03:55:41 +0200
Bob,
well, so we *are* getting offtopic indeed. Fair enough with me, but I
wonder what the listmom would say.
Anyway:
On 26.5.2005, at 3:50, Bob Ippolito wrote:
With a sufficiently intelligent type system, like Haskell's, you
will have a type that describes a "list of objects that implement
intValue", which can be verified at compile time.
Just tell me the principle on which this *could* work in *any*
langauge, given that the fact "object X implements message Y" can
change runtime!
I don't need to study Haskell or whatever, since this is plain logic
101: (a) either you forbid the possibility to change the set of
implemented messages at runtime (which would be quite bad and
limiting), or (b) you cannot check for this compile-time (which is a
very very small price for the flexibility given by (a)). QED.
---
Ondra Čada
OCSoftware: email@hidden http://www.ocs.cz
private email@hidden http://www.ocs.cz/oc
Attachment:
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Cocoa-dev mailing list (email@hidden)
Help/Unsubscribe/Update your Subscription:
This email sent to email@hidden