Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Clean
| Clean | |
|---|---|
 | |
| Семантика | функциональный |
| Класс языка | чистый функциональный язык программирования[вд], язык программирования и non-strict programming language[вд] |
| Появился в | 1987 |
| Автор | Software Technology Research Group of Radboud University Nijmegen |
| Выпуск | 3.1 (5 января 2022) |
| Система типов | строгая |
| Основные реализации | Clean |
| Испытал влияние | Lean |
| Лицензия | GNU LGPL |
| Сайт | clean.cs.ru.nl (англ.) |
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию.
Previous Page Next Page
