Ralf Hemmecke wrote:
>
> That's really weird, indeed.
>
> In fact, I am somehow even against both versions. "has" uses a domain as
> its first argument and a category as its second.
>
> But a signature like "sqrt: %->%" is not itself a category. In fact, a
> signature has no type in the system. For convenience one could agree to
> let the interpreter accept that and translate it into
>
> AN has (with sqrt:%->%)
>
> fur further processing. In the compiler "with" should always be necessary.
>
> Waldek, I guess, that will result in quite a number of rewrites in the
> algebra files, but it would remove yet another hack. I'm willing to look
> through all files and transform the .spad files if you find an easy way
> to ensure that the signature of "has" always is
>
> has: (DOMAIN, CATEGORY) -> Boolean
>
> and forbid signatures as the second argument.
>
> Of course, that is somehow orthogonal to the $ vs. % issue, but I think
> equally worth to be considered.
>
I do not think that insisting on extra 'with' is really better
than allowing shorter form.
> Actually the question arises, why we still have $. Wouldn't that be easy
> to remove altogether?
>
Currently at Lisp level we only have '$'. '%' is converted to '$' when
parser output is postprocessed. There are several places in the
code which use '$', ATM I do not now how hard would be to change
all of them -- to know one needs to try and look for breakage.
--
Waldek Hebisch
[email protected]
--
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 [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
