SRFI like cut (SRFI-26) but with ordered arguments Jakub T. Jankiewicz (14 Aug 2021 07:30 UTC)
Re: SRFI like cut (SRFI-26) but with ordered arguments Shiro Kawai (14 Aug 2021 08:57 UTC)
Unicode lambda revisited Lassi Kortela (14 Aug 2021 09:45 UTC)
Re: Unicode lambda revisited Lassi Kortela (14 Aug 2021 09:52 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (15 Aug 2021 06:17 UTC)
Re: Unicode lambda revisited Peter (15 Aug 2021 17:21 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (15 Aug 2021 17:28 UTC)
Re: Unicode lambda revisited Vladimir Nikishkin (16 Aug 2021 07:37 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (16 Aug 2021 10:58 UTC)
Re: Unicode lambda revisited Shiro Kawai (16 Aug 2021 12:09 UTC)
Re: Unicode lambda revisited Jeronimo Pellegrini (16 Aug 2021 12:54 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (16 Aug 2021 13:38 UTC)
Re: Unicode lambda revisited Jeronimo Pellegrini (16 Aug 2021 14:58 UTC)
Re: Unicode lambda revisited Jakub T. Jankiewicz (16 Aug 2021 19:11 UTC)
Re: Unicode lambda revisited John Cowan (16 Aug 2021 15:49 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (16 Aug 2021 19:56 UTC)
Re: Unicode lambda revisited Shiro Kawai (16 Aug 2021 23:26 UTC)
Re: Unicode lambda revisited John Cowan (17 Aug 2021 03:40 UTC)
Re: Unicode lambda revisited Shiro Kawai (17 Aug 2021 04:15 UTC)
Re: Unicode lambda revisited John Cowan (17 Aug 2021 15:04 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (17 Aug 2021 15:34 UTC)
Re: Unicode lambda revisited John Cowan (17 Aug 2021 19:00 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (17 Aug 2021 19:22 UTC)
Re: Unicode lambda revisited Shiro Kawai (17 Aug 2021 20:40 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (17 Aug 2021 20:49 UTC)
Re: Unicode lambda revisited John Cowan (18 Aug 2021 23:13 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (19 Aug 2021 16:03 UTC)
Re: Unicode lambda revisited Daphne Preston-Kendal (19 Aug 2021 16:19 UTC)
Re: Unicode lambda revisited Marc Nieper-Wißkirchen (19 Aug 2021 16:49 UTC)
Re: Unicode lambda revisited Daphne Preston-Kendal (16 Aug 2021 21:03 UTC)
Re: Unicode lambda revisited John Cowan (16 Aug 2021 21:37 UTC)
Re: Unicode lambda revisited Lassi Kortela (17 Aug 2021 05:04 UTC)
Re: Unicode lambda revisited Peter (16 Aug 2021 16:58 UTC)
Re: Unicode lambda revisited Arthur A. Gleckler (16 Aug 2021 17:00 UTC)
Re: Unicode lambda revisited Lassi Kortela (16 Aug 2021 17:36 UTC)
Re: Unicode lambda revisited Arthur A. Gleckler (16 Aug 2021 17:56 UTC)
Re: Unicode lambda revisited Vladimir Nikishkin (17 Aug 2021 04:37 UTC)

Re: Unicode lambda revisited Jeronimo Pellegrini 16 Aug 2021 14:58 UTC

Marc Nieper-Wißkirchen <xxxxxx@gmail.com> writes:

> Am Mo., 16. Aug. 2021 um 14:55 Uhr schrieb Jeronimo Pellegrini - j_p at
> aleph0.info (via srfi-discuss list) <xxxxxx@srfi.schemers.org>:
>
>> Shiro Kawai <xxxxxx@gmail.com> writes:
>>
>> > But I don't think we need to accelerate the shift by srfi, either.   I
>> > expect the shift will happen spontaneously, just like Scheme has adopted
>> > the case-sensitive reader, after many existing implementations supported
>> > it.
>>
>> Currently only Guile, Racket and STklos support unicode lambda (and
>> Gauche has an ASCII alternative for a quick lambda).
>> I just uploaded a survey here:
>>
>> https://github.com/schemedoc/surveys/blob/master/surveys/UnicodeLambda.md
>
>
> Thanks!
>
> What does "support Unicode lambda" mean in detail? That the reader treats
> the Greek lambda as the plain-old symbol lambda or that in whatever global
> lexical environment the Greek lambda is bound to the same denotation as the
> plain-old symbol lambda?

I only did a quick test, so it means that, in the default interaction
environment, evaluating (lambda () 'whatever) works.

Either:

some-scheme> ((λ () "ok"))
"ok"

Or

some-scheme> ((λ () "ok"))
--> some error

For example, scheme9 calls λ complains that it found a
funny character:

*** error: funny input character, code: 206
*** trace:
> *** error: funny input character, code: 187
*** trace:

It may be interesting to extend the survey to include more iformation,
as I see it may make a difference wether theunicode lambda is a symbol
alias, a second name for the core form, hardcoded in the compiler,
or whatever else the implementor decided to do.

In the case of STklos, which has no interpreter (it's compiler-only),
it is hardcoded in the compiler (because it was a trivial change -
literally a one-liner).

J.