4 ms·

Could someone fill in the background? R7RS seems like an unlikely venue for hot conflict, but then again I haven't been a scheme user in decaes.

by gumby 3y ago

tobinfricke 3y ago
What is R7RS?
- Decabytes 3y ago
  Revised report version 7. The current scheme standardization. It proceeded R6RS which many felt was too large, and added too many things to the scheme standard (it’s only 90 pages long). R7RS was the compromise
  - kkylin 3y ago
    Exactly. R7RS-small was meant to be a minimal core language, in the spirit of RnRS for n <= 5, whereas R7RS-large was meant to be a fairly complete set of standard libraries.
- tmtvl 3y ago
  It's the Revised Revised Revised Revised Revised Revised Revised Report on the algorithmic programming language Scheme. That's 7 "Revised"s, hence R7RS. Basically the RxRSes are full specifications of what you need in a Scheme implementation to conform to the Xth iteration of the language.
  - dxbydt 3y ago
    (Revised (Revised (Revised (Revised (Revised (Revised (Revised Report)))))))
    - tmtvl 3y ago
      I like using arrow-macros (threading macros) myself; (-> report revised revised revised revised revised revised revised)
      - bjoli 3y ago
        That is not in the style of srfi-197. (chain report (revised _) (revised _) ...) There are benefits to this approach, such as it handling both applying returned lists and multiple return values by default.
    - fuzztester 3y ago
      (very (very (very (well (said)))))
  - joshxyz 3y ago
    that's an interesting naming convention!
  - lispm 3y ago
    CL-USER 21 > (let ((n 7) (report '(report))) (flet ((revise (report) (cons 'revised report))) (do ((report report (revise report)) (i 0 (1+ i))) ((= i n) report)))) (REVISED REVISED REVISED REVISED REVISED REVISED REVISED REPORT)
    - tmtvl 3y ago
      So weird seeing CL code without a bunch of (declare (type (integer 0) n))'s everywhere. That's the only thing which keeps me with CL instead of Scheme (I'm rather fond of syntax-rules, case-lambda, case sensitivity, and being able to do things like... (define range+ (make-range-merger +)) (define (double-range range) (range+ range range)) , which I think is a little nicer than (setf (fdefinition range+) (make-range-merger #'+)) or having to precede range+ with funcall everywhere I want to use it).
      - lispm 3y ago
        Personally I find Common Lisp in some cases slightly uglier, but clearer. (define foo (make-foo)) What is it? A function or a non-function? I prefer the Common Lisp version: (defvar *foo* (make-foo) "*foo* is the current input/output foo object.") It's clear that DEFVAR usually defines a variable and not a function. Bonus: we can document the thing in a standard way. For functions I would define a define macro. (define foo (make-foo) "foo is a function with two arguments of type bar, it returns ..." (ftype (function (bar bar) baz)) Which would expand into a (setf fdefinition), a type declaration and setting the documentation. I prefer the uglier, but better standardized and slightly more practical language.
merlincorey 3y ago
I don't have much more context than you, but one bit I did catch is that this resignation is for "R7RS-large" and not "R7RS-small" (which might even be complete already). Traditionally, Scheme is as minimalist as possible by design. Therefore, the very idea of "R7RS-large" is likely controversial to some parties involved. Apparently it has been an on-going argument for years on just what to include in R7RS-large, as we can see a Reddit thread from 2 years ago asking when it will be ready[0] and John Cowan (the person who is resigning from the committee) saying parts one and two are done and part three should "follow quiuckly thereafter". > That depends entirely on how much time people can devote to it. The first two parts, Red and Tangerine, are already in place; Orange needs a few things pulled together before it can be voted on, and Amber should follow quickly thereafter. I'm guessing getting that last 90+% of agreement stretched ever further and further on and as John said in the resignation letter, it was surely exhausting. [0] https://www.reddit.com/r/scheme/comments/nohfwe/when_will_r7rs_large_be_ready/ https://www.reddit.com/r/scheme/comments/nohfwe/when_will_r7...
- jsnell 3y ago
  > "R7RS-small" (which might even be complete already). I believe r7rs-small was finalized over 10 years ago.
  - Someone 3y ago
    Indeed, but not by a large margin. https://small.r7rs.org/attachment/r7rs.pdf https://small.r7rs.org/attachment/r7rs.pdf says “July 6, 2013”
