Как использовать математические символы (имя функции) в ghci?

Question

Я изучаю Haskell. Я вижу, что автор использует некоторые математические символы юникода в коде here (например, ∀). Я стараюсь использовать это тоже, например:

(∀) :: (a -> b) -> [a] -> [b] 
f ∀ [] = [] 
f ∀ (x:xs) = f x : f ∀ xs 

ghci нагрузки это успешно, но я не могу назвать эту функцию ... Когда я пытаюсь вставить ∀ символ в ghci консоли из буфера обмена, ничего не происходит (Windows 7, Lucida console).

Это очень удобно - использовать математические символы (на мой взгляд). Как я могу использовать его в ghci?

Answer 1

Наиболее распространенный способ получения визуалы этого используется шрифт и текстовый редактор, поддерживающий ligatures, как Hasklig. Таким образом, это выглядит, как вы хотите, но он сохраняется как обычный файл ASCII, что упрощает работу с инструментами, которые не поддерживают эту технологию.

Я бы порекомендовал против с использованием фактических символов, отличных от ASCII, в качестве идентификаторов; это может быть распространено в Agda, но может быть просто раздражающим при попытке работать над одним и тем же кодом с несколькими людьми, на разных платформах и т. д.