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.
--
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.
