Re: The "()" operator revisited.

[Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>]

On Wed, 14 Jan 2004 12:55:36 +0000 (UTC), Georg Bauhaus
<sb463ba@l1-hrz.uni-duisburg.de> wrote:

>Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>: 
>: Wrong, the Future Language will need no templates. (:-))
>
>Thus
>
>	type Set;
>	function Set.contains(e: Any) -> Boolean;
>	...
>
>	type AppleSet;
>	function AppleSet.contains(e: Apple) -> Boolean;

Is AppleSet related to Set? I do not like the C++ way, of telling that
they both have a function named "contains".
>	...
>
>	type OrangeSet;
>	function AppleSet.contains(e: Orange) -> Boolean;
>	...
>
>Or which way?

Templates are for generic programming. I would like to do generic
programming in terms class-wide subroutines and discriminated types.
Then in place of template specialization, I would put constraints on
discriminants. I would also treat X'Tag as a discriminant of S'Class.
Though it would be interesting to consider making types the first
class objects, I think that we could replace them with their tags,
instead.

--
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de