Open9
宣言的

宣言的(Declarative)
- const
- array=非破壊メソッド系
- map
- switch/三項演算子/ショートサーキット

定数aを宣言し、その定数は基本的にずっと一定。
違う状態に遷移する場合には、b=f(a)を適用して別の状態を宣言する。
宣言時の値を処理中のどこでもその値として使える。途中の処理を追う必要がなく、コンテキストを理解せずともその値を使える。

内部状態を書き換えるのではなく、状態から状態へ遷移させる、次の状態へ移す。

型と相性が良いような気がする。
型という集合、状態を定義して、その集合から集合への遷移を関数として表現する

命名の重要度が上がる。
わかりやすい命名をすれば命名を見ただけで何かわかり、そこから値が変わらないわけだから命名だけでプログラムを見れる