Log in

No account? Create an account
23 April 2007 @ 03:07 pm
Polymorphism in Maude  
I realise this probably means very little to most of you but I just wanted to vent my frustration at the way polymorphism and module hierarchies work with the Maude language.

Or at least with the way it appears to work based on my "dip in and out" approach to reading the manual.

I won't go into details, but every time I introduce a new rule I appear to have to go and redefine a dozen constants in various module imports. This is slowing down progress on the the working implementation I promised my PI for the project meeting a week today (although, to do him credit, the look on his face when I said I'd have a working implementation a week Monday, suggested he thought I was in cloud cuckoo land).
louisedennislouisedennis on April 23rd, 2007 03:17 pm (UTC)
Oops - I think I just deleted a comment from king_pellinor while trying to clear out my messages...
king_pellinorking_pellinor on April 23rd, 2007 04:26 pm (UTC)
It does seem to have vanished :-(

But it wasn't worth the paper it was written on anyway :-)