Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

Clean



Clean
Clean logo.jpg
Семантика:

функціональний

Автор (и):

Software Technology Research Group of Radboud University Nijmegen

Типізація даних :

сувора

Основні реалізації:

Clean

Випробував вплив:

Lean

Clean - чистий функціональна мова програмування, що підтримує основні принципи парадигми функціонального програмування. Для обчислень використовує традиційні математичні способи виведення значень - уніфіковану підстановку і математичну індукцію.


Характеристики мови

Синтаксис мови Clean незначно відрізняється від синтаксису мови Haskell. Головна відмінність цих мов полягає в способі обчислень. Програми на мові Clean є з точки зору транслятора цього мови графами, для обчислення яких використовується редукція графів.



Цей текст може містити помилки.

Схожі роботи | скачати
© Усі права захищені
написати до нас