- 209 名前：デフォルトの名無しさん mailto:sage [04/08/19 23:38]
- 再起版のプログラムを書くとリストに破壊的代入を行っても問題ない(cleanで言うところの一意性)を証明して、ループと代入を使ったプログラムに最適化したりするという研究があったな。
プログラムに関するいろんな公理を教えておく必要があるが、デモを見た限り結構賢そう。
どこまでできるのかは知らないけど。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
関数型言語Part IV
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef