あ〜

3:05 AM

なんか出発点が逆だな

3:05 AM

そうすると。

3:06 AM

前提として型で解決しきれないバグが産まれる(上に上げたような例) → そうしたバグが産まれる時はプログラマの考慮してる状態遷移に見逃しがある → そのときに ! でクラッシュしてたほうが、デバッグがしやすい場合がある → そういう場合なら、型で解決しないで、 ! を含むコードを書いておいたほうが、総合的にお得

3:06 AM

っていう順番。