Clean

Clean

Семантика:	функциональный
Автор(ы):	Software Technology Research Group of Radboud University Nijmegen
Типизация данных:	строгая
Основные реализации:	Clean
Испытал влияние:	Lean

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

Характеристики языка

• Ленивые вычисления с возможностью отказа от них в целях оптимизации;
• Чистота;
• Использование функций высшего порядка;
• Строгая типизация по модели Хиндли — Милнера (что включает в себя: типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов);
• Модульность;
• Возможность использования библиотек ввода/вывода и создания графического интерфейса пользователя.

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

Ссылки

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