[Haskell-cafe] Reflective capabilities of Haskell
Martin Hofmann
martin.hofmann at uni-bamberg.de
Tue Mar 11 06:57:52 EDT 2008
I am trying to port a programme written in Maude, which is a reflective
language based on rewriting logic ( http://maude.cs.uiuc.edu/ ), to
Haskell. I thought using Template Haskell might be a good idea, but I
got stuck and now I am wondering if this is really possible in Haskell.
Let me give an example of a Maude module defining the function last over
a list of Peano numbers.
fmod LAST is
sorts Peano PeanoList .
op 0 : -> Peano [ctor] .
op s : Peano -> Peano [ctor] .
op [] : -> PeanoList [ctor] .
op cons : Peano PeanoList -> PeanoList [ctor] .
op last : PeanoList -> Peano .
vars X Y : Peano .
var Xs : PeanoList .
eq last(cons(X,[])) = X .
eq last(cons(X,cons(Y,Xs))) = last(cons(Y,Xs)) .
endfm
So, last(cons(s(0),cons(s(s(0)),cons(s(s(s(0))),[])))) would reduce to
s(s(s(0))). The cool thing about Maude is, that terms, modules, ... can
be lifted to the meta level. For example:
upModule('LAST, false)
would yield
More information about the Haskell-Cafe
mailing list