var a=[] if foo a.append(1) これで終わる

2:05 AM

appendedみたいにやるなら良いかもしれない

2:06 AM

でもやっぱり複雑性マシマシで嬉しい事が少しあっても、それ以上に辛い場面が増えると思います

2:12 AM

証明系の言語で、型に値を入れ込むことが出来るなら、アリだと思いますが、現状のswiftの型システムにはマッチしなさそうかなという感じ