Как взломать GHCi (или Hugs), чтобы он печатал символы Unicode без экранирования?

Вариант 1 (плохой):

Измените эту строку кода:

https://github.com/ghc/packages-base/blob/ba98712/GHC/Show.lhs#L356

showLitChar c s | c > '\DEL' =  showChar '\\' (protectEsc isDec (shows (ord c)) s)

И перекомпилировать ghc.

Вариант 2 (много работы):

Когда тип GHCi проверяет проанализированный оператор, он попадает в tcRnStmt, который опирается на mkPlan (оба в https://github.com/ghc/ghc/blob/master/compiler/typecheck/TcRnDriver.lhs). Это пытается проверить несколько вариантов оператора, который был введен, включая:

let it = expr in print it >> return [coerce HVal it]

Конкретно:

print_it  = L loc $ ExprStmt (nlHsApp (nlHsVar printName) (nlHsVar fresh_it))
                                      (HsVar thenIOName) placeHolderType

Все, что здесь может потребоваться изменить, это printName (которое привязывается к System.IO.print). Если вместо этого он привязан к чему-то вроде printGhci, который был реализован как:

class ShowGhci a where
    showGhci :: a -> String
    ...

-- Bunch of instances?

instance ShowGhci Char where
    ...  -- The instance we want to be different.

printGhci :: ShowGhci a => a -> IO ()
printGhci = putStrLn . showGhci

Затем Ghci может изменить то, что напечатано, включив в контекст разные экземпляры.

Один из способов взломать это — обернуть GHCi в оболочку оболочки, которая читает его стандартный вывод и неэкранирует символы Unicode. Конечно, это не путь Haskell, но он работает :)

Например, это оболочка ghci-esc, которая использует sh и python3 (здесь важно 3):

#!/bin/sh

ghci "$@" | python3 -c '
import sys
import re

def tr(match):
    s = match.group(1)
    try:
        return chr(int(s))
    except ValueError:
        return s

for line in sys.stdin:
    sys.stdout.write(re.sub(r"\\([0-9]{4})", tr, line))
'

Использование ghci-esc:

$ ./ghci-esc
GHCi, version 7.0.2: http://www.haskell.org/ghc/  :? for help
> "hello"
"hello"
> "привет"
"привет"
> 'Я'
'Я'
> show 'Я'
"'\Я'"
> :q
Leaving GHCi.

Обратите внимание, что не все описанные выше действия по отмене экранирования выполняются правильно, но это быстрый способ продемонстрировать вывод Unicode вашей аудитории.

В этом вопросе достигнут некоторый прогресс; спасибо bravit (Виталий Брагилевский)!:

• работа в процессе: Даёшь кириллицу в GHCi! — 2 — вокруг связанного тикета;
• результат работы: Даёшь кириллицу в GHCi! — 3 — с патч и еще один для документации от bravit (Виталий Брагилевский). Были внесены следующие улучшения: 1 и 2.

Вероятно, включено в GHC 7.6.1. (Это?..)

Как заставить теперь печатать кириллицей:

Параметр, передаваемый GHCi, должен быть функцией, которая может печатать кириллицей. На Hackage такой функции не обнаружено. Итак, нам нужно создать простую обертку, как сейчас:

module UPPrinter where
import System.IO
import Text.PrettyPrint.Leijen

upprint a = (hPutDoc stdout . pretty) a >> putStrLn ""

И запустите ghci таким образом: ghci -interactive-print=UPPrinter.upprint UPPrinter

Конечно, это можно раз и навсегда записать в .ghci.

Практическая задача: придумать альтернативный красивый Show

Итак, теперь есть практическая проблема: что использовать в качестве замены стандартного Show (который - стандартный Show - экранирует нужные символы против нашего желания)?

Использование чужой работы: другие симпатичные принтеры

Выше предлагается Text.PrettyPrint.Leijen, вероятно, потому, что известно, что такие символы не экранируются в строках.

Наше собственное Шоу, основанное на Шоу — привлекательное, но непрактичное.

Как насчет написания собственных Show, скажем, ShowGhci, как было предложено в ответе здесь. Это практично?..

Чтобы сохранить работу по определению экземпляров для альтернативного класса Show (например, ShowGhci), может возникнуть соблазн использовать существующие экземпляры Show по умолчанию, только переопределив экземпляры для String и Char. Но это не сработает, потому что если вы используете showGhci = show, то для любых сложных данных, содержащих строки show, будет "жестко скомпилирован" вызов старого show для отображения строки. В этой ситуации требуется возможность передавать разные словари, реализующие один и тот же интерфейс класса, функциям, использующим этот интерфейс (show передаст его subshows). Любые расширения GHC для этого?

Основываясь на Show и желая переопределить только экземпляры для Char и String, не очень практично, если вы хотите, чтобы он был таким же "универсальным" (широко применимым), как Show.

Повторный разбор show

Более практичное (и короткое) решение находится в другом ответе здесь: проанализируйте вывод из show для обнаружения символов и строк и переформатируйте их. (Хотя семантически это кажется немного уродливым, решение короткое и безопасное в большинстве случаев (если в show нет кавычек, используемых для других целей; не должно быть в случае со стандартными вещами, потому что идея show состоит в том, чтобы быть больше или больше). -менее корректный анализируемый Haskell.)

Семантические типы в ваших программах

И еще одно замечание.

