Maude-help mailing list

[Yevgen Voronenko <yvoronen AT andrew.cmu.edu>]

Hi, Maude-Help,

Is it possible to define higher order functions (operators) in Maude 
without resorting to meta-level?

For example, I would like to define a map function (operator).
using pseudo-notation:
map : List Func -> List
map([1, 2, 3], increment) = [increment(1), increment(2), increment(3)]

in the above increment would be a Maude operator.

I was able to defined this using Meta-level, but it seems inefficient 
and overly complicated.

Thanks a lot.