On Tuesday 08 Nov 2011 16:05:39 Ralf Hemmecke wrote:
> > Monad(A: Type, M: partialType): Category == with {
> >
> > unit: A -> M o A
> > mult: M o M o A -> M o A
> >
> > }
>
> Everything must have a type. Do you mean that partialType is a built-in
> type that allows application? What would be the return type then?
> It's not going to work that way in SPAD. You have to be very explicit
> about types.
Ralf,
Perhaps if I give a concrete example:
Monad(String,List)
would have:
unit: String -> List String
mult: List List String -> List String
Martin
--
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 fricas-devel@googlegroups.com.
To unsubscribe from this group, send email to
fricas-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
