Notices by Satoshi Kojima (skoji@sandbox.skoji.jp@sandbox.skoji.jp), page 59

表象と切り離したプログラミングの本質、ってのがあったとしても、人間が書くプログラミングでは表象もめちゃ重要だよなー。

Rubyの「驚き最小の法則」とか、Rustが強調するergonomics とかは、どっちも表象レベルで人間にとっての扱いやすさを目的にしてる

小学生でも高学年になればキーボード問題ないと思う（もちろん向いてない子もいるだろうけど

表象と切り離したプログラミングの本質、とかいうと計算理論のほうに行く気がする。ビジュアルプログラミングは表象がめちゃ工夫されてるわけで

LEGO Mindstorms用のビジュアル言語はわりとよかった。あとEnchantMoonのMoon Blockも良い感じだった。

そういう話とは別にアルゴリズムのビジュアル化ほしいな、っての時々思う。

（ビジュアルプログラミングって言葉からの一貫しない連想

「定義完了前に名前を使うなら」なのでは(知らんけど)
……と思ったけど、強い静的型付き言語なら不動点コンビネータは普通の関数として書けないから、実質同じ意味か >OCaml の rec

OCaml、再帰関数書く時に「これ再帰してるよ」って明示するのかー

今引用してて気づいたけど『プログラミングの基礎』、句点が「。」で読点が「，」のパターンだな

OCamlのフィールド名のやつ、今ちょうど読んでる『プログラミングの基礎』のp63に記載がある。

> レコードの型には「フィールド名は重なってはならない」という制約があります。同一のレコード内で同じフィールド名があると困るのはすぐわかります。しかし, OCamlでは他のレコードのフィールド名とも重なっていてはいけないので注意が必要です（OCaml 4.01.0以降では，異なるレコードであれば同じフィールド名を使うことができるようになりました。）

OCamlがオフサイドルールな言語じゃなくてよかった…。

透明そろばん、脳内じゃなくて外界に存在するな。いやそれが脳内なんだろうということだろうけど。

最初はそろばんという物体を補助に使って指に計算動作を覚えさせた後だと、物体を取り除いても問題ない、みたいな感じか

そろばん、透明そろばんなる概念があり、「脳内にそろばんを思い浮かべて計算します」とか言われる。ワーキングメモリが足りない者はそれ以上の級をとれない

OCamlにはconsがあるのか

今のOCamlはそうじゃないみたい＞レコードでフィールド名共有

C言語の初期の方では構造体のフィールド名が共有されていたという話があって、セキュキャンでちょっと話題になったりしたんだけど、OCamlはレコードでまさにそれをやっているらしくうーんになっている。

ドメイン名ぱっととみてC++かと思ったらCP+だった

http://www.cpplus.jp/

OCamlのコード読みたいのでOCamlの勉強しているが頭にまだ定着しきっていないRustと混ざりそうだ…。

たしかにかいぬしの健康も大事。心身ともに。