Curry (Каррі) - вбудована мова програмування загального призначення. У Curry об'єднані дві парадигми декларативного програмування - функціональна і логічна. Більш того, в цій мові використані найважливіші операційні принципи подібних декларативних мов. Названа на честь американського ученого Гаскелла Каррі.
Curry | |
---|---|
Парадигма | функційне програмування, програмування в обмеженнях і логічне програмування |
Останній реліз | |
Система типізації | вивід типів, строга типізація і статична |
Під впливом від | Haskell і Пролог |
Вебсайт | curry-language.org |
Мова Каррі поєднує в собі можливості функціонального програмування (вкладені вирази, функції вищого порядку, ліниві обчислення), логічного програмування (логічні змінні, часткові структури даних, вбудована система пошуку) і методів програмування для паралельних систем (паралельне обчислення виразів з синхронізацією). Більше того мова Каррі надає додаткові механізми в порівнянні з чистими мовами проґрамування (у порівнянні з функціональними мовами - пошук і обчислення за неповними даними, в порівнянні з логічними мовами - ефективніший механізм обчислень завдяки детермінізму і викликом за необхідністю для функцій).
Див. також
Посилання
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Curry Karri vbudovana mova programuvannya zagalnogo priznachennya U Curry ob yednani dvi paradigmi deklarativnogo programuvannya funkcionalna i logichna Bilsh togo v cij movi vikoristani najvazhlivishi operacijni principi podibnih deklarativnih mov Nazvana na chest amerikanskogo uchenogo Gaskella Karri CurryParadigmafunkcijne programuvannya programuvannya v obmezhennyah i logichne programuvannyaOstannij relizSistema tipizaciyivivid tipiv stroga tipizaciya i statichnaPid vplivom vidHaskell i PrologVebsajtcurry language org Mova Karri poyednuye v sobi mozhlivosti funkcionalnogo programuvannya vkladeni virazi funkciyi vishogo poryadku linivi obchislennya logichnogo programuvannya logichni zminni chastkovi strukturi danih vbudovana sistema poshuku i metodiv programuvannya dlya paralelnih sistem paralelne obchislennya viraziv z sinhronizaciyeyu Bilshe togo mova Karri nadaye dodatkovi mehanizmi v porivnyanni z chistimi movami programuvannya u porivnyanni z funkcionalnimi movami poshuk i obchislennya za nepovnimi danimi v porivnyanni z logichnimi movami efektivnishij mehanizm obchislen zavdyaki determinizmu i viklikom za neobhidnistyu dlya funkcij Div takozhPredmetno oriyentovana mova programuvannya Ob yektno oriyentovane programuvannya Strukturne programuvannyaPosilannya