Re: Function calling
Re: Function calling
- Subject: Re: Function calling
- From: Thomas Davie <email@hidden>
- Date: Thu, 26 May 2005 02:54:53 +0100
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
This is not the point Bob is making, the point in that it is not
restrictive to impose the constraint.
If you can give me an example (preferably likely to be used) where
this is restrictive, please show me it.
Bob
_______________________________________________
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