Haskell Programming Language - Learn Functional Programming for iOS
| Versioon | 9.4 |
|---|---|
| Kirjastaja | Dmitry Kovba |
| Väljalaske kuupäev | 12. juuni 2016 |
| Kuupäev lisatud | 12. juuni 2016 |
| Os nõuded | iOS |
| Nõuded | Compatible with: ipad2wifi, ipad2wifi, ipad23g, ipad23g, iphone4s, iphone4s, ipadthirdgen, ipadthirdgen, ipadthirdgen4g, ipadthirdgen4g, iphone5, iphone5, ipodtouchfifthgen, ipodtouchfifthgen, ipadfourthgen, ipadfourthgen, ipadfourthgen4g, ipadfourthgen4g, ipadmini, ipadmini, ipadmini4g, ipadmini4g |
| Allalaadimisi kokku | 18 |
| Hind | Free |
Kirjeldus
Klassikaline Haskelli programmeerimiskeel iPadile, iPhone'ile ja iPod touchile. Programmeerimiskeel on ideaalne tööriist õppimiseks, keerukaks matemaatiliseks arvutamiseks, meelelahutuseks ja paljudeks muudeks kasulikeks ülesanneteks. Rakendus on eriti kasulik Haskelli programmeerimiskeele õppimisel. Rakenduse sees peate ostma kogumikke. Vajalik on Interneti-ühendus. - AppStore'i suurepärane programmeerimistööriist. - Teie iOS-i programmeerimiskeel on hämmastav! * OMADUSED * - Kompileerige ja käivitage oma programm. - Tekstisisestus enne programmi käivitamist ja tekstiväljund. - Täiustatud lähtekoodi redaktor süntaksi esiletõstmise, reanumbrite, värviteemade ja täiendava klaviatuuriga. - Veebikeeleviide ja mitmed programminäidised. * PIIRANGUD * - programmi koostamiseks ja käivitamiseks on vajalik Interneti-ühendus. - Graafika, võrk, failisüsteem ja reaalajas sisend ei ole toetatud. - Programmi maksimaalne tööaeg on 15 sekundit. Täname, et kasutasite rakendust! ======================================= Haskell on standardiseeritud üldotstarbeline puhtalt funktsionaalne programmeerimiskeel , mitterange semantika ja tugeva staatilise tippimisega. See on oma nime saanud loogik Haskell Curry järgi. Haskellis on programmeerimiskeele "funktsioon esmaklassiline kodanik". Funktsionaalse programmeerimiskeelena on peamiseks juhtkonstruktsiooniks funktsioon.Pärast Miranda väljaandmist Research Software Ltd-i poolt 1985. aastal kasvas huvi laiskade funktsionaalkeelte vastu: 1987. aastaks oli olemas enam kui tosin mitteranget, puhtalt funktsionaalset programmeerimiskeelt. . Neist Miranda oli kõige laialdasemalt kasutatav, kuid see oli patenteeritud tarkvara. Oregonis Portlandis toimunud funktsionaalsete programmeerimiskeelte ja arvutiarhitektuuri konverentsil toimus koosolek, kus osalejad jõudsid tugevale üksmeelele, et selliste keelte avatud standardi määratlemiseks tuleks moodustada komitee. Komitee eesmärk oli koondada olemasolevad funktsionaalsed keeled ühiseks, mis oleks aluseks edaspidistele funktsionaalse keeledisaini uurimisele. Haskelli tunnused on laisk hindamine, mustrite sobitamine, loendi mõistmine, tüübiklassid ja tüübipolümorfism. See on puhtalt funktsionaalne keel, mis tähendab, et üldiselt ei ole Haskelli funktsioonidel kõrvalmõjusid. Kõrvalmõjude kujutamiseks on eraldi konstruktsioon, mis on funktsioonide tüübiga ortogonaalne. Puhas funktsioon võib tagastada kõrvalmõju, mis hiljem käivitatakse, modelleerides teiste keelte ebapuhtaid funktsioone. Haskellil on tugev, staatiline tüübisüsteem, mis põhineb HindleyMilneri tüüpi järeldustel. Haskelli peamine uuendus selles valdkonnas on tüübiklasside lisamine, mis algselt kavandati põhimõttelise viisina keelele ülekoormuse lisamiseks, kuid mis on sellest ajast peale leidnud palju rohkem kasutusvõimalusi. Kõrvalmõjusid kujutav konstruktsioon on monaadi näide. Monaadid on üldine raamistik, mis võib modelleerida erinevat tüüpi arvutusi, sealhulgas vigade käsitlemist, mittedeterminismi, sõelumist ja tarkvara tehingumälu. Monaadid on defineeritud kui tavalised andmetüübid, kuid Haskell pakub nende kasutamiseks süntaktilist suhkrut. Keelel on avatud, avaldatud spetsifikatsioon ja mitu rakendust. Keele ümber on aktiivne kogukond ning võrgupakettide hoidlas Hackage on saadaval enam kui 5400 kolmanda osapoole avatud lähtekoodiga teeki ja tööriista. Haskelli GHC peamine teostus on nii tõlk kui ka algkoodi kompilaator, mis töötab enamikul platvormidel. GHC on tuntud samaaegsuse ja paralleelsuse suure jõudlusega rakendamise ning rikkaliku tüübisüsteemi poolest, mis sisaldab hiljutisi uuendusi, nagu üldistatud algebralised andmetüübid ja tüübipered.