Maude-help mailing list

[Michael Katelman <katelman AT uiuc.edu>]

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,
which while providing many useful features can be very difficult to
debug etc. Keystroke-wise, I'd say it's not a big difference,
especially since Maude as a whole requires a lot of keying.

>  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!

-Mike

>
> Regards,
>  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
>