Быстрый способ ввести забавные символы от Scalaz?

1. Используйте псевдонимы ASCII, обеспеченные библиотекой. Например, |+| псевдоним для ⊹.
2. Используйте ИДЕЮ IntelliJ с этими Живыми Шаблонами. Можно затем записать x mapmap<TAB> добираться x ∘∘. Инструкции по установке покрыты этим недавним вопросом. IntelliJ имеет свободный Общественный Выпуск, и его мой личный выбор и рекомендацию для Scala, кодирующего.
3. Я полагаю, что ярлык в Gnome для ввода символа Unicode является CTRL-SHIFT-U, Шестнадцатеричным Кодом, Войти.
4. Создайте шаблоны для своего любимого редактора.

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

1. Мы полагаемся на шаблон Pimp-my-Library, а скорее, чем обертывание одного конкретного типа, мы обеспечиваем дополнительные функции, которые работают на любой тип с подходящими экземплярами класса типа. Используя нестандартные символы минимизирует столкновения имени с методами, предоставленными исходными типами.
2. Некоторые операции, как карта Функтора, Одноместная, связывают, и Применимый Функтор применяется, являются действительно наиболее часто используемыми и фундаментальными. 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

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

Удостоверьтесь, что numlock ВЫКЛЮЧЕН
Держите клавишу ALT
На цифровой клавиатуре - нажатие + и затем десятичное количество Unicode символа Вы хотите.
Выпустите клавишу ALT

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

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

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

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

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

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

Я нахожу, что клавиша Caps Lock делает великолепный Multi_key. Можно установить его с Установками системы-> Клавиатура-> Расположение-> Опции.

Заставить Ваше собственное составить сочетания клавиш. сделайте файл ~/.XCompose и добавьте записи такой как

: "∃"

(использование приема Ctrl+Shift+U, или только со скопировать/вставить)

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