ghci 'Не в области:' сообщение

Question

Я прохожу учебник «Изучаю тебя на Хаскеле» и нахожусь в этой части:

lucky :: (Integral a) => a -> String

Когда я пытаюсь выполнить эту строку, получаю:

<interactive>:1:1: Not in scope: `lucky'

Что я делаю не так?

Answer 1

Это не код функции, это сигнатура функции, которая может быть сохранена только в модуле вместе с определением функции и загружена в GHCi.

Эта подпись означает, что вы собираетесь определить функциюlucky, который получает Integer и возвращает String.

Однако, если вы составляете свои функции, используя GHCi в качестве интерактивного интерпретатора, вы можете позволить Haskell выводить тип вашей функции, например:

ghci> let lucky x = show (x + 1)
ghci> :t lucky
lucky :: (Num a) => a -> String

Answer 2

Если вы хотите попробовать в GHCI, вы можете использовать многострочный командный блок

:{
lucky :: Int -> String
lucky a = show(a)
:}

:type lucky 
lucky :: Int -> String