Haskell Programming Language - Learn Functional Programming for iOS

Апісанне

Класічная мова праграмавання Haskell для iPad, iPhone і iPod touch. Мова праграмавання - выдатны інструмент для навучання, складаных матэматычных разлікаў, забавы і многіх іншых карысных задач. Прыкладанне асабліва карысна для вывучэння мовы праграмавання Haskell. Вы павінны купляць кампіляцыі ўнутры прыкладання. Патрабуецца падключэнне да Інтэрнэту. - Выдатны інструмент праграмавання ў AppStore. - Ваша мова праграмавання для iOS цудоўная! * АСАБЛІВАСЦІ * - Кампіляцыя і запуск вашай праграмы. - Увод тэксту перад запускам праграмы і вывад тэксту. - Палепшаны рэдактар ​​зыходнага кода з падсветкай сінтаксісу, нумарамі радкоў, каляровымі тэмамі і дадатковай клавіятурай. - Інтэрнэт-даведнік па мовах і некалькі ўзораў праграм. * АБМЕЖАВАННІ * - Для кампіляцыі і запуску праграмы патрабуецца падключэнне да Інтэрнэту. - Графіка, сетка, файлавая сістэма і ўвод у рэжыме рэальнага часу не падтрымліваюцца. - Максімальны час працы праграмы складае 15 секунд. Дзякуй за выкарыстанне прыкладання! ======================================= Haskell — стандартызаваная чыста функцыянальная мова праграмавання агульнага прызначэння , з нестрогай семантыкай і моцнай статычнай тыпізацыяй. Ён названы ў гонар логіка Хаскела Кары. У Haskell «функцыя з'яўляецца першакласным грамадзянінам» мовы праграмавання. У якасці функцыянальнай мовы праграмавання асноўнай канструкцыяй кіравання з'яўляецца функцыя. Пасля выпуску Miranda кампаніяй Research Software Ltd у 1985 годзе цікавасць да лянівых функцыянальных моў вырасла: да 1987 года існавала больш за дзясятак нестрогіх, чыста функцыянальных моў праграмавання. . З іх Miranda была найбольш шырока выкарыстоўванай, але была прапрыетарным праграмным забеспячэннем. На канферэнцыі па мовах функцыянальнага праграмавання і камп'ютэрнай архітэктуры ў Портлендзе, штат Арэгон, адбылася сустрэча, падчас якой удзельнікі сфарміравалі моцны кансенсус, што павінен быць створаны камітэт для вызначэння адкрытага стандарту для такіх моў. Мэта камітэта складалася ў тым, каб аб'яднаць існуючыя функцыянальныя мовы ў агульную, якая паслужыла б асновай для будучых даследаванняў у галіне дызайну функцыянальнай мовы. Haskell мае гультаяватую ацэнку, адпаведнасць шаблону, разуменне спісаў, класы тыпаў і палімарфізм тыпаў. Гэта выключна функцыянальная мова, што азначае, што ў цэлым функцыі ў Haskell не маюць пабочных эфектаў. Існуе асобная канструкцыя для прадстаўлення пабочных эфектаў, артаганальная тыпу функцый. Чыстая функцыя можа вярнуць пабочны эфект, які пасля выконваецца, мадэлюючы нячыстыя функцыі іншых моў. Haskell мае моцную статычную сістэму тыпаў, заснаваную на выснове тыпу HindleyMilner. Асноўнае новаўвядзенне Haskell у гэтай галіне заключаецца ў даданні класаў тыпаў, якія першапачаткова задумваліся як прынцыповы спосаб дадаць мове перагрузку, але з тых часоў знайшлі значна больш ужыванняў. Канструкцыя, якая прадстаўляе пабочныя эфекты, з'яўляецца прыкладам манады. Манады - гэта агульная структура, якая можа мадэляваць розныя віды вылічэнняў, уключаючы апрацоўку памылак, недэтэрмінізм, разбор і транзакцыйную памяць праграмнага забеспячэння. Манады вызначаюцца як звычайныя тыпы даных, але Haskell дае некаторы сінтаксічны цукар для іх выкарыстання. Мова мае адкрытую апублікаваную спецыфікацыю і існуе некалькі рэалізацый. Існуе актыўная супольнасць вакол мовы, і больш за 5400 старонніх бібліятэк і інструментаў з адкрытым зыходным кодам даступныя ў інтэрнэт-сховішчы пакетаў Hackage. Асноўная рэалізацыя Haskell, GHC, адначасова з'яўляецца інтэрпрэтатарам і кампілятарам уласнага кода, які запускае на большасці платформаў. GHC вядомы сваёй высокапрадукцыйнай рэалізацыяй паралелізму і паралелізму, а таксама багатай сістэмай тыпаў, якая ўключае апошнія новаўвядзенні, такія як абагульненыя алгебраічныя тыпы даных і сем'і тыпаў.