Maude-help mailing list

[Marc Boyer <Marc.Boyer AT onera.fr>]

Michael Katelman a écrit :
> On Thu, Feb 25, 2010 at 3:43 AM, Marc Boyer 
> <Marc.Boyer AT onera.fr>
>  wrote:
> > Michael Katelman a écrit :
> > > According to Jose, the right answer is the TUPLE[_] module operation
> > > available in Full Maude, if anyone cares :\. (see Maude Manual
> > > (Version 2.4) Section 15.3)
> >  Yes, but it is a bit disapointing to need to write the dimension
> > of the tuple.
>
> Hmmm, I guess I don't understand exactly why you say that? To my mind
> the more disappointing aspect is that it forces you to use Full Maude,

  It seems to me quite "logical" to be forced to use Full Maude.
Parametrization in Maude is parametrization by a type (like C++ 
templates, Java generic...).
  To get higher level feature, you need to goes up to Full Maude.
But once in Full Maude, I was expecting to have more power.

> >  In practice, I have writen by copy/paste the parametrized modules
> > TUPLE2, TUPLE3, TUPLE4, TUPLE5 which are, in common usage, sufficient
> > (if you manipulate data with more than 5 sorts, it is certainly
> > necessery to structure it with names, like struct/object).
>
> Agreed.
>
> Wouldn't it be nice if there was a place where such things could be
> indexed and archived for others to use instead of everyone writing
> their own set of standard Maude libraries!

  We could ask.
  A kind of "contribution" part in the Maude Web site.

Marc Boyer
--
Marc Boyer, Ingenieur de recherche                              ONERA
Tel: (33)  5.62.25.26.36                                         DTIM
Fax: (33)  5.62.25.26.52                          2, av Edouard Belin
http://www.onera.fr/staff/marc-boyer/          31055 TOULOUSE Cedex 4