Am 17.10.2016 um 11:13 schrieb Martin Baker:
> I suspect this is all a bit academic because I get the impression that the
> FriCAS compiler is too unpredictable to make the changes to the type system
> would be required for a more general category theoretic structures. Please
> me I'm wrong as it would be really wonderful if FriCAS could support this in
> most general form.
> Martin B
It's a bit academic, indeed. I use macros as Waldek described in a former post -
just a pragmatic approach. However, it would certainly be desirable to have a
'maybe' monad in fricas, and I see no reason why it shouldn't be feasible. In
OCaml for instance, the monad is implemented in the module 'Option' and seems to
me a pretty straightforward approach. 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).
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 post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.