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 Vladimir Nikishkin 16 Aug 2021 07:31 UTC

If an opinion matters, I am strongly against anything non-ascii anywhere
in the code, except, maybe, static strings.

Saying that, however, I do use Emacs fontification to substitute fancy
symbols in place of lambda, define, set!, set-car, set-cdr, and some
other built-ins.

In my experience it _does_ improve readability, it's just that source
file encoding is not the place to define it.

Maybe you would like to think of something like CSS for Scheme?
Something that does not influence the way the code is interpreted, but
influences the way it looks like?

You could supply a "canonical" "stylesheet", but each programmer would
be free to override it.

Lassi Kortela <xxxxxx@lassi.io> writes:

>> (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'

--
Your sincerely,
Vladimir Nikishkin (MiEr, lockywolf)
(Laptop)