Re: λ the ultimate showcase

[ludo@gnu.org (Ludovic Courtès)]

Neil Jerram <neil@ossau.uklinux.net> writes:

> ludo@gnu.org (Ludovic Courtès) writes:
>
>> Hey,
>>
>> Now that we have Unicode, let’s not put it to good use!
>>
>>   (define-syntax λ
>>     (syntax-rules ()
>>       ((_ formals body ...)
>>        (lambda formals body ...))))
>
> Can it be overridden?

Yes.  In the end it boils down to ‘module-define!’.

> Just in case someone writes an algorithm where they'd really like to
> have λ as a variable?

One can always use ‘λ’ or ‘lambda’ as a local variable name:

  (let ((λ 2))
    (+ λ 3))

> If the answer to the above is Yes, definitely.

Cool, let’s do it!  :-)

(Then we’ll want “’” for ‘quote’, “‘” for ‘quasiquote’, etc. etc.)

Thanks,
Ludo’.