Talk:Maude system

From Wikipedia, the free encyclopedia

[edit] What is Maude?

What is this Maude system? Is it some sort of mathematical programming language, a particular software program which is an implementation of such a language, or both smooshed together (a language whose only instantiation is this program)? --Gwern (contribs) 21:50, 14 November 2006 (UTC)

Both. It's a language specification with an interpreter and runtime environment. There were some plans of a Maude compiler, but I don't know the current state of affairs. Ambarish 00:50, 18 January 2007 (UTC)

[edit] Example 2 and following

I think that the example 2 is not correct. The operator '+' is not a constructor. It is a defined function, defined by the equations below. —The preceding unsigned comment was added by 80.144.247.224 (talk) 11:23, 23 February 2007 (UTC).

Constructors in Maude do not have to be free, they can be indeed be governed by additional equations (see the Maude manual). 218.166.161.142 14:10, 15 April 2007 (UTC)

Yes, but + is not a constructor of the natural numbers. A natural number is 0 or S(N:Nat), the term N1:Nat + N2:Nat is not a Nat (though it will reduce to one.) Taemyr 19:51, 25 May 2007 (UTC)