On 8 October 2017 at 20:39, oldk1331 wrote:
> I have updated Maybe to use "Rep := List R" for future compatibility with
> Monad.
>
> https://github.com/oldk1332/fricas/commits/maybe
>
> (the branch is rebased)
>
>
On Mon, Oct 9, 2017 at 4:09 AM, Ralf Hemmecke wrote:
>>> We can have Maybe with a global failed().
>>
>> But then Maybe would not be a Monad (at least in the since used in Haskell).
>
> Exactly. And that is why for this case I would be rather against the
> name "Maybe". I'd
I have updated Maybe to use "Rep := List R" for future compatibility with Monad.
https://github.com/oldk1332/fricas/commits/maybe
(the branch is rebased)
https://github.com/oldk1332/fricas/commit/aa341bffbddc1e42896862aacb116180158e79cb
Still, the naming problem persists.
We only need to
On 8 October 2017 at 16:09, Ralf Hemmecke wrote:
> ...
> Exactly. And that is why for this case I would be rather against the
> name "Maybe". I'd rather opt for "Partial" as in Aldor even though
> AldorLib implements Partial via Record and is thus more similar to
>
On 10/08/2017 07:40 PM, Bill Page wrote:
> On 8 October 2017 at 03:47, Ralf Hemmecke wrote:
>> On 10/08/2017 05:55 AM, Bill Page wrote:
>>> "Union(R,"failed")" on the other hand does seem to take about 80%
>>> longer to unwrap a value.
>>
>> I'm not a compiler expert (and I
On 8 October 2017 at 03:47, Ralf Hemmecke wrote:
> On 10/08/2017 05:55 AM, Bill Page wrote:
>> "Union(R,"failed")" on the other hand does seem to take about 80%
>> longer to unwrap a value.
>
> I'm not a compiler expert (and I don't actually like Union(X,"failed")
> so much,
On 10/08/2017 05:55 AM, Bill Page wrote:
> "Union(R,"failed")" on the other hand does seem to take about 80%
> longer to unwrap a value.
I'm not a compiler expert (and I don't actually like Union(X,"failed")
so much, but we can have Monad in FriCAS without changing the language.
We can have Maybe