参照型、イミュータブル、サブタイピング中心の世界はそれはそれでうまく機能してキレイだけど、 Swift はそのやり方はできないからうまくいかなさそう。

2:22 AM

append で non empty 保証できないというのも、参照型・イミュータブルな世界と比べて non empty 導入のメリット薄そう。

2:23 AM

そうかー。値型があればイミュータブルの代わりになると思ってたけど、更新系の操作で型を変えられるというのはイミュータブルにしかない利点なのか。