Мне нужен (быстрый и грязный) способ получить некоторое представление типа выражения Haskell, которое указывается в виде строки.
В настоящее время я вижу 3 варианта:
- Использовать API GHC - однако документация теряет меня довольно быстро.
- Используйте какой-то другой инструмент вывода вывода - мне предложили попробовать haskell-type-exts, но он не может напечатать все, кроме самых тривиальных выражений. Я не знаю другого такого инструмента.
- Сверните мой собственный HM-инферсер - я бы избегал этого, если не было абсолютно необходимо
Мне даже не нужно полное решение, в том смысле, что библиотека/инструмент, который может набрать разумный базовый поднабор Haskell, будет достаточно для меня.
Итак, какой самый простой способ достичь этого?