Curry

Curry (Каррі) - вбудована мова проґрамування загального призначення. У Curry об'єднані дві парадигми декларативного проґрамування - функціональна і лоґічна. Більш того, в цій мові використані найбільш важливі операційні принципи подібних декларативних мов. Названа на честь американського ученого Гаскелла Каррі.

Curry
Парадигма Функційне програмування, мультипарадигмальне програмуванняd, purely functional programmingd і логічне програмування
Система типізації вивід типів, строга типізаціяd і статичнаd
Під впливом від Haskell
Вебсайт curry-language.org

Мова Каррі поєднує в собі можливості функціонального програмування (вкладені вирази, функції вищого порядку, ліниві обчислення), лоґічного програмування (лоґічні змінні, часткові структури даних, вбудована система пошуку) і методів проґрамування для паралельних систем (паралельне обчислення виразів з синхронізацією). Більше того мова Каррі надає додаткові механізми в порівнянні з чистими мовами проґрамування (у порівнянні з функціональними мовами - пошук і обчислення за неповними даними, в порівнянні з лоґічними мовами - більш ефективний механізм обчислень завдяки детермінізму і викликом за необхідністю для функцій).

Див. також

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.