型をどう考えるか?
from
関数型プログラミングと型システムのメンタルモデル
https://scrapbox.io/files/6542e6768ec81d001b485edc.png
システムの堅牢性とは
JSの this. はコンパイラや静的解析に易しくない