型レベル自然数を作ってやる感じですね (edited)

3:12 AM

ですです

3:14 AM

ただ、今回のように不安全な値で nil になるようなコンストラクタを作ると、型レベル自然数導入しなくてもなんとかなるし、これでもまあ安全なのでいいかなぁ、という妥協をしました

3:15 AM

多分、これはもっと面白いです: https://github.com/Kuniwak/reversi-ios/blob/f7c65cee30e981a66db6a241ae62a99801d27dd8/Reversi/MVCArchitecture/Models/LineContents.swift

Kuniwak/reversi-ios

Contribute to Kuniwak/reversi-ios development by creating an account on GitHub.

3:15 AM

https://github.com/Kuniwak/reversi-ios/blob/f7c65cee30e981a66db6a241ae62a99801d27dd8/Reversi/MVCArchitecture/Models/LocationAvailabilityHint.swift

Kuniwak/reversi-ios

Contribute to Kuniwak/reversi-ios development by creating an account on GitHub.

3:15 AM

こいつと合わせてみないとわからないかも