CamperBob2 3y ago
R7RS seems like an unlikely venue for hot conflict, but then again I haven't been a scheme user in decades. It appears to be an instance of Sayre's Law: https://en.wikipedia.org/wiki/Sayre%27s_law https://en.wikipedia.org/wiki/Sayre%27s_law
- neilv 3y ago
  Scheme is an especially appealing elegant and powerful language. And it attracts people who aren't in software or programming languages for the money. So, the stakes are very small, in terms of commercial value, but... If you think of Scheme as an oasis, relative to most popular programming languages and communities, then the stakes can be quite large.
  - CamperBob2 3y ago
    Right, that's what I mean. It doesn't mean something to everyone, but it means everything to a few.
    - neilv 3y ago
      Yeah, I think there's an ambiguous connotation sometimes, such as in "academic politics is so fierce, becuase the stakes are so small" that it might just be people being petty about, say, small-pond status, because they have nothing else. In this case, however, it might be more that there's an innate value that a small number of people recognize as important, so they care about it in a way that seems outsized, to people who aren't aware of that importance.
pvarangot 3y ago
I think programming language standards committees are not an unlikely venue for hot conflict, quite the opposite if you talk just about conflict without the word "hot". I don't have the background on this one though. Do you have any experience reaching to similar organizations? for example reporting compiler or linker bugs or trying to get support for new features or platform that are not well documented? If you don't and think it sounds fun go ahead and have fun if you can do that work without getting dragged into hot conflict.
munificent 3y ago
The Scheme community has long held tension between people who want to use Scheme as a teaching language, versus those who want to use it for writing real-world programs. The former want the language to stay as minimal as possible with a tiny standard library so that there are fewer concepts and options for students to stumble over. The latter want a full-featured language (but still minimal, it is Scheme after all) with a large standard library of useful types and functions so they can get stuff done. These two perspectives are both reasonable but fairly incompatible. For most of its history, Scheme leaned towards education. Around the type of the sixth edition (RSR6), pulled somewhat the other way and the language and library spec got much bigger. This alienated a lot of folks who wanted to stay a small teaching language. For RSR7, they tried to resolve that by simply splitting the language in two: a small one and a large one. Then each subcommunity can have what they want. Around the same time, the language PLTScheme renamed itself to Racket to clarify that they aren't trying to be beholden to the overall direction of the Scheme community. Racket is also a "large Scheme" in that it's a Scheme-derived language that tries really hard to be batteries included for all sorts of uses. It also can be "subset" into smaller languages for use in teaching. My impression (from far on the outside) is that Racket has taken up a lot of the oxygen, which may partially explain why RSR7-large never managed to reach consensus and ship.
- AndrewKemendo 3y ago
  That is extremely well written thank you.
- allenrb 3y ago
  Indeed, thanks for the explanation. Not being super familiar with the Scheme community, “R7RS” sounds like a high-performance Audi.
  - frob 3y ago
    It's the Revised Revised Revised Revised Revised Revised Revised Report on the Algorithmic Language Scheme, or (Revised)^7 Report on the Algorithmic Language Scheme, or R7RS.
TylerE 3y ago
The whole situation feels - as a total outsider - pretty bikesheddy. The lower the real world stakes, the higher the tension.
- jacquesm 3y ago
  Spot on, that's why scheme is and probably always will be very much a niche language. They're not even trying. I wished we could collapse the Cambrian explosion of computer programming languages back into a small subset of what it is today to get fewer but healthier eco-systems. The amount of fragmentation is absolutely insane, and leads to a ton of duplicated effort and wasted resources. There are 100's of computer programming languages in active use and beyond say the top 100 or so there isn't much that isn't already covered multiple times. But with the widespread connectivity that we have it is very easy to launch a new language and to gain some small level of adoption. Programming languages are like kids: you can launch them in a night but it takes a lifetime of dedication and support to make them successful and given how hard it is to distinguish a small effort going nowhere from a future winner all this does is saddle up outsiders with the cost of maintenance or ultimately a rewrite in some other, hopefully wider supported language. It would be great if people would just label their languages clearly as 'experimental, not meant for production' and 'long term supported' up front. Some languages, notably, 'Haskell' are successful in spite of actively holding back large scale adoption. This is a much healthier approach. It shows that the language really has merit.
  - johncowan 3y ago
    If you really want to undo the Cambrian explosion, you will get Fortran and Lisp. A better SQL, Prolog, and something like Haskell might also be useful/necessary.
- xdavidliu 3y ago
  ala Sayres law https://en.wikipedia.org/wiki/Sayre's_law?wprov=sfti1 https://en.wikipedia.org/wiki/Sayre's_law?wprov=sfti1
that_guy_iain 3y ago
Well, a quick search into this found this talk from John Cowan that appears to be from 2011 on R7RS - https://www.youtube.com/watch?v=kC7xPBQWsVE https://www.youtube.com/watch?v=kC7xPBQWsVE I honestly don't think there can be any value in a standard that takes so long to come up with. Now in an industry that moves as quickly as this one.
- johncowan 3y ago
  Lisp is 65 years old and its future will be longer than its past! Another way to look at a fast-moving industry is that it's all hype and flutter with the occasional solid achievement.

