Naming and wrapping up
Wolfgang Corcoran-Mathe
(06 Mar 2022 17:16 UTC)
|
Re: Naming and wrapping up
Marc Nieper-Wißkirchen
(06 Mar 2022 17:28 UTC)
|
Re: Naming and wrapping up Ray Dillinger (06 Mar 2022 18:56 UTC)
|
Re: Naming and wrapping up
Arthur A. Gleckler
(06 Mar 2022 20:18 UTC)
|
Re: Naming and wrapping up
Wolfgang Corcoran-Mathe
(08 Mar 2022 18:21 UTC)
|
Re: Naming and wrapping up
Lassi Kortela
(09 Mar 2022 07:05 UTC)
|
Re: Naming and wrapping up
Amirouche
(06 Mar 2022 22:42 UTC)
|
Re: Naming and wrapping up
Wolfgang Corcoran-Mathe
(13 Mar 2022 22:29 UTC)
|
Re: Naming and wrapping up
siiky
(13 Mar 2022 22:46 UTC)
|
Re: Naming and wrapping up
Wolfgang Corcoran-Mathe
(14 Mar 2022 16:06 UTC)
|
Re: Naming and wrapping up
Marc Nieper-Wißkirchen
(14 Mar 2022 16:14 UTC)
|
Re: Naming and wrapping up
siiky
(14 Mar 2022 18:48 UTC)
|
Re: Naming and wrapping up
Marc Nieper-Wißkirchen
(14 Mar 2022 18:51 UTC)
|
Re: Naming and wrapping up
siiky
(14 Mar 2022 19:33 UTC)
|
Re: Naming and wrapping up
Wolfgang Corcoran-Mathe
(14 Mar 2022 23:57 UTC)
|
Re: Naming and wrapping up
Marc Nieper-Wißkirchen
(15 Mar 2022 12:54 UTC)
|
Re: Naming and wrapping up
Wolfgang Corcoran-Mathe
(16 Mar 2022 18:06 UTC)
|
Re: Naming and wrapping up
Marc Nieper-Wißkirchen
(16 Mar 2022 18:45 UTC)
|
Re: Naming and wrapping up
Wolfgang Corcoran-Mathe
(16 Mar 2022 20:24 UTC)
|
On 3/6/22 17:16, Wolfgang Corcoran-Mathe wrote: > Hi all, > > Since SRFI 232 is nearing the 60-day mark, I'd like to start wrapping > it up. There are a few outstanding issues under discussion, most > prominent being a better name for lambda*. So far, I have the > following suggestions: > > * hl-lambda (Daphne) > * schönfinkel (Marc, semi-serious) > * lambda/curried (Wezl via IRC) > * kappa (me) > Not much to say about this, except that if schönfinkel is selected then an alternate spelling - schoenfinkel or schonfinkel - should be available for those with keyboard layouts that don't include the letter ö, including the en-us locale. I think a lot of people probably don't understand just how deeply Americans are afflicted by ignorance about how to type and use accented characters. TBH, we're truly pathetic about it. Many Americans - even some programmers! Don't have the composing AltGr key enabled. They use it for a second 'alt' key. Many Americans - probably even a few programmers - aren't even aware of it. Many Americans have it enabled (because they are using an OS configured by Europeans or similar) but have no idea what it is or how to use it. Sometimes they conclude that there's just something wrong with their keyboard. It hardly ever occurs to them that it might be an extended text entry method. Because it doesn't occur to them that extended text entry methods even EXIST. And those who are aware of it, often don't know how to enable it or don't know how to use it if it's enabled. Hell, most manufacturers making keyboards for this market even LABEL it 'alt'. And I've encountered at least one 'mini' keyboard where it didn't have a distinct scan code - there was literally no way for the computer to know whether 'alt' or 'AltGr' had been pressed. Seriously. To a first approximation we are so deeply committed to our non-use of accented characters that the ability has effectively atrophied - or more to the point was never learned in the first place. The 'A' in ASCII explains why there are no accented characters in that set. Nobody over here even *THOUGHT* of them. We wasted codepoints on things like EOT and ENC and ETX and VT instead. We shrugged and thought those might be nice to have so put 'em in, but nobody even tried to argue for the inclusion of accented letters. When absolutely forced to use an accented character I think most Americans are picking it off a 'character map' application, which means it takes them literally hundreds of times as long to type that single character as it takes to type the rest of the identifier. Bear