Uma maneira rápida de digitar caracteres engraçados de Scalaz?

13

Existe alguma maneira fácil e rápida de digitar os personagens engraçados (como ⊛, ≟, ∘, ∨ etc) de Scalaz? (Estou usando o Ubuntu 9.04)

    
por quack quixote 02.05.2010 / 07:31

3 respostas

12

  1. Use os aliases ASCII fornecidos pela biblioteca. Por exemplo, |+| é um alias para .
  2. Use o IntelliJ IDEA, com esses modelos dinâmicos. Você pode então escrever x mapmap<TAB> para obter x ∘∘ . As instruções de instalação são abordadas neste pergunta recente . O IntelliJ tem uma Community Edition gratuita e é minha escolha pessoal e recomendação para a codificação Scala.
  3. Acredito que o atalho no Gnome para inserir um caractere Unicode é CTRL-SHIFT-U, Código Hex, Enter.
  4. Crie modelos para seu editor favorito.

Por que usar esses símbolos?

  1. Contamos com o padrão Pimp-my-Library, mas em vez de envolver um tipo específico, fornecemos funções extras que funcionam para qualquer tipo com instâncias de classe de tipo adequadas. O uso de caracteres não padrão minimiza os confrontos de nomes com os métodos fornecidos pelos tipos originais.
  2. Algumas operações, como Functor map, Monadic bind e Applicative Functor, são muito usadas e fundamentais. O Scala constrói alguns deles na linguagem com compreensão. Assim, damos a você a opção de usar as versões Scalaz com um mínimo de desordem sintática, quase como se fossem parte da própria linguagem.

Exemplo:

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
    
por 02.05.2010 / 10:03
0

Tente isso -

Verifique se o numlock está desativado
Segure a tecla ALT
No teclado numérico - pressione + e, em seguida, o número Unicode decimal do caractere desejado.
Solte a tecla ALT

Esse é um truque antigo que funcionava no DOS com códigos ASCII (sem o + ) e funciona nas janelas nas caixas de edição que usam o Unicode. Deve funcionar em alguns linuxes eu acho.

Você também pode tentar o método descrito aqui .

    
por 02.05.2010 / 08:35
0

É mais fácil no Linux do que em qualquer outro SO que conheço.

Confira este link para informações básicas / detalhes: link

Primeiro, você pode pressionar Ctrl + Shift + U seguido do código Unicode. Por exemplo, Ctrl + Shift + U + 2203 = ∃. Isso pode não ser tão conveniente, mas você precisará disso para a próxima etapa.

A melhor maneira é usar a tecla de composição, AKA Multi_key. Conforme descrito no artigo acima, você pode compor caracteres com Multi_key + char1 + char2. Por exemplo, Multi_key e é é.

Eu acho que a tecla Caps Lock faz um Multi_key esplêndido. Você pode configurá-lo com as Preferências do Sistema - > Teclado - > Layout - > Opções

Para criar suas próprias sequências de teclas de composição. faça um arquivo ~ / .XCompose e adicione entradas como

: "∃"

(usando o Ctrl + Shift + U truque, ou apenas com copiar / colar)

Efetue logout e novamente (ou, para testes, apenas execute ssh -X localhost xterm).

    
por 14.12.2010 / 08:56