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)
|
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) If there are any others, please let me know. I'd be happy to do a quick naming poll, similar to what Adam did with SRFI 214, if there is enough interest. I tend to think that 'define-curried' is a pretty good name for the define wrapper, but this is not set in stone; were hl-lambda selected, e.g., I'd probably opt for hl-define. On another topic, John Cowan has suggested that support for "polyadic" (the dotted-tail case of the lambda* semantics, called "polyvariadic" in Hemann & Friedman's paper) procedures be removed. He believes this would simplify lambda* and remove a source of potential confusion. At the moment, I'm not in agreement. Three reasons: I haven't seen any polyvariadic examples that I find especially confusing, it's not easy to simulate this behavior otherwise, and providing it makes lambda* syntactically more similar to lambda. As for providing the lambda** or lambda*** forms discussed in earlier messages, I'm inclined to say that they're too far afield from lambda* to be packaged in the same specification. As alternatives, I'd be happy to see them presented in a related SRFI. Best regards, -- Wolfgang Corcoran-Mathe <xxxxxx@sigwinch.xyz>