08/01/27 15:58:31
>>83
> それ重要じゃねーか。
逆だろ？ たとえば、
sendmail.cfがチューリング完全だからといって、それがどれくらい重要かというと
・記法が配送の記述に向いてるかどうかは関係ない
・プログラミングに向いてるかどうかとは関係ない
つまり、向き不向き(優劣)の議論と、チューリング完全かどうか、は、
全く関係ない。
と昨日までは思っていたのだが、どこぞでPyPyはpartial evaluationだ二村射影だ
という記事を読んで少々意見が変わった。そのへんの理論を実用のシステムに
応用するのがあたりまえになってくると重要になってくるかも。