シェイプレスタイプ不平等バグ？

Question

型不等式の型不等式は、型パラメータが画像に入ると安全ではないようです。

は、たとえば次のコードでは、これが=:!=に関連していない

（私たちはString =!:= Stringという証拠を生成した）

def someMethod[T](in : T) = { 

    implicitly[T =:!= String] 

    // some operation that requires T not String could be called here 
    // even though there is no guarantee that this is safe 
} 

val a = someMethod("abc") // here we have just proven String != String 

私の直感は正しい動作がコンパイル時エラーがでなければならないことであるコンパイル暗黙の競合が否定演算子をエミュレートするために使用されるすべての状況に適用されます。

これは本当にバグですか、それとも重要な点がありませんか？

Answer 1

T =:!= Stringは、someMethodの暗黙の引数である必要があります。私たちはTがコールサイトでStringではないという証拠を収集する必要があります。それ以外の場合は遅すぎます。 someMethodの本文内でTが消去されます。

def someMethod[T](in : T)(implicit ev: T =:!= String) = { 
    println("Definitely not a string") 
} 

scala> someMethod("abc") 
<console>:16: error: ambiguous implicit values: 
both method neqAmbig1 in package shapeless of type [A]=> shapeless.=:!=[A,A] 
and method neqAmbig2 in package shapeless of type [A]=> shapeless.=:!=[A,A] 
match expected type shapeless.=:!=[String,String] 
     someMethod("abc") 
       ^

Answer 2

これはバグでも、最高でも驚くほどの誤った機能です。