Як визначити функцію в ghci через кілька рядків?

Я намагаюся визначити будь-яку просту функцію, яка охоплює кілька рядків у ghci. Візьмемо наступний приклад:

let abs n | n >= 0 = n
          | otherwise = -n

Поки я намагався натиснути Enter після першого рядка:

Prelude> let abs n | n >= 0 = n
Prelude>           | otherwise = -n
<interactive>:1:0: parse error on input `|'

Я також спробував використати команди :{та :}команди, але я не заходжу далеко:

Prelude> :{
unknown command ':{'
use :? for help.

Я використовую GHC Interactive версії 6.6 для Haskell 98 в Linux, що мені не вистачає?

Для охоронців (як ваш приклад) ви можете просто поставити їх на один рядок, і це працює (охоронці не хвилюються про інтервали)

let abs n | n >= 0 = n | otherwise = -n

Якщо ви хотіли написати свою функцію з декількох визначень, які відповідають шаблону аргументів, наприклад:

fact 0 = 1
fact n = n * fact (n-1)

Тоді ви використовуєте дужки з крапками з комою, що розділяють означення

let { fact 0 = 1 ; fact n = n * fact (n-1) }

GHCi тепер має режим багатолінійного введення, увімкнено: set + m. Наприклад,

Prelude> :set +m
Prelude> let fac 0 = 1
Prelude|     fac n = n * fac (n-1)
Prelude|
Prelude> fac 10
3628800

Дан правильний, але :{і :}кожен з них повинен з'явитися на їх власної лінії:

> :{ 
> let foo a b = a +
>           b
> :}
> :t foo
foo :: (Num a) => a -> a -> a

Це також взаємодіє з правилом компонування, тому при використанні do-notation може бути простіше використовувати дужки та напівколонки явно. Наприклад, це визначення не вдається:

> :{
| let prRev = do
|   inp <- getLine
|   putStrLn $ reverse inp
| :}
<interactive>:1:18:
    The last statement in a 'do' construct must be an expression

Але це працює, коли додаються дужки та напівколонки:

> :{
| let prRev = do {
|   inp <- getLine;
|   putStrLn $ reverse inp;
| }
| :}
> :t prRev
prRev :: IO ()

Це дійсно має значення лише при вставці визначень з файлу, де відступ може змінитися.

Це схоже :{і :}є досить новою функцією. Можливо, вам знадобиться оновити GHC.

Редагувати: підтверджено, див. Http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Якщо ви не хочете , щоб оновити GHC тільки для :{і :}ви повинні будете написати все це на одному рядку:

> let abs' n | n >= 0 = n | otherwise = -n

Мені невідомо жодне окреме визначення в Haskell, яке повинно бути написане в декількох рядках. Сказане дійсно працює в GHCi:

> :t abs'
abs' :: (Num a, Ord a) => a -> a

Для інших виразів, таких як doблоки, вам потрібно буде використовувати синтаксис без компонування з фігурними дужками та крапками з комою (eugh).

Я використовую GHCi, версія 8.2.1 на macOS Catalina 10.15.2. Далі, як я з'єднав як функції, так і декларації типу функцій. Зверніть увагу, що вертикальні смуги зліва призначені для декількох ліній GHCi.

λ: let abs' :: (Num a, Ord a) => a -> a
 |     abs' n | n >= 0 = n | otherwise = -n
 | 
λ: abs' 7
7
λ: abs' (-7)
7

Схоже, вставлення обох рядків одночасно або за допомогою контрольного введення для кожного нового рядка зберігає все це разом, принаймні, на https://repl.it/languages/haskell . Ви побачите дві крапки на початку другого рядка. Або помістіть його у файл і: завантажте файл (: l основний). Чому abs не працює з від'ємними числами? О, ви повинні поставити круглі дужки навколо номера.

   let abs n | n >= 0 = n 
..           | otherwise = -n

   abs (-1)