Un modo rapido per digitare personaggi divertenti di Scalaz?

13

C'è un modo semplice e veloce per digitare i personaggi divertenti (come ⊛, ≟, ∘, ∨ ecc.) Da Scalaz? (Sto usando Ubuntu 9.04)

ubuntu characters scala

— Quack Quixote
fonte

4

Davvero non riesco a capire perché i progettisti della biblioteca abbiano scelto di usare simboli così divertenti in primo luogo. Qualche motivo valido?

2

D'accordo, fino a quando non vedremo almeno un po 'di supporto per la tastiera

Esistono molti modi per stampare personaggi divertenti, ma la maggior parte di essi sono specifici del sistema operativo e della distribuzione. Penso che tali domande dovrebbero essere poste meglio su superutente.

— P Shved,

1

@Pavel: mi aspetto risposte dagli stessi creatori di Scalaz. Ecco perché ho pubblicato la domanda su StackOverflow.

Dai un'occhiata a xmodmap.

— Debilski,

12

Utilizzare gli alias ASCII forniti dalla libreria. Ad esempio, |+|è un alias per ⊹.
Usa IntelliJ IDEA, con questi modelli live. È quindi possibile scrivere x mapmap<TAB>per ottenere x ∘∘. Le istruzioni di installazione sono trattate in questa recente domanda . IntelliJ ha una Community Edition gratuita, ed è una mia scelta e raccomandazione personale per il codice Scala.
Credo che la scorciatoia in Gnome per inserire un personaggio Unicode sia CTRL-SHIFT-U, Hex Code, Enter.
Crea modelli per il tuo editor preferito.

Perché usare questi simboli?

Facciamo affidamento sul modello Pimp-my-Library, ma piuttosto che racchiudere un tipo particolare, forniamo funzioni extra che funzionano per qualsiasi tipo con istanze di classe di tipo adatte. L'uso di caratteri non standard riduce al minimo gli scontri con i metodi forniti dai tipi originali.
Alcune operazioni, come la mappa di Functor, il legame Monadic e l'applicazione Functor applicabile, sono davvero comunemente usate e fondamentali. Scala costruisce alcuni di questi nella lingua con una comprensione completa. Quindi ti diamo la possibilità di usare le versioni di Scalaz con un minimo disordine sintattico, quasi come se facessero parte del linguaggio stesso.

Esempio:

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

— retronym
fonte

Non conoscevo i modelli live. Grazie.

1

Puoi consigliarmi dei caratteri di programmazione che coprono tutti quei caratteri Unicode? - Personalmente, vorrei utilizzare un carattere con caratteri a larghezza variabile (non allinea più il mio codice nelle colonne), ma sfortunatamente IntelliJ IDEA può gestire bene il movimento del cursore solo per caratteri a larghezza fissa.

— Madoc,

questo è un po 'fuori portata, ma perché i caratteri speciali (o anche | + |), cosa c'è di sbagliato nel dare un nome significativo alla funzione? Sto cercando di entrare nello scalaz, ma ogni volta che vedo un esempio con some(7) ∘ {1 +}, è semplicemente impossibile capire cosa si intende fare. Potresti sostenere che è per salvare i tasti, ma se devi digitare "mapmap <TAB>" per ottenere il carattere giusto, perché non chiamare semplicemente la funzione mapmap?

— Mortimer,

0

Prova questo -

Assicurarsi che il blocco numerico sia OFF
Tenere premuto il tasto ALT
Sul tastierino numerico : premere, +quindi il numero decimale Unicode del carattere desiderato.
Rilascia il tasto ALT

Questo è un vecchio trucco che ha funzionato in DOS con i codici ASCII (senza il +) e funziona in Windows nelle caselle di modifica che accettano Unicode. Dovrebbe funzionare su alcuni Linux penso.

Puoi anche provare il metodo qui descritto .

— shoosh
fonte

2

Questo non è qualcosa che definirei rapido. E non ricordo i numeri unicode di così tanti personaggi. Sto cercando qualcosa di più veloce e meno impegnativo.

0

È più facile in Linux che in qualsiasi altro sistema operativo di cui sono a conoscenza.

Dai un'occhiata a questo link per informazioni / dettagli: https://help.ubuntu.com/community/ComposeKey

Innanzitutto, puoi premere Ctrl + Maiusc + U seguito da con il codice Unicode. Ad esempio, Ctrl + Maiusc + U + 2203 = ∃. Potrebbe non essere così conveniente, ma ti servirà per il passaggio successivo.

Il modo migliore è usare la chiave di composizione, AKA Multi_key. Come descritto nell'articolo precedente, è possibile comporre caratteri con Multi_key + char1 + char2. Ad esempio, Multi_key 'e è é.

Trovo che il tasto BLOC MAIUSC sia uno splendido Multikey. Puoi impostarlo con Preferenze di Sistema -> Tastiera -> Layout -> Opzioni.

Per creare sequenze di tasti personalizzate. crea un file ~ / .XCompose e aggiungi voci come

: "∃"

(usando il trucco Ctrl + Maiusc + U, o semplicemente con copia / incolla)

Disconnettersi e riconnettersi (o, per i test, eseguire ssh -X localhost xterm).

— cayhorstmann
fonte