社会をドライブさせるために型安全性が必要不可欠なのがコンビニの例で述べました。この世には社会なんか存在しない、全て演劇のプログラムである。 プログラムには関数が沢山ある。そして関数には様々な型を引数に値を渡すように作られている。 職業に従事…

スマホから書きます。 とあるコンビニにて 客と店員がいます。 客と店員のスコトーマを 表にするとこうなります。 客も店員も知ってる事 店員だけ知ってる事 客だけ知ってる事 客も店員も知らない事 1950年代辺りからあるような古典的なスコトーマの表で こ…