Мне нужен (быстрый и грязный) способ получить некоторое представление типа выражения Haskell, которое задается в виде строки. На данный момент я вижу 3 варианта: Используйте GHC API — однако документация довольно быстро меня утомляет....

Одним из интересных свойств системы типов Haskell (*) является то, что иногда вы можете сказать точно , что делает функция, основываясь только на ее сигнатуре типа (при условии, что не задействована unsafe IO темная магия). Например, любая...

Я изучаю Haskell, выполняя упражнение fp-course . Существует вопрос заблокировать мой способ. Я не знаю, как Haskell определяет тип lift2 (<$>) (,) и выводит Functor k => (a1 -> k a2) -> a1 -> k (a1, a2) . Я опробовал тип...

Глава 16 книги Haskell Programming from First Principles на стр. 995 содержит упражнение для ручного определения того, как (fmap . fmap) выполняет проверку типов. Он предлагает заменить тип каждого fmap на типы функций в типе оператора...