Gibt es eine einfache und schnelle Möglichkeit, die lustigen Zeichen (wie ⊛, ≟, ∘, ∨ usw.) von Scalaz einzugeben? (Ich benutze Ubuntu 9.04)
Gibt es eine einfache und schnelle Möglichkeit, die lustigen Zeichen (wie ⊛, ≟, ∘, ∨ usw.) von Scalaz einzugeben? (Ich benutze Ubuntu 9.04)
Antworten:
|+|
ist ein Alias für ⊹
.x mapmap<TAB>
, um zu bekommen x ∘∘
. Installationsanweisungen werden in dieser aktuellen Frage behandelt . IntelliJ hat eine kostenlose Community Edition und meine persönliche Wahl und Empfehlung für die Scala-Codierung.Warum diese diese Symbole überhaupt verwenden?
Beispiel:
some(7) ∘ {1 +}
List(1, 2, 3) ∗ {x => List(7, x)}
case class Person(age: Int, name: String)
some(10) ⊛ none[String] apply Person.apply
some(7) ∘ {1 +}
, ist es unmöglich zu verstehen, was das zu tun hat. Sie könnten argumentieren, dass es notwendig ist, Tastenanschläge zu speichern, aber wenn Sie "mapmap <TAB>" eingeben müssen, um das richtige Zeichen zu erhalten, rufen Sie einfach die Funktion mapmap auf.
Versuche dies -
Vergewissern Sie sich, dass die Num-
Taste ausgeschaltet ist. Halten Sie die ALT-Taste auf dem Ziffernblock gedrückt
Drücken+
und dann die dezimale Unicode-Nummer des gewünschten Zeichens.
Lassen Sie die ALT-Taste los
Dies ist ein alter Trick, der in DOS mit ASCII-Codes (ohne +
) funktioniert und in Windows in Bearbeitungsfeldern mit Unicode funktioniert. Es sollte auf einigen Linuxen funktionieren, denke ich.
Sie können auch die hier beschriebene Methode ausprobieren .
Es ist unter Linux einfacher als unter jedem anderen Betriebssystem, das mir bekannt ist.
Schauen Sie sich diesen Link für Hintergrundinformationen / Details an: https://help.ubuntu.com/community/ComposeKey
Zuerst können Sie Strg + Umschalt + U drücken, gefolgt vom Unicode-Code. Beispiel: Strg + Umschalt + U + 2203 = ∃. Das ist vielleicht nicht so praktisch, aber Sie werden es für den nächsten Schritt brauchen.
Der bessere Weg ist die Verwendung des Erstellungsschlüssels AKA Multi_key. Wie im obigen Artikel beschrieben, können Sie mit Multi_key + char1 + char2 Zeichen erstellen. Zum Beispiel ist Multi_key 'e é.
Ich finde, dass die Feststelltaste eine großartige Mehrfachtaste ist. Sie können es mit den Systemeinstellungen -> Tastatur -> Layout -> Optionen einstellen.
Erstellen Sie Ihre eigenen Tastenfolgen. Machen Sie eine Datei ~ / .XCompose und fügen Sie Einträge wie
: "∃"
(mit dem Trick Strg + Umschalt + U oder einfach mit Kopieren / Einfügen)
Melden Sie sich ab und wieder an (oder führen Sie zum Testen einfach ssh -X localhost xterm aus).