On Mon, Oct 17, 2016 at 3:53 PM, Ralf Hemmecke <r...@hemmecke.org> wrote:
>>> Functor is quite loaded name and may lead to confusion.
>>
>> Yes, the name is a problem. OpenAxiom uses "Functorial".
>> But I think Functor is fine, given the context that Haskell is
>> using this name.
>
> BTW, in Aldor the "Maybe" domain is called "Partial".
> https://github.com/pippijn/aldor/blob/master/aldor/lib/aldor/src/base/sal_partial.as

##
Advertising

I'd be OK to adopt this name.
> You probably suggested that, because the "if" line shouldn't be there
> and you actually wanted something that applies to all pairs of monads.
> But your FunctorPackage just does the lifting of map for only one
> particular monad (namely Maybe).
Yes, that package is supposed for ALL Funtors, to
(potenially) replace current 50+ '*Functions2' package,
not invent a new one solely for Maybe:
if FA is Maybe A and FB is Maybe B then ...
if FA is X A and FB is X B then ...
if FA is Y A and FB is Y B then ...
> I'm still of the opinion that the concept of monads cannot be nicely
> defined in SPAD.
> https://groups.google.com/d/msg/fricas-devel/UCFkQGgOOf0/RzbEtrbYIHUJ
>
> Note that in
>
> https://wiki.haskell.org/Monad
> class Monad m where
> (>>=) :: m a -> (a -> m b) -> m b
> (>>) :: m a -> m b -> m b
> return :: a -> m a
> fail :: String -> m a
>
> the "m" appears in front of a and in front of b. I'm not aware of a
> SPAD/Aldor syntax that can describe this situation.
That "m" stands for "the same Monad constructor", Spad don't have similar
syntax, that's why I have to simulate it by "if FA is Maybe A and FB
is Maybe B".
This package doesn't forbid MONADPKG(String, Integer, Maybe String,
List Integer),
which is obviously wrong.
--
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.