Clean
Материал из Википедии — свободной энциклопедии
 |
|
| Семантика: | |
|---|---|
| Автор(ы): |
Software Technology Research Group of Radboud University Nijmegen |
| Типизация данных: | |
| Основные реализации: |
Clean |
| Испытал влияние: | |
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию.
[править] Характеристики языка
- Ленивые вычисления с возможностью отказа от них в целях оптимизации;
- Чистота;
- Использование функций высшего порядка;
- Строгая типизация по модели Хиндли — Милнера (что включает в себя: типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов);
- Модульность;
- Возможность использования библиотек ввода/вывода и создания графического интерфейса пользователя.
Синтаксис языка Clean несильно отличается от синтаксиса языка Haskell. Главное отличие этих языков заключается в способе вычислений. Программы на языке Clean являются с точки зрения транслятора этого языка графами, для вычисления которых используется редукция графов.
[править] Ссылки
- Официальный ресурс функционального языка программирования Clean — является рабочим сайтом для создателей языка, где они публикуют новые версии трансляторов, описания и учебники, библиотеки, а также направления исследований и приглашения к участию в них. Интересен проект по совмещению языков Clean и Haskell.
|
|
|
|---|---|
| Используемые в разработке |
Ада • АПЛ • Ассемблер • ActionScript • ABAP/4 • AutoIt • AWK • BASIC • C • Кобол • C++ • C# • ColdFusion • D • dBase • Delphi • Erlang • Eiffel • Forth • Gambas • Фортран • Groovy • Haskell • Java • JavaScript • Icon • Limbo • Лисп • Lua • MATLAB • Object Pascal • Objective-C • Оберон • PowerBASIC • Parser • Паскаль • Perl • PHP • PureBasic • Python • ПЛ/1 • Пролог • Ruby • Tcl • Scheme • Smalltalk • SQL • Vala • Visual Basic • VB.NET |
| Академические | |
| IEC61131-3 |
Instruction List • ST • FBD • Ladder Diagram • SFC |
| Прочие | |
| Эзотерические | |
