On 2/24/21 2:00 AM, Waldek Hebisch wrote:
On Tue, Feb 23, 2021 at 10:03:25AM +0800, Qian Yun wrote:
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.
Why would that be useful? I think explicit type conversion is
better than implicit/automatic type conversion.
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.
I think in Haskell, "Maybe" is purely implemented as library
and requires zero compiler support.
- 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/a3abc1f4-cd7a-ca33-bedb-90a8826543d4%40gmail.com.
