Maude is a truly fascinating language. Its base computation model (no true operation order and pure term rewritting) is extremely innovative, and I've never see

Maude is a truly fascinating language. Its base computation model (no true operation order and pure term rewritting) is extremely innovative, and I've never seen another language like it. While not a production ready language, I'm really surprised it or something like it doesn't get more attention.