Haskell Programming Language - Learn Functional Programming for iOS

Maelezo

Lugha ya kawaida ya programu ya Haskell kwa iPad, iPhone na iPod touch. Lugha ya programu ni zana kamili ya kusoma, hesabu ngumu ya hesabu, burudani na kazi zingine nyingi muhimu. Programu ni muhimu sana kwa kujifunza lugha ya programu ya Haskell. Lazima ununue mikusanyiko ndani ya programu. Muunganisho wa mtandao unahitajika. - Chombo kikubwa cha programu kwenye AppStore. - Lugha yako ya programu ya iOS ni ya kushangaza! * FEATURES * - Kusanya na kuendesha programu yako. - Ingizo la maandishi kabla ya programu kuendeshwa na kutoa maandishi. - Kihariri cha msimbo kilichoboreshwa chenye uangaziaji wa sintaksia, nambari za laini, mandhari ya rangi na kibodi ya ziada.- Rejeleo la lugha ya mtandaoni na sampuli kadhaa za programu. * VIKOMO * - Muunganisho wa Mtandao unahitajika ili kukusanya na kuendesha programu. - Picha, mtandao, mfumo wa faili na uingizaji wa wakati halisi hautumiki. - Muda wa juu zaidi wa programu ni sekunde 15. Asante kwa kutumia programu! ======================================= Haskell ni lugha sanifu, yenye kusudi la jumla inayofanya kazi kikamilifu. , yenye semantiki zisizo kali na uchapaji tuli wenye nguvu. Imetajwa baada ya mantiki Haskell Curry. Katika Haskell, "kazi ni raia wa daraja la kwanza" wa lugha ya programu. Kama lugha inayofanya kazi ya programu, muundo mkuu wa udhibiti ni kazi. Kufuatia kutolewa kwa Miranda na Research Software Ltd, mwaka wa 1985, hamu ya lugha tendaji za uvivu ilikua: kufikia 1987, zaidi ya dazeni ya lugha zisizo kali na zinazofanya kazi kikamilifu zilikuwepo. . Kati ya hizi, Miranda ndiyo iliyotumiwa sana, lakini ilikuwa programu ya umiliki. Katika kongamano la Lugha Zinazofanya Kazi na Usanifu wa Kompyuta huko Portland, Oregon, mkutano ulifanyika ambapo washiriki waliunda makubaliano yenye nguvu kwamba kamati inapaswa kuundwa ili kufafanua kiwango kilicho wazi kwa lugha kama hizo. Madhumuni ya kamati hiyo yalikuwa kujumuisha lugha za uandishi zilizopo katika lugha ya kawaida ambayo ingetumika kama msingi wa utafiti wa siku zijazo katika muundo wa lugha-tendakazi. Haskell ina tathmini ya uvivu, kulinganisha muundo, ufahamu wa orodha, madarasa ya aina, na upolimishaji wa aina. Ni lugha inayofanya kazi kikamilifu, ambayo ina maana kwamba kwa ujumla, kazi katika Haskell hazina madhara. Kuna muundo tofauti wa kuwakilisha athari, orthogonal kwa aina ya kazi. Chaguo la kukokotoa safi linaweza kurudisha madoido ambayo yanatekelezwa baadaye, yakiiga vitendaji chafu vya lugha zingine.Haskell ina mfumo thabiti wa aina, tuli kulingana na makisio ya aina ya HindleyMilner. Ubunifu mkuu wa Haskell katika eneo hili ni kuongeza madarasa ya aina, ambayo awali yalichukuliwa kama njia ya kanuni ya kuongeza upakiaji mwingi kwa lugha, lakini tangu wakati huo wamepata matumizi mengi zaidi. Muundo ambao unawakilisha athari ni mfano wa monad. Monadi ni mfumo wa jumla ambao unaweza kuiga aina tofauti za hesabu, ikijumuisha kushughulikia makosa, kutoamua, uchanganuzi na kumbukumbu ya muamala ya programu. Monadi hufafanuliwa kama aina za data za kawaida, lakini Haskell hutoa sukari ya kisintaksia kwa matumizi yao. Lugha ina vipimo vilivyo wazi, vilivyochapishwa, na utekelezaji mwingi upo. Kuna jumuiya amilifu inayoizunguka lugha hii, na zaidi ya maktaba 5400 za chanzo huria na zana za watu wengine zinapatikana katika hazina ya kifurushi cha mtandaoni Hackage. Utekelezaji mkuu wa Haskell, GHC, ni mkalimani na mkusanyaji wa msimbo asilia ambao huendeshwa. kwenye majukwaa mengi. GHC inajulikana kwa utekelezaji wake wa hali ya juu wa upatanifu na ulinganifu, na kwa kuwa na mfumo wa aina tajiri unaojumuisha ubunifu wa hivi majuzi kama vile aina za data za aljebra za jumla na aina za familia.