Could someone fill in the background? R7RS seems like an unlikely venue for hot conflict, but then again I haven't been a scheme user in decaes.

by gumby 3y ago

Could someone fill in the background? R7RS seems like an unlikely venue for hot conflict, but then again I haven't been a scheme user in decaes.

tobinfricke 3y ago

What is R7RS?

Decabytes 3y ago
Revised report version 7. The current scheme standardization. It proceeded R6RS which many felt was too large, and added too many things to the scheme standard (it’s only 90 pages long). R7RS was the compromise
- kkylin 3y ago
  Exactly. R7RS-small was meant to be a minimal core language, in the spirit of RnRS for n <= 5, whereas R7RS-large was meant to be a fairly complete set of standard libraries.
tmtvl 3y ago
It's the Revised Revised Revised Revised Revised Revised Revised Report on the algorithmic programming language Scheme. That's 7 "Revised"s, hence R7RS. Basically the RxRSes are full specifications of what you need in a Scheme implementation to conform to the Xth iteration of the language.
- dxbydt 3y ago
  (Revised (Revised (Revised (Revised (Revised (Revised (Revised Report)))))))
  - tmtvl 3y ago
    I like using arrow-macros (threading macros) myself; (-> report revised revised revised revised revised revised revised)
    - bjoli 3y ago
      That is not in the style of srfi-197. (chain report (revised _) (revised _) ...) There are benefits to this approach, such as it handling both applying returned lists and multiple return values by default.
  - fuzztester 3y ago
    (very (very (very (well (said)))))
- joshxyz 3y ago
  that's an interesting naming convention!
- lispm 3y ago
  CL-USER 21 > (let ((n 7) (report '(report))) (flet ((revise (report) (cons 'revised report))) (do ((report report (revise report)) (i 0 (1+ i))) ((= i n) report)))) (REVISED REVISED REVISED REVISED REVISED REVISED REVISED REPORT)
  - tmtvl 3y ago
    So weird seeing CL code without a bunch of (declare (type (integer 0) n))'s everywhere. That's the only thing which keeps me with CL instead of Scheme (I'm rather fond of syntax-rules, case-lambda, case sensitivity, and being able to do things like... (define range+ (make-range-merger +)) (define (double-range range) (range+ range range)) , which I think is a little nicer than (setf (fdefinition range+) (make-range-merger #'+)) or having to precede range+ with funcall everywhere I want to use it).
    - lispm 3y ago
      Personally I find Common Lisp in some cases slightly uglier, but clearer. (define foo (make-foo)) What is it? A function or a non-function? I prefer the Common Lisp version: (defvar *foo* (make-foo) "*foo* is the current input/output foo object.") It's clear that DEFVAR usually defines a variable and not a function. Bonus: we can document the thing in a standard way. For functions I would define a define macro. (define foo (make-foo) "foo is a function with two arguments of type bar, it returns ..." (ftype (function (bar bar) baz)) Which would expand into a (setf fdefinition), a type declaration and setting the documentation. I prefer the uglier, but better standardized and slightly more practical language.

merlincorey 3y ago

I don't have much more context than you, but one bit I did catch is that this resignation is for "R7RS-large" and not "R7RS-small" (which might even be complete already). Traditionally, Scheme is as minimalist as possible by design. Therefore, the very idea of "R7RS-large" is likely controversial to some parties involved. Apparently it has been an on-going argument for years on just what to include in R7RS-large, as we can see a Reddit thread from 2 years ago asking when it will be ready[0] and John Cowan (the person who is resigning from the committee) saying parts one and two are done and part three should "follow quiuckly thereafter". > That depends entirely on how much time people can devote to it. The first two parts, Red and Tangerine, are already in place; Orange needs a few things pulled together before it can be voted on, and Amber should follow quickly thereafter. I'm guessing getting that last 90+% of agreement stretched ever further and further on and as John said in the resignation letter, it was surely exhausting. [0] https://www.reddit.com/r/scheme/comments/nohfwe/when_will_r7rs_large_be_ready/ https://www.reddit.com/r/scheme/comments/nohfwe/when_will_r7...

jsnell 3y ago
> "R7RS-small" (which might even be complete already). I believe r7rs-small was finalized over 10 years ago.
- Someone 3y ago
  Indeed, but not by a large margin. https://small.r7rs.org/attachment/r7rs.pdf https://small.r7rs.org/attachment/r7rs.pdf says “July 6, 2013”

CamperBob2 3y ago

R7RS seems like an unlikely venue for hot conflict, but then again I haven't been a scheme user in decades. It appears to be an instance of Sayre's Law: https://en.wikipedia.org/wiki/Sayre%27s_law https://en.wikipedia.org/wiki/Sayre%27s_law

