Avatar
omochimetaru 8/25/2021 10:38 AM
仕様の決めが難しいよね c++みたいに型パラメータのところに任意の式が書けるようにはしたくない
10:39 AM
でも任意の式を書けるようにしないと多様なユースケースに対応できない
10:41 AM
このcodafi案で面白いと思ったのは
10:41 AM
func allPresent<T..., U...>(haystacks: T..., needles: U...) -> Bool where T == Set<U> { for (haystack, needle) in zip(haystacks, needles) { guard haystack.contains(needle) else { return false } } return true }
10:41 AM
こういうふうに、 T と U の間に Constraint を書くと、
10:41 AM
T... と U... の個数が同じって制約も付くらしい