> We have more than 50 packages named '*Functions2' which
> implement 'map' between two domains.
I am not suggesting replace those packages that deals with
more than two domains. I'm talking about
map : (S->S, %) -> % , where % has a parameter S
There are about 15 map signatures like this.
> 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.
> - What documentatin do you propose for the 'map' function?
>From https://hackage.haskell.org/package/base-18.104.22.168/docs/Data-Functor.html ,
"uniform action over a parameterized type".
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 email@example.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.