全部 struct にしてプロトコル型変数も禁じたら（サブタイピングを排除したら）、 Haskell みたいな世界を築きながら、値型のミュータビリティの恩恵も受けられる。

3:40 AM

純粋値型言語。おもしろそう。