Stražari u Haskelu je značajka koja dodaje malo više fleksibilnosti pri definiranju funkcija. Oni vam omogućavaju da navedete različite uslove i pokrenete različite delove koda u zavisnosti od toga da li su ovi uslovi ispunjeni. Paralele se mogu napraviti sa uslovnim izjavama koje se mogu videti u drugim jezicima, ali sa elegantnijom i sažetijom implementacijom. Haskell je čisti funkcionalni jezik, što znači da su neželjeni efekti poput promjene podataka na drugom mjestu u programu zabranjeni. Stražari pružaju način za rješavanje takvih stanja unutar ove paradigme.
Problem ugniježđenih čuvara
Često ćete u Haskell-u naći situaciju u kojoj se mora ispuniti određeni uvjet, ali onda unutar tog uvjeta mora biti ispunjen i drugi uvjet. Međutim, ovi uvjeti nisu uvijek prirodno izraženi izjavama 'if' i 'else', ili listom obrazaca. Evo gdje bi ugniježđeni štitnici mogli biti korisni.
U početku, Haskell ne podržava ugniježđene čuvare na način koji bi omogućio da jedan čuvar direktno sadrži drugog. Dok se uparivanje uzoraka može ugnijezditi na neodređeno vrijeme, štitnici su ograničeni na "ravnu" strukturu. Stoga se mora primijeniti drugačiji pristup.
Rješenje problema
Da bi riješili ovaj problem i postigli funkcionalnost ugniježđenih štitnika, inženjeri su osmislili strategiju uključivanja izraza padeža u štitnike. Izrazi slučaja u Haskell-u su u suštini prekidači, koji procjenjuju izraz i prosljeđuju kontrolu prvoj grani koja odgovara. Oni pružaju određeni nivo ugniježđene logike kada se kombinuju sa čuvarima.
checkNumber broj =
| broj > 0 = slučaj (broj `mod` 2 == 0) od
Tačno -> “Pozitivno i ravnomjerno”
Netačno -> “Pozitivno i čudno”
| broj < 0 = "Negativno" | inače = "Zero" [/code] U gornjem isječku koda, funkcija "checkNumber" je definirana sa jednim parametrom "num". Unutar zaštite, izraz padeža se koristi za daljnju podjelu uvjeta. U slučajevima kada je 'num' pozitivan broj, funkcija provjerava da li je paran ili neparan.
Objašnjenje koda korak po korak
- Funkcija “checkNumber” predviđa prirodu datog broja.
- Kada se funkcija pozove, proslijeđeni parametar procjenjuju čuvari.
- Prvi čuvar provjerava je li broj veći od nule. Ako je to tačno, poziva se izraz slučaja.
- Izraz case provjerava da li je broj paran ili neparan i vraća odgovarajući niz.
- Ako broj nije pozitivan, čuvar prelazi na sljedeći uvjet, koji provjerava da li je negativan. Ako je tačno, vraća se “Negativno”.
- Ako broj nije pozitivan ili negativan, mora biti nula i stoga se vraća “Nula”.
Strategija korištenja izraza padeža unutar zaštitnika pruža način imitacije željene funkcionalnosti ugniježđene zaštite. Ovaj koncept je ključan za jasnoću koda i upravljanje programskim tokom na intuitivan način u okviru ograničenja funkcionalnog programiranja.
rezime
Sve u svemu, u čistim funkcionalnim jezicima kao što je Haskell, upravljanje programskim tokom i uslovima često može biti izazov. Zaštita i izrazi slučaja mogu se efikasno koristiti za obezbeđivanje bogate, intuitivne logike uslova i toka kontrole, održavajući kod jasnim, lakim za razumevanje i održavanje.