neilv 3y ago
Scheme is an especially appealing elegant and powerful language. And it attracts people who aren't in software or programming languages for the money. So, the stakes are very small, in terms of commercial value, but... If you think of Scheme as an oasis, relative to most popular programming languages and communities, then the stakes can be quite large.
- CamperBob2 3y ago
  Right, that's what I mean. It doesn't mean something to everyone, but it means everything to a few.
  - neilv 3y ago
    Yeah, I think there's an ambiguous connotation sometimes, such as in "academic politics is so fierce, becuase the stakes are so small" that it might just be people being petty about, say, small-pond status, because they have nothing else. In this case, however, it might be more that there's an innate value that a small number of people recognize as important, so they care about it in a way that seems outsized, to people who aren't aware of that importance.

pvarangot 3y ago

I think programming language standards committees are not an unlikely venue for hot conflict, quite the opposite if you talk just about conflict without the word "hot". I don't have the background on this one though. Do you have any experience reaching to similar organizations? for example reporting compiler or linker bugs or trying to get support for new features or platform that are not well documented? If you don't and think it sounds fun go ahead and have fun if you can do that work without getting dragged into hot conflict.

munificent 3y ago

The Scheme community has long held tension between people who want to use Scheme as a teaching language, versus those who want to use it for writing real-world programs. The former want the language to stay as minimal as possible with a tiny standard library so that there are fewer concepts and options for students to stumble over. The latter want a full-featured language (but still minimal, it is Scheme after all) with a large standard library of useful types and functions so they can get stuff done. These two perspectives are both reasonable but fairly incompatible. For most of its history, Scheme leaned towards education. Around the type of the sixth edition (RSR6), pulled somewhat the other way and the language and library spec got much bigger. This alienated a lot of folks who wanted to stay a small teaching language. For RSR7, they tried to resolve that by simply splitting the language in two: a small one and a large one. Then each subcommunity can have what they want. Around the same time, the language PLTScheme renamed itself to Racket to clarify that they aren't trying to be beholden to the overall direction of the Scheme community. Racket is also a "large Scheme" in that it's a Scheme-derived language that tries really hard to be batteries included for all sorts of uses. It also can be "subset" into smaller languages for use in teaching. My impression (from far on the outside) is that Racket has taken up a lot of the oxygen, which may partially explain why RSR7-large never managed to reach consensus and ship.

AndrewKemendo 3y ago
That is extremely well written thank you.
allenrb 3y ago
Indeed, thanks for the explanation. Not being super familiar with the Scheme community, “R7RS” sounds like a high-performance Audi.
- frob 3y ago
  It's the Revised Revised Revised Revised Revised Revised Revised Report on the Algorithmic Language Scheme, or (Revised)^7 Report on the Algorithmic Language Scheme, or R7RS.

TylerE 3y ago

The whole situation feels - as a total outsider - pretty bikesheddy. The lower the real world stakes, the higher the tension.

jacquesm 3y ago
Spot on, that's why scheme is and probably always will be very much a niche language. They're not even trying. I wished we could collapse the Cambrian explosion of computer programming languages back into a small subset of what it is today to get fewer but healthier eco-systems. The amount of fragmentation is absolutely insane, and leads to a ton of duplicated effort and wasted resources. There are 100's of computer programming languages in active use and beyond say the top 100 or so there isn't much that isn't already covered multiple times. But with the widespread connectivity that we have it is very easy to launch a new language and to gain some small level of adoption. Programming languages are like kids: you can launch them in a night but it takes a lifetime of dedication and support to make them successful and given how hard it is to distinguish a small effort going nowhere from a future winner all this does is saddle up outsiders with the cost of maintenance or ultimately a rewrite in some other, hopefully wider supported language. It would be great if people would just label their languages clearly as 'experimental, not meant for production' and 'long term supported' up front. Some languages, notably, 'Haskell' are successful in spite of actively holding back large scale adoption. This is a much healthier approach. It shows that the language really has merit.
- johncowan 3y ago
  If you really want to undo the Cambrian explosion, you will get Fortran and Lisp. A better SQL, Prolog, and something like Haskell might also be useful/necessary.
xdavidliu 3y ago
ala Sayres law https://en.wikipedia.org/wiki/Sayre's_law?wprov=sfti1 https://en.wikipedia.org/wiki/Sayre's_law?wprov=sfti1

that_guy_iain 3y ago

Well, a quick search into this found this talk from John Cowan that appears to be from 2011 on R7RS - https://www.youtube.com/watch?v=kC7xPBQWsVE https://www.youtube.com/watch?v=kC7xPBQWsVE I honestly don't think there can be any value in a standard that takes so long to come up with. Now in an industry that moves as quickly as this one.

johncowan 3y ago
Lisp is 65 years old and its future will be longer than its past! Another way to look at a fast-moving industry is that it's all hype and flutter with the occasional solid achievement.