Scala-Infix-Aliasing für> 2 Typparameter?

Question

Ich weiß in Scala, können Sie type ===>[A, B] = Map[A, B] tun, und dann können Sie Infix-Notation verwenden, um def foo: String ===> Int zu definieren, die dasselbe ist wie sagen def foo: Map[String, Int]. Gibt es eine Möglichkeit, diese Infix-Notation zu nutzen, um Typen mit> 2 Argumenten zu erstellen? Zum Beispiel möchte ich etwas wie folgt aus:

type A ~> B ~~~> C ein Alias ​​von Map[A, Pair[B, C]] sagen zu sein?

Gibt es trotzdem kann ich etwas Zeile schreiben:

type A to B -> C als Alias ​​für (A, B, C) Typ?

Answer 1

Interessanterweise operator precedence as defined for symbolic methods scheint nicht für symbolische Typ-Aliase zu halten. Stattdessen Infix Typ-Aliasnamen werden immer ausgewertet links assoziativ:

type -[A,B] = Map[A,B] 
type /[A,B] = Map[A,B] // '/' has higher precedence than '-' as an operator 
classOf[A - B/C] // Class[/[-[A,B],C]] 
classOf[A/B - C] // Class[-[/[A,B],C]] 

Leider bedeutet, dass es nie möglich sein wird, zu tun, was für Sie fragen ohne Klammern wie folgt aus:

classOf[A - (B/C)] // Class[-[A,/[B,C]] 

So ist die nächste Antwort ist die folgende :

type ~>[A,B] = Map[A,B] 
type ~~~>[A,B] = Pair[A,B] 
classOf[A ~> (B ~~~> C)] // Map[A,Pair[B,C]] 

die Klammern Ommitting wird nur möglich, wenn Sie mit der rechten assoziativen Aliase verwenden (mit : Endung)

type ~:[A,B] = Map[A,B] 
type ~~~:[A,B] = Pair[A,B] 
classOf[A ~: B ~~~: C] // Map[A,Pair[B,C]] 

Da leider alle Typ-Aliase den gleichen Vorrang haben, ist es nicht möglich, rechte und linke assoziative Aliase ohne Klammern zu mischen.

Betreffend den zweiten Teil Ihrer Frage: (A,B,C) ist syntaktischer Zucker für Tuple3[A,B,C], der ein Typ mit drei Parametern ist. Da Infix-Typen nur zwei Parameter haben, befürchte ich, dass es keine Möglichkeit gibt, diesen Typ nur mit Infix-Typen darzustellen. Sie würden immer mit verschachtelten zwei Parametertypen am Ende (zB (A,(B,C)) oder ((A,B),C).

Answer 2

Kurze Antwort: Nein. A ~> B ~> C kann nicht bedeuten Map[A, Pair[B, C]].

Es könnte auch Map[A, Map[B, C]], oder Pair[A, Pair[B, C]] bedeuten.