ホワット・ア・ワンダフル・ワールド 人間が情報を与えるか，機械が推論して情報を増やすかという違い

型宣言と型推論とか，手動メモリ管理と GC とか，要するに全部，人間が手で情報を与えるか，機械が推論するかということに一般化できると思う． んでまぁ，一般にうれしいのは，最初のプロトタイプは人間が不必要なことまで考えなくても動いてくれて，後々必要になってきたらボトルネック部分に情報を追加してあげると，さらに最適なコードが出る，ということをインクリメンタルにやっていけるようなモデルだと思う． その点，手続き型言語ってのは，細かいところまでを最初からいきなり全部指定しないといけないから，人間の脳に対する負荷がデカいし，柔軟性も失われてしまうし，機械がプログラムの意味を変えないで最適化できる余地も無くなってしまう．というようなことは，これまでにも散々書いてきたことなので，まぁ良いとして． いろいろ気になった記事があったので，単なるメモ． lethevert is a programmer のコメ

[nanakoso]

コメント欄も注目

[taninsw]

納得できる

[h-hirai]

解決したい問題をどうしたらコンピュータで解決できる形に変換できるか / ってコメントははずしてるか

[sshi]

状態遷移はそういって切りすててしまうには、ちと大きすぎる概念のような。結局、時間の表現をどう表現するかって問題だよなあ。