明らかに <:< と =:= は、2 つの型がサブクラスの関係にある、または等しいことを表明するために使用されます。しかし、ドキュメントはそれらがどのように使用されているかを明確にしておらず、それらが完全に記号で構成されているため、Google でそれらを検索することはほとんど不可能です. (そのようなシンボルグーの名前が悪い考えであるもう 1 つの理由。)
また、Predef での実装はどのように機能しますか? Scala ではこのように型に作用する演算子を作成できるとは知らなかったので、それらが組み込みではないことを知って非常に驚きました。Scala のどの機能でこれができるのでしょうか? また、Predef の実装は完全に不透明です。ここでコンパイラの魔法が起こっていますか？