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)

Unicode lambda revisited Lassi Kortela 14 Aug 2021 09:45 UTC

> (BTW, if "lambda" is too long to write---I'm using ^ in place of
> lambda and it's quite handy.  Of course, these days, λ is another
> plausible choice.

Is Scheme portability at a good enough level that we could now do a
trivial SRFI for Unicode lambda?

(define-library (srfi nnn)
   (export λ)
   (import (scheme base))
   (begin (define-syntax λ (syntax-rules () ((λ . rest) (lambda . rest))))))

The nice thing about the lambda character is, it's one Unicode
codepoint, so it's oblivious to which normalization form is being used.
Using Python 3:

 >>> unicodedata.normalize("NFC", "λ").encode("UTF-8")
b'\xce\xbb'
 >>> unicodedata.normalize("NFD", "λ").encode("UTF-8")
b'\xce\xbb'
 >>> unicodedata.normalize("NFKC", "λ").encode("UTF-8")
b'\xce\xbb'
 >>> unicodedata.normalize("NFKD", "λ").encode("UTF-8")
b'\xce\xbb'