Re: Using 'λ'

2018-10-15 Thread Ludovic Courtès
Hello! Chris Marusich skribis: > Alex Vong writes: > >> [...] It seems many think λ is not newcomer-friendly [...]. > > I would go one step farther and argue that the name "lambda" itself is > not the best, regardless of whether it's written as "lambda" or "λ". I > agree with the authors of

Re: Using 'λ'

2018-10-14 Thread Chris Marusich
Alex Vong writes: > [...] It seems many think λ is not newcomer-friendly [...]. I would go one step farther and argue that the name "lambda" itself is not the best, regardless of whether it's written as "lambda" or "λ". I agree with the authors of Structure and Interpretation of Computers when

Re: Using 'λ'

2018-10-14 Thread Alex Vong
Chris Marusich writes: > Efraim Flashner writes: > >> On Sat, Oct 13, 2018 at 04:51:48PM +0800, Alex Vong wrote: >>> Hello guix, >>> >>> Should we allow the use of 'λ' in guix? I think we have discussed it >>> before, but I forget why it was rejected. Running 'rgrep' on source >>> shows 7 uses

Re: Using 'λ'

2018-10-14 Thread Chris Marusich
Efraim Flashner writes: > On Sat, Oct 13, 2018 at 04:51:48PM +0800, Alex Vong wrote: >> Hello guix, >> >> Should we allow the use of 'λ' in guix? I think we have discussed it >> before, but I forget why it was rejected. Running 'rgrep' on source >> shows 7 uses of it. I think it is

Re: Using 'λ'

2018-10-14 Thread Efraim Flashner
On Sat, Oct 13, 2018 at 04:51:48PM +0800, Alex Vong wrote: > Hello guix, > > Should we allow the use of 'λ' in guix? I think we have discussed it > before, but I forget why it was rejected. Running 'rgrep' on source > shows 7 uses of it. I think it is syntactically more pleasant and it >

Re: Using 'λ'

2018-10-13 Thread Leo Famulari
On Sat, Oct 13, 2018 at 04:51:48PM +0800, Alex Vong wrote: > Hello guix, > > Should we allow the use of 'λ' in guix? I think we have discussed it > before, but I forget why it was rejected. Running 'rgrep' on source > shows 7 uses of it. I think it is syntactically more pleasant and it >

Re: Using 'λ'

2018-10-13 Thread Tobias Geerinckx-Rice
Alex, Alex Vong wrote: Hello guix, Should we allow the use of 'λ' in guix? I think we have discussed it before, but I forget why it was rejected. Running 'rgrep' on source shows 7 uses of it. I think it is syntactically more pleasant and it encourges the use of short functions (at least