Haskell Programming Language - Learn Functional Programming for iOS

Тавсифи

Забони барномасозии классикии Haskell барои iPad, iPhone ва iPod touch. Забони барномасозӣ як воситаи комил барои омӯзиш, ҳисобҳои мураккаби математикӣ, фароғат ва бисёр дигар вазифаҳои муфид аст. Ин барнома махсусан барои омӯзиши забони барномасозии Haskell муфид аст. Шумо бояд компиляцияҳоро дар дохили барнома харед. Пайвастшавӣ ба интернет лозим аст. - Воситаи бузурги барномасозӣ дар AppStore. - Забони барномасозии шумо барои iOS аҷиб аст! * Хусусиятҳо * - Барномаи худро тартиб диҳед ва иҷро кунед. - Вуруди матн пеш аз иҷрои барнома ва баромади матн. - Муҳаррири мукаммали коди сарчашма бо равшании синтаксис, рақамҳои сатр, мавзӯъҳои ранг ва клавиатураи иловагӣ.- Маълумотнома дар бораи забони онлайн ва якчанд намунаҳои барнома. * МАҲДУДИЯТ * - Барои тартиб додан ва иҷро кардани барнома пайвасти интернет лозим аст. - Графика, шабака, системаи файлӣ ва вуруд дар вақти воқеӣ дастгирӣ намешавад. - Давомнокии ҳадди аксар 15 сония аст. Ташаккур барои истифодаи барнома! ======================================= Haskell як забони стандартишудаи барномасозии сирф функсионалӣ мебошад , бо семантикаи ғайримуқаррарӣ ва чопкунии сахти статикӣ. Он ба номи мантиқ Ҳаскелл Карри номгузорӣ шудааст. Дар Ҳаскелл, "функсия шаҳрванди дараҷаи аввал" -и забони барномасозӣ мебошад. Ҳамчун забони функсионалии барномасозӣ, сохтори асосии идоракунӣ функсия мебошад. Пас аз нашри Miranda аз ҷониби Research Software Ltd, дар соли 1985, таваҷҷӯҳ ба забонҳои функсионалии танбал афзоиш ёфт: то соли 1987, зиёда аз даҳ забони барномасозии ғайримуқаррарӣ ва сирф функсионалӣ вуҷуд дошт. . Аз инҳо, Миранда васеъ истифодашаванда буд, аммо нармафзори хусусӣ буд. Дар конфронс оид ба забонҳои функсионалии барномасозӣ ва меъмории компютерӣ дар Портленд, Орегон вохӯрӣ баргузор шуд, ки дар рафти он иштирокчиён як консенсуси қавӣ ба даст оварданд, ки барои муайян кардани стандарти кушод барои чунин забонҳо кумита бояд таъсис дода шавад. Ҳадафи кумита муттаҳид кардани забонҳои функсионалии мавҷуда ба як забон буд, ки барои таҳқиқоти оянда дар тарҳрезии забонҳои функсионалӣ асос хоҳад буд. Ин забони сирф функсионалӣ аст, ки маънои онро дорад, ки дар маҷмӯъ, функсияҳо дар Ҳаскелл таъсири тараф надоранд. Барои ифодаи таъсири тараф як сохтори алоҳида мавҷуд аст, ки ба намуди функсияҳо ортогоналӣ мебошад. Функсияи пок метавонад таъсири тараферо баргардонад, ки баъдан иҷро мешавад ва моделсозии функсияҳои нопоки забонҳои дигар. Ҳаскелл дорои системаи қавӣ ва статикӣ дар асоси хулосаи навъи HindleyMilner мебошад. Навоварии асосии Ҳаскелл дар ин соҳа илова кардани синфҳои типӣ мебошад, ки дар аввал ҳамчун роҳи принсипиалии илова кардани изофаборкунӣ ба забон тарҳрезӣ шуда буданд, вале аз он вақт боз истифодаҳои зиёде пайдо кардаанд. Сохтмоне, ки таъсири тарафро ифода мекунад, намунаи монад аст. Монадҳо як чаҳорчӯбаи умумӣ мебошанд, ки метавонанд намудҳои гуногуни ҳисобкуниро модел созанд, аз ҷумла коркарди хатогиҳо, номуайянӣ, таҳлил ва хотираи транзаксионии нармафзор. Монадҳо ҳамчун намудҳои оддии додаҳо муайян карда мешаванд, аммо Ҳаскелл барои истифодаи онҳо қанди синтаксисиро пешкаш мекунад. Забон дорои мушаххасоти кушода, нашршуда ва татбиқи сершумор вуҷуд дорад. Дар атрофи ин забон як ҷомеаи фаъол мавҷуд аст ва зиёда аз 5400 китобхонаҳо ва абзорҳои кушодаи тарафи сеюм дар анбори бастаи онлайни Hackage мавҷуданд. Амали асосии Haskell, GHC ҳам тарҷумон ва ҳам компилятори коди модарӣ мебошад, ки кор мекунад дар аксари платформаҳо. GHC барои татбиқи баландсифати конкуррентӣ ва параллелизм ва дорои системаи ғании навъи дорои навовариҳои нав, ба монанди намудҳои умумии додаҳои алгебравӣ ва оилаҳои типҳо қайд карда мешавад.