Быстрый способ ввода забавных персонажей из Скалаза?

Question

Есть ли какой-нибудь простой и быстрый способ печатать забавные символы (например, ⊛, ≟, ∘, ∨ и т.д.) Из Скалаза? (Я использую Ubuntu 9.04)

Answer 1

1. Используйте псевдонимы ASCII, предоставленные библиотекой. Например, |+| псевдоним для ⊹ .
2. Используйте IntelliJ IDEA с этими живыми шаблонами. Затем вы можете написать x mapmap<TAB> чтобы получить x ∘∘ . Инструкции по установке описаны в этом недавнем вопросе . IntelliJ имеет бесплатную версию Community Edition, и это мой личный выбор и рекомендация по кодированию Scala.
3. Я считаю, что ярлык в Gnome для ввода символа Unicode - это CTRL-SHIFT-U, Hex Code, Enter.
4. Создавайте шаблоны для вашего любимого редактора.

Зачем использовать эти символы вообще?

1. Мы полагаемся на шаблон Pimp-my-Library, но вместо того, чтобы оборачивать один конкретный тип, мы предоставляем дополнительные функции, которые работают для любого типа с подходящими экземплярами класса типов. Использование нестандартных символов минимизирует конфликты имен с методами, предоставленными исходными типами.
2. Некоторые операции, такие как отображение Functor, Monadic bind и Applicative Functor, действительно широко используются и являются фундаментальными. Scala встраивает некоторые из них в язык для непонимания. Поэтому мы даем вам возможность использовать версии Scalaz с минимальным синтаксическим беспорядком, как если бы они были частью самого языка.

Пример:

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

Answer 2

В Linux это проще, чем в любой другой ОС, о которой я знаю.

Проверьте эту ссылку для фона / детали: https://help.ubuntu.com/community/ComposeKey

Сначала вы можете нажать Ctrl+Shift+U, а затем код Unicode. Например, Ctrl+Shift+U + 2203 = ∃. Это может быть не так удобно, но оно понадобится вам для следующего шага.

Лучше всего использовать ключ compose, AKA Multi_key. Как описано в приведенной выше статье, вы можете создавать символы с помощью Multi_key + char1 + char2. Например, Multi_key 'e is é.

Я обнаружил, что ключ Caps Lock делает великолепный Multi_key. Вы можете установить его с помощью Системных настроек -> Клавиатура -> Макет -> Параметры.

Чтобы создать свои собственные последовательности клавиш. сделать файл ~/.XCompose и добавить записи, такие как

: "∃"

(используя трюк Ctrl+Shift+U или просто копировать / вставить)

Выйдите из системы и войдите снова (или, для тестирования, просто запустите ssh -X localhost xterm).

Answer 3

Попробуй это -

Убедитесь, что numlock выключен
Удерживайте клавишу ALT
На цифровой клавиатуре - нажмите + а затем десятичный номер Unicode символа, который вы хотите.
Отпустите клавишу ALT

Это старый трюк, который работал в DOS с кодами ASCII (без +) и работает в окнах в полях редактирования, которые принимают Unicode. Это должно работать на некоторых Linux, я думаю.

Вы также можете попробовать метод, описанный здесь.