On Fri, Nov 4, 2011 at 5:04 AM, Martin Baker wrote: > Bertfried Fauser wrote: >> Does AXIOM have monads (like Haskell)? Sorry not much time to >> investigate myself. Such things can be implemented very efficiently >> and in an encapsulated way by using monads (in Haskell). > > As far as I can see there is already an SPAD domain called Monad but > its not really what we are talking about here? > > I have been thinking about what it would take to implement a monad in > SPAD, I have been doing this by taking 'List' as being an example of a > monad and then trying to generalise it. > > ...
I added Martin Baker's example monad code here: http://axiom-wiki.newsynthesis.org/SandBoxMonads I've re-organized it a little and added some references. Maybe it is a little easier to follow that the original email. Free free to experiment with it online, extend it or add comments, etc. Regards, Bill Page. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
