Scala ~> (tilde größer als) - operator

Habe ich die folgende scala class definition (gefunden in einem Papier), Modellierung Kategorien:

trait Category[~>[_, _]] {
    def compose[A, B, C]
     (f: B ~> C)
     (g: A ~> B)
     : A ~> C
    def id[A]: A ~> A
}

kann jemand mir erklären, was der '~> " in der Kategorie type-parameter, und in den Methoden der Rückgabetyp?
Oder mich direkt auf eine Ressource, die es erklärt...
Ich bin neu in der Scala (aus Java), so verzeihen Sie mir, wenn jemand eine scala Benutzer sollte bekannt...
Vielen Dank im Voraus

InformationsquelleAutor Andrea | 2012-04-10
  1. 31

    ~> ist nur der Platzhalter-Namen für die Typ-parameter des Category. Wie die T im class Option[T].

    Darüber hinaus Scala-syntax können Sie schreiben B ~> C als Abkürzung für ~>[B, C].

    Vielleicht werden die Dinge klarer, wenn Sie es umbenennen:

    trait Category[Mapping[_, _]] {
  def compose[A, B, C](f: Mapping[B, C])(g: Mapping[A, B]): Mapping[A, C]
  def id[A]: Mapping[A, A]
}
    • Jetzt ist es klarer...ich denke, dass ich verwendet, um frei zu sein, nutzen seltsam char Dinge zu nennen (im Gegensatz zu Java). Ich dachte in der Tat, die '~>', bedeutete etwas besonderes zu sein, aber es kann ersetzt werden durch etwas, da verstehe ich das richtig..ich Danke Ihnen sehr!
    • Ja, es ist völlig willkürlich (in Scala Namenskonventionen für Bezeichner entsprechen, natürlich).
    • Übrigens: Der Grund, warum ein "operator" gewählt wurde, d.h. der operator-Zeichen anstelle von Buchstaben, war die Hoffnung, dass im Bereich der Kategorie Theorie ~> leicht übersetzt das Konzept von "morphismus" (aka "mapping", "Pfeil", etc.). In der Regel sollten Sie vorsichtig sein mit den Betreibern.
    InformationsquelleAutor Debilski
  2. 1

    Dies ist auch in Akka streams wie der edge-operator.

    InformationsquelleAutor Zephaniah Grunschlag
Schreibe einen Kommentar