An warware: mayar da karya idan jeri ba komai

Haskell harshe ne mai ƙarfi da ke bayyanawa, galibi ana amfani da shi don magance matsaloli masu sarƙaƙiya cikin ladabi da taƙaitacciyar hanya. Wannan sifa ta Haskell kuma ta sa ya dace da magance matsalolin gama gari waɗanda suke da kamanceceniya a cikin yanayi, kamar duba idan jerin babu komai. Wannan na iya zama kamar matsala ce madaidaiciya, amma aiki ne na gama gari da masu haɓakawa ke aiwatarwa a cikin harsunan shirye-shirye daban-daban.

Wannan labarin zai tono cikin wannan matsalar gama gari kuma ta nuna yadda ake magance ta ta amfani da Haskell. Za mu rubuta kuma mu bayyana aikin da ke mayar da "Ƙarya" idan jerin ba su da komai kuma "Gaskiya" idan akasin haka.

isEmpty :: [a] -> Bool
isEmpty [] = True
isEmpty _  = False

Wannan aikin Haskell yana aiki a madaidaiciyar hanya. Aikin 'isEmpty' yana ɗaukar jerin kowane nau'i (wanda [a] ke nunawa) kuma yana dawo da Boolean. Idan lissafin ba komai ([]), zai dawo Gaskiya, in ba haka ba zai dawo Karya. Wannan aikin yana ba da haske game da ikon daidaita ƙirar Haskell.

Haskell Library

Haskell yana da ɗimbin ɗakunan karatu waɗanda zaku iya amfani da su don magance matsaloli cikin ingantacciyar hanya. Wasu dakunan karatu da ke da alaƙa kai tsaye ko a kaikaice da matsalarmu ta duba idan jerin babu komai sun haɗa da:

• Bayanai.List: Babban ɗakin karatu na Haskell wanda ke ba da ayyuka don magudin lissafi. Ba ya haɗa da aikin 'isEmpty' kamar yadda aka aiwatar a sama, amma yana ba da ayyuka da yawa da suka shafi magudin lissafi ciki har da bincika idan jeri ya ƙunshi takamaiman abu.
• Safe: Wannan ɗakin karatu yana ba da ƙarin aminci ga Haskell ta hanyar samar da nau'ikan ayyuka waɗanda ba sa kasawa ba zato ba tsammani.

Yin amfani da dakunan karatu na iya sa lambar ku ta fi dacewa da sauƙin fahimta, don haka yana da kyau koyaushe ku san dakunan karatu da kuma yadda za su iya taimakawa.

Haskell Ayyuka

Ayyukan da muka tattauna don bincika ko lissafin fanko ne yana amfani da fasalin Haskell mai ƙarfi wanda aka sani da matching juna. Daidaitaccen tsari a cikin ma'anar aiki yana ba ku damar ƙirƙirar abubuwan fitarwa daban-daban dangane da tsarin shigarwa.

Misali, a cikin aikinmu na ''isEmpty'', muna ayyana “tsari” guda biyu don daidaitawa. Idan shigarwar ta yi daidai da tsarin lissafin fanko ([]), aikinmu yana fitar da Gaskiya. Ga kowane tsarin da maƙasudin (_) ke wakilta, yana fitar da Ƙarya. Matching Pattern yana da mahimmanci a yawancin ayyukan Haskell kuma kyakkyawan yanayin harshe ne, yana ba mu damar rubuta mafi tsafta da lambar da za a iya karantawa.

A ƙarshe, aikin Haskell da dakunan karatu da aka tattauna, tare da manufar daidaitawa, suna ba da damar yin aiki mai girma da ƙayatarwa yayin da ake fuskantar matsalar bincika idan jerin ba komai.