On 2/22/21 3:19 AM, Ralf Hemmecke wrote:
On 21.02.21 18:53, Peter Broadbery wrote:
On Fri, 19 Feb 2021 at 09:48, Ralf Hemmecke <[email protected]> wrote:
IIUC Aldor does not suport "failed" (with Spad notation) as a type,
which leads to massive source changes (this is in the language
differences page).
Aldor does allow 'Union(a: T, failed?: 'failed'), which might be similar enough.
Tangentially, what would be the issues with switching the algebra code to use
Partial instead of the Union?
I would love to see such a change and I would happily help in this
endeavour.
Ralf
Ralf
I would like FriCAS to move away from "failed" and choose Haskell style
"Maybe" instead. This topic has been discussed before, I wonder if
Waldek's opinion has changed.
- Qian
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/2c3f1c38-4674-d7d5-ded6-3de113a4866c%40gmail.com.
