問題タブ [scala-3]

ページのDotty下のドキュメントを見ていたら、 .Contextual AbstractionsGiven Instances

与えられたインスタンス (または、単に「与えられた」) は、与えられた句への引数を合成するために役立つ特定の型の「標準的な」値を定義します。例：

しかし、ドキュメントのこの例では、 の使用方法は説明されていませんgiven。テストサンプルプロジェクトをプルしてDotty使ってみたのですが、よくわかりません。

新しいキーワードですか？輸入しますか？または、何か不足していますか。

2 つのタプルがあるとします。最初のタプルは type の値のタプルです(V1, V2, .., Vn)。

2 番目は type の関数のタプルです(V1 => V1, V2 => V2, .., Vn => Vn)。

(f1(v1), v2(v2), .., fn(vn))ここで、 type と同様に 2 つのタプルを結合し(V1, V2, .., Vn)ます。

これを scala 3.0 (つまり dotty) で取得する方法がわかりません。

編集: shapeless のソースコードを調べて、(部分的な作業) 解決策を得ました:

applyメソッドの戻り値が型を失った理由はわかりません。

私はScala 3のドキュメントを調べていました。彼らはgiven、Scala 2 の代替と見なされるキーワードを導入しましたimplicit。コードはこちら

ここで、次のコードで何が起こっているのか非常に混乱しています。

キーワードまたは他の何かOrd[T]内でインスタンス化していますか?given