Avatar
やはり
1:47 AM
型として変性が認められるもの(クラスなど)と、値としてのみ変性が認められるもの(Optionalなど)にわけて、前者だけ関数・ジェネリクスの変性に使えるようにすれば
1:47 AM
大分平和になりそうだなというのを朧気に考えていた