Как настроить GHCI от Haskell для интерактивной оценки функций для их подписи (типа) вместо получения ошибок?

Question

Чтобы увидеть подпись функция в Haskell в GHCI, я должен добавить к ней префикс :t:

Prelude> f = \x -> x+1 
Prelude> :t f 
f :: Num a => a -> a 

Но типирование, что префикс каждый раз, когда быстро растет старый. Если я оставлю его, я получаю сообщение об ошибке:

Prelude> f 

<interactive>:5:1: error: 
• No instance for (Show (a0 -> a0)) arising from a use of ‘print’ 
    (maybe you haven't applied a function to enough arguments?) 
• In the first argument of ‘print’, namely ‘it’ 
    In a stmt of an interactive GHCi command: print it 

Вместо того, чтобы получить это сообщение об ошибке, я хотел бы видеть некоторую полезную информацию о моей функции f, подобной той, я получаю с :t f (возможно, даже больше информации о f).

Как настроить GHCI для достижения этой функциональности, т. Е. Получить информацию о функциях после ввода без :t?

Answer 1

Возможно, вы сегодня не можете этого сделать. Я открыл a feature request, чтобы узнать о добавлении параметров для управления тем, что GHCi сообщает о ошибках типа в подсказке.

Answer 2

GHCi уже с радостью покажет вам типы всего, что вы введете в приглашение, с опцией :set +t. Единственная проблема заключается в том, что на эту вещь вызывается , и нет надлежащего способа отображения функций - и тип печатается только для выражения, которое может быть показано действительным образом. Тем не менее, вы можете обойти это довольно легко:

>newtype ShowType a = ShowType a 
newtype ShowType a = ShowType a 
>instance Show (ShowType a) where show _ = "The type is" 
>:set +t 
>ShowType const 
The type is 
it :: ShowType (a -> b -> a) 

К сожалению, это создает довольно синтаксический шум. Я предпочитаю решение добавить следующее в .ghci файла:

:set +t 
instance {-# OVERLAPS #-} Show a where show _ = "The type is" 

Добавление такой Show экземпляр для любого реального модуля Haskell был бы серьезной ошибкой, но в пределах .ghci модуля, он прицелы только над выражениями, напечатанных в подскажите, так что мне кажется хорошо. При этом, вы получите:

>const 
The type is 
it :: a -> b -> a 
>show 
The type is 
it :: Show a => a -> String 

Удобно, когда у вас есть функция, тип которого является «технически» действует, но имеет невыполнимые ограничения, вы все равно получите ошибку типа:

>:t \x -> x `div` (x/x) 
\x -> x `div` (x/x) :: (Integral a, Fractional a) => a -> a 
         ^^^^^^^^^^^^^^^^^^^^^^^^^^ 

>\x -> x `div` (x/x) 

<interactive>:12:1: error: 
    * Ambiguous type variable `a0' arising from a use of `it' 
     prevents the constraint `(Fractional a0)' from being solved. 

---

Однако , абсолютным простейшим решением является :set +t и дать инструкцию let, если ваше выражение не Show способно:

>let _f = show 
_f :: Show a => a -> String 

К сожалению, если левая сторона является подстановочным знаком - let _ = show - тогда тип не печатается.