From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: tagged type as generic parameter
Date: Fri, 04 Jan 2008 16:03:16 +0100
Date: 2008-01-04T16:03:16+01:00 [thread overview]
Message-ID: <rrhllf.t1v.ln@hunter.axlog.fr> (raw)
In-Reply-To: <fllb28$a70$2@news2.u-psud.fr>
Philippe Tarroux a �crit :
>> Given the OP's comment that the formal is tagged so that he will be
>> able to build lists of the type implies that he comes from a
>> background in such a language.
> What i wanted is not the "best" way to implement lists. I just wanted to
> explore this way. The strong OOP orientation is due to the fact that i
> tried this example after a discussion with one of my student arguing
> that Ada is too complex compared to Java. I wanted to explore '� la
> Java' solutions.
Of course, '� la Java' solutions coded in Ada will always be
disadvantaged; the converse is also true.
When discussing language complexity, I think you should start from a
real problem (without overspecification!), code it in each language
following each language's philosophy, and compare the result. Everything
else is biased.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2008-01-04 15:03 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-03 15:20 tagged type as generic parameter Philippe Tarroux
2008-01-03 15:51 ` Dmitry A. Kazakov
2008-01-03 16:22 ` Adam Beneschan
2008-01-03 16:58 ` Dmitry A. Kazakov
2008-01-03 17:47 ` Jean-Pierre Rosen
2008-01-03 18:13 ` Pascal Obry
2008-01-03 19:20 ` Dmitry A. Kazakov
2008-01-03 21:37 ` Jeffrey R. Carter
2008-01-04 13:08 ` Philippe Tarroux
2008-01-04 15:03 ` Jean-Pierre Rosen [this message]
2008-01-04 13:08 ` Philippe Tarroux
2008-01-04 13:22 ` Georg Bauhaus
2008-01-04 15:38 ` Philippe Tarroux
2008-01-04 14:17 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox