Gemma https://blog.hatena.ne.jp/Gemma/ Gemmaの日記 https://gemma.hatenadiary.org/ Scheme。第一級の継続。マクロ。 しかし、カッコだらけ、静的型チェックなし、etc... ambで非決定性計算をやれば、「それ、リストモナドで」。 マクロは、自分が極めてないので、なんかすごいらしいとしか言えず。OCamlにはcamlp4やMetaOCamlもあるし。 遅延評価およびストリームは、Haskellにおかぶを奪われ。 もう、疲れたよ・・・だが、 Schemeには、メタ言語としての立場がある。Schemeはあと10年は戦える。 SXML XMLはSchemeのデッドコピーなんて声も。 Liskell HaskellをS式で。 Typed Scheme 静的型付きScheme Sc… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20070607" title="スキスキ☆Scheme - Gemmaの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-06-07 00:00:00 rich https://gemma.hatenadiary.org/entry/20070607 1.0 100%