oldk1331 wrote:
>
> Waldek, I think the GENSYM idea should work.
>
> I want to know your opinion on replacing all Union("failed", ...)
> to Maybe. Because this will be a huge change, and I want to
> do it before we all agree.
Well, I think that such change would be premature. First we
need some experience with using Maybe, in particular if
expected benefits are there. Some issues to think on:
- there are things like Union("OK", "failed", "all_bad") in the
codebase. Of course those unions can not be replaced by Maybe.
But most current uses of Union(XXX, "failed") potentially may
need expansion to more cases. With unions such expansion is
quite easy, with Maybe it is more work
- how well Maybe works with compiler. Spad compiler has
special knowledge about unions. ATM it has no such knowledge
about Maybe. It would be nice if Maybe worked well without
any hardcoded treatment from compiler, but I expect that
better code will require some compiler tweaks.
- Unions are part of exported interfaces. A lot of user code
would need to adapt...
--
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 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.
