Haskell Programming Language - Learn Functional Programming for iOS

Deskrizzjoni

Il-lingwa ta 'programmar Haskell klassika għal iPad, iPhone u iPod touch. Il-lingwa ta 'programmar hija għodda perfetta għall-istudju, kalkolu matematiku kumpless, divertiment u ħafna kompiti utli oħra. L-applikazzjoni hija speċjalment utli għat-tagħlim tal-lingwa ta 'programmar Haskell. Int trid tixtri kompilazzjonijiet ġewwa l-applikazzjoni. Konnessjoni tal-Internet hija meħtieġa. - L-għodda ta 'programmazzjoni kbira fuq l-AppStore. - Il-lingwa tal-ipprogrammar tiegħek għall-iOS hija aqwa! * KARATTERISTIĊI * - Ikkompila u mexxi l-programm tiegħek. - Input tat-test qabel it-tħaddim tal-programm u l-output tat-test. - Editur imtejjeb tal-kodiċi tas-sors b'enfasi tas-sintassi, numri tal-linji, temi tal-kulur u tastiera addizzjonali.- Referenza tal-lingwa onlajn u diversi kampjuni tal-programmi. * LIMITAZZJONIJIET * - Konnessjoni tal-Internet hija meħtieġa biex tikkompila u tmexxi programm. - Grafika, netwerk, sistema ta 'fajls u input f'ħin reali mhumiex appoġġjati. - Il-ħin massimu ta' tħaddim ta' programm huwa ta' 15-il sekonda. Grazzi talli użajt l-applikazzjoni! ====================================== Haskell hija lingwa ta' programmazzjoni standardizzata, għal skopijiet ġenerali purament funzjonali , b'semantika mhux stretta u tajpjar statiku qawwi. Huwa msemmi għal loġiku Haskell Curry. F'Haskell, "funzjoni hija ċittadin tal-ewwel klassi" tal-lingwa ta 'programmar. Bħala lingwa ta 'programmar funzjonali, il-kostruzzjoni ta' kontroll primarja hija l-funzjoni. Wara r-rilaxx ta 'Miranda minn Research Software Ltd, fl-1985, l-interess f'lingwi funzjonali għażżien kiber: sa l-1987, kienu jeżistu aktar minn tużżana lingwi ta' programmar mhux stretti, purament funzjonali. . Minn dawn, Miranda kien l-aktar użat, iżda kien softwer proprjetarju. Fil-konferenza dwar Lingwi ta’ Programmazzjoni Funzjonali u Arkitettura tal-Kompjuter f’Portland, Oregon, saret laqgħa li matulha l-parteċipanti ffurmaw kunsens qawwi li għandu jiġi ffurmat kumitat biex jiddefinixxi standard miftuħ għal lingwi bħal dawn. L-iskop tal-kumitat kien li jikkonsolida l-lingwi funzjonali eżistenti f'waħda komuni li sservi bħala bażi għal riċerka futura fid-disinn tal-lingwa funzjonali. Hija lingwa purament funzjonali, li jfisser li b'mod ġenerali, il-funzjonijiet f'Haskell m'għandhomx effetti sekondarji. Hemm kostruzzjoni distinta għar-rappreżentazzjoni ta 'effetti sekondarji, ortogonali għat-tip ta' funzjonijiet. Funzjoni pura tista' tirritorna effett sekondarju li sussegwentement jiġi esegwit, billi timmudella l-funzjonijiet impuri ta' lingwi oħra. L-innovazzjoni prinċipali ta 'Haskell f'dan il-qasam hija li żżid klassijiet tat-tip, li oriġinarjament kienu maħsuba bħala mod prinċipju biex iżidu tagħbija żejda mal-lingwa, iżda minn dakinhar sabu ħafna aktar użi. Il-kostrutt li jirrappreżenta effetti sekondarji huwa eżempju ta' monade. Monads huma qafas ġenerali li jistgħu jimmudellaw tipi differenti ta 'komputazzjoni, inkluż l-immaniġġjar ta' żbalji, nondeterminism, parsing, u memorja transazzjonali tas-softwer. Monads huma definiti bħala tipi ta 'dejta ordinarji, iżda Haskell jipprovdi xi zokkor sintattiku għall-użu tagħhom. Il-lingwa għandha speċifikazzjoni miftuħa u ppubblikata, u jeżistu implimentazzjonijiet multipli. Hemm komunità attiva madwar il-lingwa, u aktar minn 5400 librerija u għodda ta’ sors miftuħ ta’ partijiet terzi huma disponibbli fir-repożitorju tal-pakketti onlajn Hackage. L-implimentazzjoni ewlenija ta’ Haskell, GHC, hija kemm interpretu kif ukoll kompilatur tal-kodiċi nattiv li jaħdem. fuq il-biċċa l-kbira tal-pjattaformi. GHC huwa nnutat għall-implimentazzjoni ta 'prestazzjoni għolja ta' konkorrenza u paralleliżmu, u talli għandu sistema ta 'tip rikka li tinkorpora innovazzjonijiet reċenti bħal tipi ta' dejta alġebrin ġeneralizzati u familji ta 'tipi.