On 17 October 2016 at 12:27, Kurt Pagani <nil...@gmail.com> 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).
>

##
Advertising

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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.