шаблон соответствия в GHCi

Question

В школе exercice

У меня есть эта функция

bar :: Float -> Float -> Float 
bar x 0 = 0 
bar 0 y = 0 
bar x y = x * y 

I типа его в GHC, как

let bar x 0 = 0; bar 0 y = 0; bar x y = x * y 

и оценить

bar foo 0 
bar 0 foo 

Я попросил изменить бар, чтобы использовать '|' так что я хочу сделать что-то вроде:

let bar x y = | x 0 = 0 | 0 y = 0 | x y = x * y 

но в GHCI я получил

parse error on input '=' 

Как я могу это сделать в GHCi? Будет ли что-то менять с помощью сопоставления шаблонов ('|')?

Answer 1

Посмотрите на синтаксис для использования охранниками:

bar x y | x == 0  = 0 
     | y == 0  = 0 
     | otherwise = x * y 

Написано на одной линии в GHCi:

let bar x y | x == 0 = 0 | y == 0 = 0 | otherwise = x * y 

Answer 2

Используйте файлы

Не вводите свой код непосредственно в GHCI если это действительно не однострочный.

Сохраните код в текстовом файле PatternMatch.hs и загрузите его в ghci, набрав.

:l PatternMatch.hs 

, а затем, если вы сделаете изменения (и сохранить), вы можете загрузить файл в GHCI набрав

:r 

В качестве альтернативы, можно назвать файлы, после чего осуществляют они находятся, или просто reusablle Temp.hs, если это действительно код throwaway.

Сохраняя материал в текстовом файле, вы делаете его гораздо более легко редактируемым и многоразовым.

Модулей

Позже вы будете собирать соответствующие функции вместе с помощью правильного модуля, поэтому они могут быть импортером в другие программы. Например, вы могли бы

module UsefulStuff where 

pamf = flip fmap 

сохраняются в файле с именем UsefulStuff.hs, а затем в другом файле вы можете

import UsefulStuff 

, а затем использовать функции из UsefulStuff там.

Модули являются излишними для того, что вы делаете сейчас, но получая рабочий процесс редактирования, сохранения, повторной компиляции, проверки, повторения, вы сэкономите себя от довольно много усилий.