Avatar
型レベル自然数を作ってやる感じですね (edited)
3:12 AM
ですです
3:14 AM
ただ、今回のように不安全な値で nil になるようなコンストラクタを作ると、型レベル自然数導入しなくてもなんとかなるし、これでもまあ安全なのでいいかなぁ、という妥協をしました
3:15 AM
Contribute to Kuniwak/reversi-ios development by creating an account on GitHub.
3:15 AM
こいつと合わせてみないとわからないかも