Haskell Programming Language - Learn Functional Programming for iOS

apibūdinimas

Klasikinė Haskell programavimo kalba, skirta iPad, iPhone ir iPod touch. Programavimo kalba yra puikus įrankis studijoms, sudėtingiems matematiniams skaičiavimams, pramogoms ir daugeliui kitų naudingų užduočių. Programa ypač naudinga mokantis Haskell programavimo kalbos. Turite nusipirkti rinkinius programoje. Reikalingas interneto ryšys. - Puikus programavimo įrankis „AppStore“. - Jūsų programavimo kalba, skirta iOS, nuostabi! * SAVYBĖS * - Sukompiliuokite ir paleiskite programą. - Teksto įvedimas prieš programos paleidimą ir teksto išvestis. - Patobulintas šaltinio kodo redaktorius su sintaksės paryškinimu, eilučių numeriais, spalvų temomis ir papildoma klaviatūra. - Internetinė kalbos nuoroda ir keli programos pavyzdžiai. * APRIBOJIMAI * - Programai kompiliuoti ir paleisti reikalingas interneto ryšys. - Grafika, tinklas, failų sistema ir realiojo laiko įvestis nepalaikomi. - Maksimalus programos veikimo laikas yra 15 sekundžių. Dėkojame, kad naudojatės programa! ===================================== Haskell yra standartizuota, bendrosios paskirties grynai funkcinė programavimo kalba , su negriežta semantika ir stipriu statiniu spausdinimu. Jis pavadintas logiko Haskell Curry vardu. Haskell, "funkcija yra pirmos klasės pilietis" programavimo kalba. Kaip funkcinė programavimo kalba, pagrindinė valdymo konstrukcija yra funkcija. 1985 m. Research Software Ltd išleidus Miranda, susidomėjimas tingiomis funkcinėmis kalbomis išaugo: iki 1987 m. egzistavo daugiau nei tuzinas negriežtų, grynai funkcinių programavimo kalbų. . Iš jų Miranda buvo plačiausiai naudojama, bet buvo patentuota programinė įranga. Funkcinių programavimo kalbų ir kompiuterių architektūros konferencijoje Portlande, Oregone, buvo surengtas posėdis, kurio metu dalyviai tvirtai sutarė, kad reikia sudaryti komitetą, kuris nustatytų atvirą standartą tokioms kalboms. Komiteto tikslas buvo sujungti esamas funkcines kalbas į bendrą, kuri būtų pagrindas būsimiems funkcinių kalbų dizaino tyrimams. Haskell pasižymi tingiu vertinimu, modelių derinimu, sąrašo supratimu, tipų klasėmis ir tipo polimorfizmu. Tai grynai funkcinė kalba, o tai reiškia, kad apskritai Haskell funkcijos neturi šalutinio poveikio. Yra atskira konstrukcija, skirta nurodyti šalutinius poveikius, stačiakampius funkcijų tipui. Gryna funkcija gali sukelti šalutinį poveikį, kuris vėliau vykdomas, modeliuojant nešvarias kitų kalbų funkcijas. Haskell turi stiprią statinio tipo sistemą, pagrįstą HindleyMilnerio tipo išvada. Pagrindinė Haskell naujovė šioje srityje yra pridėti tipų klases, kurios iš pradžių buvo suplanuotos kaip principinis būdas perkrauti kalbą, tačiau vėliau rado daug daugiau panaudojimo būdų. Konstrukcija, vaizduojanti šalutinį poveikį, yra monados pavyzdys. Monados yra bendra sistema, galinti modeliuoti įvairius skaičiavimo būdus, įskaitant klaidų apdorojimą, nedeterminizmą, analizavimą ir programinės įrangos operacijų atmintį. Monados apibrėžiamos kaip įprasti duomenų tipai, tačiau Haskell pateikia tam tikrą sintaksinį cukrų, skirtą jų naudojimui. Kalba turi atvirą, paskelbtą specifikaciją ir yra keletas įdiegimų. Kalboje veikia aktyvi bendruomenė, o internetinėje paketų saugykloje „Hackage“ yra daugiau nei 5 400 trečiųjų šalių atvirojo kodo bibliotekų ir įrankių. Pagrindinis Haskell, GHC, diegimas yra ir vertėjas, ir vietinio kodo kompiliatorius, kuris veikia. daugumoje platformų. GHC yra žinomas dėl savo didelio našumo lygiagretumo ir lygiagretumo diegimo bei turtingos tipo sistemos, apimančios naujausias naujoves, pvz., apibendrintus algebrinių duomenų tipus ir tipų šeimas.