Швидкий спосіб набрати смішних персонажів від Scalaz?

13

Чи є легкий і швидкий спосіб набрати смішні персонажі (наприклад, ⊛, ≟, ∘, ∨ тощо) від Scalaz? (Я використовую Ubuntu 9.04)

ubuntu characters scala

— кихат шарлатан
джерело

4

Я серйозно не можу зрозуміти, чому дизайнери бібліотеки вирішили використовувати такі смішні символи в першу чергу. Будь-які поважні причини?

2

Домовились, поки ми не побачимо деякої підтримки клавіатури

Існує велика кількість способів друку смішних персонажів, але більшість з них характерні для ОС та дистрибутива. Я думаю, що такі питання краще поставити на суперпопулярних.

— П Швед

1

@Pavel: Я очікую відповідей від самих творців Scalaz. Тому я розмістив питання на StackOverflow.

Погляньте на xmodmap.

— Дебільські

12

Використовуйте псевдоніми ASCII, надані бібліотекою. Наприклад, |+|це псевдонім для ⊹.
Використовуйте IntelliJ IDEA з цими живими шаблонами. Потім ви можете написати, x mapmap<TAB>щоб отримати x ∘∘. Інструкції з установки висвітлюються в цьому нещодавньому запитанні . IntelliJ має безкоштовне видання Community, і це мій особистий вибір та рекомендації щодо кодування Scala.
Я вважаю, що ярлик у Gnome для введення символу Unicode - це CTRL-SHIFT-U, Hex Code, Enter.
Створіть шаблони для улюбленого редактора.

Навіщо взагалі використовувати ці символи?

Ми покладаємось на шаблон Pimp-my-Library, але замість того, щоб обгортати один конкретний тип, ми надаємо додаткові функції, які працюють для будь-якого типу з відповідними екземплярами класу типів. Використання нестандартних символів мінімізує зіткнення імен із методами, передбаченими оригінальними типами.
Деякі операції, такі як карта Functor, Monadic bind та Applicative Functor, застосовуються, є дійсно загальноприйнятими та фундаментальними. Скала вбудовує деякі з них у лангажу з метою розуміння. Тож ми надаємо вам можливість використовувати версії 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

— ретронім
джерело

Не знав про живі шаблони. Спасибі.

1

Чи можете ви порекомендувати будь-які шрифти програмування, які охоплюють усі ці символи Unicode? - Особисто я хотів би використовувати шрифт із символами змінної ширини (я вже не вирівнюю свій код у стовпцях), але, на жаль, IntelliJ IDEA може добре обробляти переміщення курсора лише для шрифтів фіксованої ширини.

— Мадок

це трохи поза сферою, але чому спеціальні символи (або навіть | + |), що не так у тому, щоб дати значущу назву функції? Я намагаюся потрапити в скалаз, але щоразу, коли я бачу приклад some(7) ∘ {1 +}, просто неможливо зрозуміти, що це має робити. Ви можете стверджувати, що це для збереження натискань клавіш, але якщо вам потрібно набрати "mapmap <TAB>", щоб отримати потрібний символ, чому б не просто зателефонувати на карту функції?

— Мортімер

0

Спробуйте це -

Переконайтесь, що numlock ВИМКНЕНО.
Тримайте клавішу ALT
На цифровій панелі - натисніть, +а потім десятковий номер Unicode потрібного символу.
Відпустіть клавішу ALT

Це старий трюк, який працював у DOS з кодами ASCII (без +) та працює у вікнах у вікнах редагування, які приймають Unicode. Це повинно працювати на деяких Linux, я думаю.

Ви також можете спробувати описаний тут метод .

— шош
джерело

2

Це не те, що я б назвав швидким. І я не можу пригадати номер унікоду стільки символів. Я шукаю щось швидше і менш вимогливе.

0

У 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 є é.

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

Створення власних складових ключових послідовностей. створити файл ~ / .XСкладіть і додайте записи, такі як

: "∃"

(використовуючи фокус Ctrl + Shift + U або просто скопіювати / вставити)

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

— cayhorstmann
джерело