1 + 1 = 2をswiftでやらせた。

3:37 PM

https://gist.github.com/NobukazuHanada/aefbdcf6bb49654ff0020f8fc429d9a5

OnePlusOneIsTwo.swift

1

3:38 PM

なんというか型推論をもっとできるところがあれば、もうちょっと簡単になるのになぁ。

3:40 PM

swiftわかりません。

3:41 PM

コンパイルが通ったので、定義と公理が間違ってなければあってるはず。

3:41 PM

思ったより時間がかかった。