Как я могу вставить обратную галочку в GHCi?

Я не знаю, как отправить обратную галочку в ghci, если на вашей клавиатуре ее нет. Но эта небольшая техническая проблема не должна помешать вам попробовать Haskell!

• Вы можете программировать на Haskell без обратных кавычек, используя f a b вместо a `f` b. В вашем примере mod x 7.

• Вы можете установить американскую раскладку клавиатуры для программирования. Хотя требуется некоторая практика, чтобы найти клавиши с неправильными метками на физической клавиатуре, может быть удобно иметь более доступные [, ], { и }, а в вашем случае вообще иметь обратную кавычку.

• Вы можете вставить обратную галочку из буфера обмена. (Активируйте «режим быстрого редактирования» и «режим вставки» в настройках командного окна, а затем используйте правую кнопку мыши для вставки).

• Может быть, помогает использование обертки вокруг командного окна? Иногда я использую Console2, а иногда M-x shell в Emacs.

• Может WinGHCi поможет? По крайней мере, он поддерживает копирование и вставку.

• См. Ответ Орьяна Йохансена о том, как добавить пользовательскую привязку клавиш к ghci.

Удачи с Хаскеллом!

@Toxaris дал несколько предложений в своем ответе, но в комментарии он также упомянул возможность настройки версии GHCi readline (которая называется haskeline). Кроме того, он позволяет назначать собственные сочетания клавиш. Поэтому я решил проверить это.

В документации говорится, что настройки нужно помещать в ~/.haskeline, что не является путем Windows, но предположительно переводится в .haskeline в любом каталоге, возвращаемом System.Directory.getHomeDirectory. (vim также может редактировать этот путь непосредственно в Windows, но я понял это только потом.) Поэтому я добавил следующее в C:\Users\Ørjan\.haskeline:

bind: meta-' `

Теперь я могу получить ` в GHCi, нажав alt-'!