Clean

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Clean
Clean logo.jpg
Семантика:

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

Автор(ы):

Software Technology Research Group of Radboud University Nijmegen

Система типов:

строгая

Основные реализации:

Clean

Испытал влияние:

Lean

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

Характеристики языка[править | править исходный текст]

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


Ссылки[править | править исходный текст]