橋本 Hashimoto   Baku

橋本 Hashimoto   Baku

なぜ命令型は直感的なのか (メモ)

このページは個人的なメモ書きです。何かあればご連絡ください。

関数型というのは、非本質的な命令型の時間性をまず完全に隠蔽しようとするアプローチで、オブジェクト指向というのは、肥大化する複雑さと困難さの空間性を人間の認知単位まで極小化して分離しようとするアプローチ。時間と空間のどちらを「必須の前提」とし、どちらを「なるべく」とするか

https://x.com/tanakahisateru/status/1840383162377212363

「時間性」は果たして非本質的なのか?

The best way to communicate from one human being to another is through story.
人類のコミュニケーション方法で最良のものは、ストーリーを通したそれだ。

Sol LewittのWall Drawingの指示書は命令的? 関数的?

  • Wall Drawing # 118
    • On a wall surface, any continuous stretch of wall, using a hard pencil, place fifty points at random. The points should be evenly distributed over the area of the wall. All of the points should be connected by straight lines
    • 命令型じゃない
    • かといって関数型でもない? どちらかというと、Prologのような論理型。つまり、オブジェクト(この場合fifty pontsとstraight lines)があり、それらの拘束条件が指定されている
  • Wall Drawing 1180
    • これは部分的に命令型だよね
  • Wall Drawing #11
    • A wall divided horizontally and vertically into four equal parts. Within each part, three of the four kinds of lines are superimposed.
  • これちょっと面白い

レシピ、メディアの線形性

料理のレシピの表記は

    1. 豆腐は1.5cm角に切る。ねぎは小口切りにする
    1. 鍋に分量の水、「ほんだし」小さじ1/3を入れて火にかけ、煮立ったら、(1) の豆腐を加えて1分ほど煮、わかめを加えてひと煮する
    1. みそを溶かし入れ、(1) のねぎ、「ほんだし」小さじ1/3をふり入れて混ぜる

これは命令的。これをdecralativeかつstaticに書こうとすると、ネストされた巨大な名詞節となる(めんどいので省略)

時間性が人にとって理解しやすいのは、それが線形的なメディアで伝播されたとき。文字列や喋り言葉のように。
レシピは、有向グラフを用いて2次元的に表現することも出来る。そういう時は、宣言的に、staticに記述されたほうが良い? (要出典)

うーん、ボトムアップに何かを作り上げる時は、レシピの構文木の「枝葉」から仕込みをしていくわけだから、(いやもう書きかけ)