Dear, On Sun, 18 Oct 2020 at 03:36, Maxim Cournoyer <maxim.courno...@gmail.com> wrote: > Tobias Geerinckx-Rice <m...@tobias.gr> writes: > > Maxim Cournoyer 写道：
> >> I'd only agree to such a change if it's already been standardized in > >> the > >> RnRS as such > > > > Sure, I think that's implied. #true and #false are part of the > > R7RS-small standard. > > Thanks, I couldn't find where that was defined. Now that you've pointed > it to me, it's defined in section 6.3 Booleans: > > The standard boolean objects for true and false are written as #t and > #f. Alternatively, they can be written #true and #false, > respectively. > > > I don't know what Guile ‘is’, but it supports that part of the > > standard. I don't think it implements any of the RnRS completely? > > I've heard it said that Guile targets R5RS, but that was ages ago. > > info '(guile) Guile and Scheme' suggests it supports all of the R5RS, > R6RS or R7RS standards, plus a bunch of srfi modules. > > With this cleared, I don't have an objection to the proposal, other than > the other points I've mentioned earlier (to recall those points: I don't > perceive much value in it and it'll make the 'git blame' output noisy). I do not have a strong opinion but I am still perplex if it really simplifies because all the material around about Scheme and especially the Guile manual still uses #t/#f and not #true/#false. For example, --8<---------------cut here---------------start------------->8--- $ guix repl GNU Guile 3.0.4 Copyright (C) 1995-2020 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. This program is free software, and you are welcome to redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. scheme@(guix-user)> ,use(gnu packages base) scheme@(guix-user)> (eq? hello coreutils) $1 = #f --8<---------------cut here---------------end--------------->8--- Is it possible to display #false instead? If not, I am not convinced it is really easier to read #true/#false in the Guix code, then #t/#f in the REPL or Guile documentation. My bikeshedding time is over. :-) All the best, simon
