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

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

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

Бум.

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

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

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

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

Начиная с GHCI версии 8.0.1, 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

Но вы получите ошибки, если попытаетесь передать что-нибудь, кроме 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

Но техника :{, :} работает.