On Tue, 23 Feb 2021 at 18:00, Waldek Hebisch <[email protected]> wrote: > > On Tue, Feb 23, 2021 at 10:03:25AM +0800, Qian Yun wrote: > > > > > > 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. > > Up to now I saw nothing to change my opinion. To clarify, automatic > "lifting" of operations for T to say Maybe(T) would be useful. > But up to now I do not see workable proposal how to implement > such lifting and what exact rules should be. Without viable > strategy for implementing extra functionality change to > Maybe from my point of view looks pointless. > > To put is differenly, I view compiler, language and coding idioms > as a whole. Clearly many language constructs need compiler > support. Coding idioms depend on language and compiler. > New coding idiom my be quite useful without new support. > But IMO usefulness of Maybe depends very much on features > of Haskell and Haskell compiler. While it may be > possible to have useful effect is quite different way, > mere change of notation does not look useful. >
OK - That does make sense. I do have some ideas for how automatic lifting can be done within Aldor, but it looks like there are a lot of other issues to work through as well. > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/20210223180017.GB15427%40math.uni.wroc.pl. -- 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/CAK%3DmBN8EnEBDOE%2BCJecF-Q5cRPpnYDwficZgYZenNUjn5aR4Dw%40mail.gmail.com.