На самом деле, если нас интересует отладка в GHCi (а не просто демонстрация Haskell и желание получить красивый вывод), необходимость отображения букв, отличных от ASCII, должна исходить из неотъемлемого присутствия этих символов в вашей программе (иначе для отладки, вы можете заменить их латинскими символами или не заботиться о том, чтобы отображались коды). Другими словами, в этих символах или строках есть некий СМЫСЛ с точки зрения предметной области. (Например, я недавно занимался грамматическим анализом русского языка, и русские слова в составе словаря-примера присутствовали в моей программе «по своей сути». Ее работа имела бы смысл только с этими конкретными словами. Поэтому мне нужно было читайте их при отладке.)

Но смотрите, если струны имеют какое-то ЗНАЧЕНИЕ, тогда они уже не простые струны; это данные осмысленного типа. Возможно, программа стала бы еще лучше и безопаснее, если бы вы объявили специальный тип для такого рода значений.

И затем, ура!, вы просто определяете свой экземпляр Show для этого типа. И у вас все в порядке с отладкой вашей программы в GHCi.

Например, в моей программе для грамматического анализа я сделал:

newtype Vocable = Vocable2 { ortho :: String } deriving (Eq,Ord)
instance IsString Vocable -- to simplify typing the values (with OverloadedStrings)
    where fromString = Vocable2 . fromString

а также

newtype Lexeme = Lexeme2 { lemma :: String } deriving (Eq,Ord)
instance IsString Lexeme -- to simplify typing the values (with OverloadedStrings)
    where fromString = Lexeme2 . fromString

(дополнительное fromString здесь потому, что я могу переключить внутреннее представление с String на ByteString или что-то еще)

Помимо того, что я мог красиво их show, я стал более безопасным, потому что я не мог смешивать разные типы слов при составлении своего кода.

Ситуация изменится в следующей версии 7.6.1 Ghci, поскольку она предоставляет новую опцию Ghci под названием: -interactive-print. Вот скопировано из ghc-manual: (А myShow и myPrint я написал так)

2.4.8. Using a custom interactive printing function

[New in version 7.6.1] By default, GHCi prints the result of expressions typed at the prompt using the function System.IO.print. Its type signature is Show a => a -> IO (), and it works by converting the value to String using show.

This is not ideal in certain cases, like when the output is long, or contains strings with non-ascii characters.

The -interactive-print flag allows to specify any function of type C a => a -> IO (), for some constraint C, as the function for printing evaluated expressions. The function can reside in any loaded module or any registered package.

As an example, suppose we have following special printing module:

     module SpecPrinter where
     import System.IO

     sprint a = putStrLn $ show a ++ "!"

The sprint function adds an exclamation mark at the end of any printed value. Running GHCi with the command:

     ghci -interactive-print=SpecPrinter.sprinter SpecPrinter

will start an interactive session where values with be printed using sprint:

     *SpecPrinter> [1,2,3]
     [1,2,3]!
     *SpecPrinter> 42
     42!

A custom pretty printing function can be used, for example, to format tree-like and nested structures in a more readable way.

The -interactive-print flag can also be used when running GHC in -e mode:

     % ghc -e "[1,2,3]" -interactive-print=SpecPrinter.sprint SpecPrinter
     [1,2,3]!


module MyPrint (myPrint, myShow) where
-- preparing for the 7.6.1
myPrint :: Show a => a -> IO ()
myPrint = putStrLn . myShow

myShow :: Show a => a -> String
myShow x = con (show x) where
  con :: String -> String
  con [] = []
  con li@(x:xs) | x == '\"' = '\"':str++"\""++(con rest)
                | x == '\'' = '\'':char:'\'':(con rest')
                | otherwise = x:con xs where
                  (str,rest):_ = reads li
                  (char,rest'):_ = reads li

И они хорошо работают:

*MyPrint> myPrint "asf萨芬速读法"
"asf萨芬速读法"
*MyPrint> myPrint "asdffasdfd"
"asdffasdfd"
*MyPrint> myPrint "asdffa撒旦发"
"asdffa撒旦发"
*MyPrint> myPrint '此'
'此'
*MyPrint> myShow '此'
"'\27492'"
*MyPrint> myPrint '此'
'此'

Вы можете переключиться на использование пакета 'text' для ввода-вывода. Например.

Prelude> :set -XOverloadedStrings
Prelude> Data.Text.IO.putStrLn "hello: привет"
hello: привет

Пакет является частью стандартного дистрибутива Haskell, платформы Haskell, и предоставляет эффективный упакованный неизменяемый текстовый тип Unicode. с операциями ввода-вывода. Поддерживается множество кодировок.

Используя файл .ghci, вы можете включить -XOverloadStrings по умолчанию и написать макрос :def, чтобы ввести команду :text, которая показывает значение только через text. Это сработает.

Теперь, когда я знаю -interactive-print ghci, это отличная функция. Большое спасибо за то, что написали вопрос и ответы! Между прочим, существующие красивые принтеры, которые я могу найти в Интернете, имеют некоторые угловые случаи, и проблема написать хороший Unicode show оказалось сложнее, чем кажется.

Поэтому я решил написать для этой цели пакет Haskell unicode-show, который (надеюсь, ) хорошо печатает строки в верхнем регистре и составные типы.

С наилучшими пожеланиями, чтобы этот пакет был полезен людям, которые искали этот вопрос и ответ :)

Что было бы идеально, так это патч для ghci, позволяющий пользователю :set использовать функцию для отображения результатов, отличных от show. В настоящее время такой функции не существует. Однако предложение Дона для макроса :def (с текстовым пакетом или без него) совсем неплохо.