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

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) ∘  List(1, 2, 3) ∗  case class Person(age: Int, name: String) some(10) ⊛ none[String] apply Person.apply 

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

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

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

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

В 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).