วิธีการกำหนดฟังก์ชั่นใน 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

สิ่งนี้ยังโต้ตอบกับกฎโครงร่างดังนั้นเมื่อใช้การทำเครื่องหมายอาจเป็นการง่ายกว่าที่จะใช้เครื่องมือจัดฟันและเซมิโคลอนแบบโคลอนอย่างชัดเจน ตัวอย่างเช่นนิยามนี้ล้มเหลว:

> :{
| 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 คุณจะเห็นจุด 2 จุดในตอนต้นของบรรทัดที่สอง หรือวางไว้ในไฟล์และ: โหลดไฟล์ (: l main) ทำไมเอบีเอสจึงไม่ทำงานกับจำนวนลบ? โอ้คุณต้องใส่วงเล็บล้อมรอบตัวเลข

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

   abs (-1)