Gauche > Archives > 2013/11/16

2013/11/16 04:13:09 UTCshiro

元のSchemeプログラムの構造を保ったままの変換、というのに疑問を持ちながら読み始めたが結構おもしろかった。型の解決をどこまでC++に投げられるかという挑戦と読める。 http://www.suri.cs.okayama-u.ac.jp/~niitsuma/papers/scm2cpp-pro-2013-3/scm2cpp11-jp.pdf

Schemeレベルでの変換をなるべく避けるって方針だけど、変数名のalpha変換くらいやっても良いんじゃないかなあ。そうすればletは素直にブロックに置き換えられるし。元変数名にサフィックスをつける形であれば可読性は損なわれないし。

「Schemeでも性能出るよ」ってのにいつまでもStalinを持ち出すのも何なのでこういう挑戦はどんどん出てきて欲しい。