Многострочные команды в GHCi

У меня проблема с вводом многострочных команд в ghci.

Следующий двухстрочный код работает с файлом:

addTwo :: Int -> Int -> Int
addTwo x y = x + y

Но когда вхожу в ghci, появляется ошибка:

<interactive>:1:1: error:
    Variable not in scope: addTwo :: Int -> Int -> Int

Я также попытался поместить код внутрь :{ ... :}, но они также не работают в этом примере, потому что это просто добавление строк в одну строку, чего не должно быть.

Я использую WinGHCi версии 2011.2.0.1

В большинстве случаев вы можете полагаться на вывод типа, чтобы разработать для вас подпись. В вашем примере достаточно:

Prelude> let addTwo x y = x + y

Если вам действительно нужно определение с сигнатурой типа или ваше определение занимает несколько строк, вы можете сделать это в ghci:

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y 
Prelude| :}
Prelude> addTwo 4 7
11

Обратите внимание, что вы также можете сжать это в одну строку:

Prelude> let addTwo :: Int -> Int -> Int ; addTwo x y = x + y

Вы можете узнать больше о взаимодействии с ghci в интерактивной оценке в разделе подсказок документации.

Решите эту проблему, запустив GHCI и набрав :set +m:

Prelude> :set +m
Prelude> let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| 
Prelude> addTwo 1 3
4

Boom.

Что здесь происходит (и я говорю в основном с вами , человеком, который ищет помощи в Google, работая над Learn You A Haskell ), так это то, что GHCI - это интерактивная среда, в которой вы меняете привязки имен функций на лету. Вы должны заключить определения функций в letблок, чтобы Haskell знал, что вы собираетесь что-то определить. Это :set +mсокращение для многострочного :{ кода :} конструкции .

Пробелы также важны в блоках, поэтому вам нужно сделать отступ в определении функции после определения типа на четыре пробела, чтобы учесть четыре пробела в let.

Используйте let:

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| :}
Prelude> addTwo 2 3
5

Начиная с версии 8.0.1 GHCI , letбольше не требуется определять функции в REPL.

Так что это должно сработать для вас:

λ: addTwo x y = x + y
λ: addTwo 1 2
3
λ: :t addTwo
addTwo :: Num a => a -> a -> a

Вывод типов в Haskell обеспечивает обобщенную типизацию, которая также работает для чисел с плавающей запятой:

λ: addTwo 2.0 1.0
3.0

Если вы должны предоставить свой собственный набор текста, кажется, вам нужно использовать в letсочетании с многострочным вводом (используйте :set +mдля включения многострочного ввода в GHCI):

λ: let addTwo :: Int -> Int -> Int
 |     addTwo x y = x + y
 | 
λ: addTwo 1 2
3

Но вы получите ошибки, если попытаетесь передать что-либо, кроме a Intиз-за неполиморфной типизации:

λ: addTwo 2.0 1.0

<interactive>:34:8: error:
    • No instance for (Fractional Int) arising from the literal ‘2.0’
    • In the first argument of ‘addTwo’, namely ‘2.0’
      In the expression: addTwo 2.0 1.0
      In an equation for ‘it’: it = addTwo 2.0 1.0

Чтобы расширить ответ Аарона Холла , по крайней мере, в версии GHCi 8.4.4 вам не нужно использовать letобъявления типа, если вы используете :{ :}стиль. Это означает, что вам не нужно беспокоиться о добавлении отступа из 4 пробелов в каждую последующую строку для учета let, что значительно упростит ввод более длинных функций или, во многих случаях, копипасту (поскольку исходный источник, вероятно, не будет иметь правильный отступ):

λ: :{
 | addTwo :: Int -> Int -> Int
 | addTwo x y = x + y
 | :}
λ: addTwo 1 2
3

Обновить

В качестве альтернативы вы можете включить режим многострочного ввода :set +m, затем ввести letего самостоятельно, нажать Enter, а затем вставить определения без необходимости отступа.

Однако, похоже, это не работает с некоторыми блоками кода, такими как:

class Box a where
  mkBox :: a -> Boxes.Box

Но :{, :}техник делает.