oldk1331 wrote:
>
> For Lisp, since it's already a dynamic language and has tagged
> data type, we should take advantage of that and should not tag
> data again (by Union("failed" ...)).
The problem is that data has "wrong" tags. First, Lisp types
are different than FriCAS types. Even in cases when at first
glance Lisp and FriCAS types look the same, there may be significant
difference. For example FriCAS scripted symbols are not
Lisp symbols. And FriCAS considers lists and symbols as
disjoint, but in Lisp NIL is _both_ symbol and a list.
In BOOT code where we use Lisp semantics we have bunch
of bugs: we can not correctly handle NIL as a symbol, because
empty list meaning forces interpretation incompatible
with semantics of symbols.
--
Waldek Hebisch
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
