Maude-help mailing list

[Michael Katelman <katelman AT uiuc.edu>]

On Thu, Feb 25, 2010 at 5:49 AM, Marc Boyer 
<Marc.Boyer AT onera.fr>
 wrote:
> 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.

It would be nice. Reuse can be a very productive thing.

-Mike

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