> On the other hand I'd rather like a > "partial" monad instead of "maybe" (which usually means a single terminal > symbol > "failed"), that is a product type M(T)=T x Q, where Q is a monoid, such that > the > Kleisli composition evaluates the two programs in sequence and combines their > Q > output. Example: Q=(String, conctenation).
That would be a little like Haskell's IO Monad, because it concatenates string one by one, useful for logging, for example. That can be considered. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
