pattern matching in GHCi

Question

In exercice scuola

ho questa funzione

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

tipo I in GHC come

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

e valutare

bar foo 0 
bar 0 foo 

Sono ha chiesto di modificare la barra per usare '|' quindi voglio fare qualcosa di simile:

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

ma in ghci ho ottenuto

parse error on input '=' 

Come posso farlo in GHCi? Il fatto di utilizzare la corrispondenza del modello ('|') cambierà qualcosa?

Answer 1

sguardo alla sintassi per l'utilizzo guardie:

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

Scritto su una riga in GHCi:

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

Answer 2

utilizzare i file

Non digitare il codice direttamente nel ghci a meno che non sia davvero un one-liner.

Salvare il codice in un file di testo denominato PatternMatch.hs e caricarlo in ghci digitandolo.

:l PatternMatch.hs 

e poi se si apportano modifiche (e salvare) è possibile ricaricare il file in ghci digitando

:r 

alternativa, si potrebbe denominare i file dopo il quale esercitare cui si trovano, o semplicemente un Temp.hs di reusablle se è veramente un codice usa e getta.

Salvando materiale in un file di testo rendilo molto più facilmente modificabile e riutilizzabile.

Moduli

poi ti raccogliere funzioni connesse insieme tramite un modulo adeguato, in modo che possano essere importatore in altri programmi. Ad esempio, si potrebbe avere

module UsefulStuff where 

pamf = flip fmap 

salvati in un file chiamato UsefulStuff.hs e poi in un altro file si potrebbe

import UsefulStuff 

e quindi utilizzare le funzioni da UsefulStuff lì.

I moduli sono eccessivi per quello che stai facendo ora, ma ottenendo il flusso di lavoro di modifica, salvataggio, ricompilare, testare, ripetere, ti risparmierai da un bel po 'di sforzo.