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)
|
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)