- Clean
-
Clean Семантика: Автор(ы): Software Technology Research Group of Radboud University Nijmegen
Типизация данных: Основные реализации: Clean
Испытал влияние: Lean
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию.
Характеристики языка
- Ленивые вычисления с возможностью отказа от них в целях оптимизации;
- Чистота;
- Использование функций высшего порядка;
- Строгая типизация по модели Хиндли — Милнера (что включает в себя: типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов);
- Модульность;
- Возможность использования библиотек ввода/вывода и создания графического интерфейса пользователя.
Синтаксис языка Clean незначительно отличается от синтаксиса языка Haskell. Главное отличие этих языков заключается в способе вычислений. Программы на языке Clean являются с точки зрения транслятора этого языка графами, для вычисления которых используется редукция графов.
Ссылки
- Официальный ресурс функционального языка программирования Clean — является рабочим сайтом для создателей языка, где они публикуют новые версии трансляторов, описания и учебники, библиотеки, а также направления исследований и приглашения к участию в них. Интересен проект по совмещению языков Clean и Haskell.
Основные языки программирования (сравнение • IDE • история • хронология) Используемые
в разработкеАда • APL • Язык ассемблера • ActionScript • ABAP/4 • AutoIt • AWK • Бейсик • Си • Кобол • C++ • C# • Cω • Clarion • Clojure • ColdFusion • Common Lisp • D • dBase • Delphi • Eiffel • Erlang • Euphoria • F# • Форт • Фортран • Gambas • Go • Groovy • HAL/S • Haskell • Icon • Java • JavaScript • Limbo • Lua • Модула-3 • Object Pascal • Objective-C • OCaml • Oz • Parser • Паскаль • Компонентный Паскаль • Perl • PHP • PowerBASIC • Python • ПЛ/1 • Пролог • Ruby • Scala • Scheme • Smalltalk • SQL • PL/SQL • Tcl • Vala • Visual Basic (.NET)
Академические IEC 61131-3 Instruction List • ST • FBD • Ladder Diagram (LD) • SFC
Прочие Эзотерические Визуальные Категории:- Языки программирования по алфавиту
- Языки программирования семейства Haskell
- Свободные компиляторы и интерпретаторы
Wikimedia Foundation. 2010.