Re: [fricas-devel] Maybe preview 2

2017-10-08 Thread Bill Page
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) > >

Re: [fricas-devel] Maybe preview

2017-10-08 Thread oldk1331
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

[fricas-devel] Maybe preview 2

2017-10-08 Thread oldk1331
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

Re: [fricas-devel] Maybe preview

2017-10-08 Thread Bill Page
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 >

Re: [fricas-devel] Maybe preview

2017-10-08 Thread Ralf Hemmecke
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

Re: [fricas-devel] Maybe preview

2017-10-08 Thread Bill Page
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,

Re: [fricas-devel] Maybe preview

2017-10-08 Thread Ralf Hemmecke
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