17:51:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-14 13:33:59 メタ太🔞の投稿
metata@misskey.io
このアカウントは、notestockで公開設定になっていません。
17:52:13
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
SRFI 226単体でR5RSと同じくらいの分量だという指摘を見かけてそれまじですのになった
17:56:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Schemeの継続(の拡張版)と例外処理と遅延評価と動的束縛とスレッドの相互作用についての仕様書を書いたらSchemeの言語仕様全体と同じくらいの分量になるの、このトピックがそれだけ込み入ってると評価するべきか、それともR5RSがそれほど短かったと評価するべきか。
17:56:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-16 07:31:26 いつきのひと

🐖の投稿
itsukinohito@misskey.art
このアカウントは、notestockで公開設定になっていません。
17:57:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-16 17:56:59 みるちょの投稿
milcho1129@pawoo.net
このアカウントは、notestockで公開設定になっていません。
17:58:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
逆に言うと R⁵RS 準拠を名乗るだけなら SRFI 226 を完全に実装する必要はないみたいな話なのかしら
ないです。継続の仕様がRnRSの拡張であり、例外処理や遅延評価にもRnRSより強い保証が入って、なおかつ動的束縛とスレッドはR5RSの範囲外なので。
18:05:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
SRFI 226を実装するとR7RS(2013年)から微妙に逸脱するのだが、執筆中の令和最新版R7RS(R8RSではない)はSRFI 226と互換性のある仕様になる、はず。
18:05:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-16 18:04:30 yuuhagi@pawoo.netの投稿
yuuhagi@pawoo.net
このアカウントは、notestockで公開設定になっていません。
18:05:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-16 18:04:41 モンテカルロキャサリンたかしの投稿
foomidori@pawoo.net
このアカウントは、notestockで公開設定になっていません。
R7RS-smallから10年マジ?!(R7RS-smallが完成したときも「small languageだけでR6RSから数えて6年かかったのにlarge languageの完成なんていつになることか」などと言われていたが、しかし……)
18:07:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-16 18:07:38 O-157 新刊既刊通販中の投稿
kaiser@unkomaker.hostdon.ne.jp
このアカウントは、notestockで公開設定になっていません。
そのR6RS(2007)もR5RS(1998)から9年かかっていて、RRRS(1985)、R3RS(1986)、IEEE 1178-1990(1990)、R4RS(1991)あたりのペースに比べるとかなり時間がかかっている。言語がデカくなったから当然ではあるが……。
18:12:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-15 17:37:50 O-157 新刊既刊通販中の投稿
kaiser@unkomaker.hostdon.ne.jp
このアカウントは、notestockで公開設定になっていません。
18:18:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
RRRSよりも更に前のRRS(1978)はcall/ccもなければ数値型の手続きもない一方で動的束縛はあるので、現代Schemeとの乖離が大きい。
18:18:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-16 18:17:57 柴茶(しばちゃ)🎨の投稿
shibacha@pawoo.net
このアカウントは、notestockで公開設定になっていません。
18:20:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:22:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
少なくともnは定数だから外にletした方がいいのだが、十分賢いコンパイラなら勝手に外に出すはずなので放置している
18:24:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-13 21:42:05 Y子🔞の投稿
kokoromiya0w0@pawoo.net
このアカウントは、notestockで公開設定になっていません。
18:25:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io