shinsoku.swift

/**
 Swift では厳密に Set<T<S>> の様な表現は不可能だと思います。
 Set の場合、型パラメータ T は Hashable かつ、型パラメータ S をとりうる型である必要があります.
 それは即ち T は　Hashable で associatetype S が宣言された protocol であると言えます.
 そこで Hashable であり associatetype S を宣言した Myp を宣言し,
 Myp を実装した型パラメータ T をパラメータにとるメソッドで Set<T> を作ることで、
 実質的に Set<T<S>> を実現できます.
 ただ、わりとトリッキーなので使いドコロは微妙かも...
 */

protocol Myp: Hashable {

    associatedtype S

}


func ms<T where T: Myp>(arg: T) -> Set<T> {
    return Set(arrayLiteral: arg)
}

struct Concrete: Myp {
    typealias S = Int
    
    let value: S
    
    var hashValue: Int {
        return value
    }

}

func ==(lhs: Concrete, rhs: Concrete) -> Bool {
    return lhs.value == rhs.value
}

let mySet: Set<Concrete> = ms(Concrete(value: 0))