[fricas-devel] Re: [FricasUG] FIXME: sec 2.5.2 pag 96 osolete description & Feature suggestion for Union-s

2018-06-28 Thread Riccardo GUIDA
Sorry, I retract my feature suggestion because Union with selectors are there also in Aldor and with more features that make such selectors more meaningful: i.e. assignment via selector, like u := [num == 3]. RiCCardo -- You received this message because you are subscribed to the Google Groups

[fricas-devel] [FricasUG] FIXME: sec 2.5.2 pag 96 osolete description & Feature suggestion for Union-s

2018-06-28 Thread Riccardo GUIDA
Hi, if this is not the correct place for sending FricasUG fix requirements, please excuse me and let me now. RiCCardo [FricasUG] FIXME: sec 2.5.2 "Union-s with selectors" pag 96 "Note that case uses the selector name as its right-hand argument. If you accidentally use the branch type on the

Re: [fricas-devel] unique Value of Void

2018-06-28 Thread Bill Page
On Wed, Jun 27, 2018 at 5:15 PM, Ralf Hemmecke wrote: > Ricardo made me aware that the formulations in > http://fricas.github.io/book.pdf Section 5.3 maybe a bit confusing to > new users. > > We all know that Void is the type used in situations where there is > no value. No that is not correct.

Re: [fricas-devel] [PATCH] Void is the unit type, fix doc and cleanup (use 0 as representation)

2018-06-28 Thread Bill Page
On Wed, Jun 13, 2018 at 9:22 PM, oldk1331 wrote: >> However I am uncertain about your proposed changes to Void. Why do you >> prefer a value of 0 instead of the symbol "()"? Note of course that >> this is a Lisp symbol and not Lisp NIL. Although the value can be >> anything, as the empty tuple,