On 17 October 2016 at 12:27, Kurt Pagani <[email protected]> wrote: > ... 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). >
Doesn't that conflate two different ideas? E.g. a partial function like division by 0, versus a function whose definition is such that attempting to compute it may never return such as general equality of functions? Or perhaps I am not properly understanding these Haskellish notions. -- 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.
