Scalaのnull/Nothing/Nil/Noneはやりすぎなのか? - ぐるぐる~
https://bleis-tift.hatenablog.com/entry/scala-null-none-nothing-nil
慣れてしまうと逆に何が似ているのかわからなくなったりするやつ
そういえばNothingのunreachable的な用法、最近だとTypeScriptやPythonでもnever型で見かけるな
t' を返す関数の代わりに Nothing/never を返す関数を渡せるの、明らかに相手の要求満たしてなくない?と思ったけど、コールサイトに帰ってくるなら t' をよこせというだけの話であって、帰ってこないのは…いや、なに?