| Paradigms | purely functional programming, functional programming |
|---|---|
| Typing discipline | dynamic typing, uniqueness typing, strong typing |
| First appeared | 1987 |
| Type | purely functional programming language, programming language, non-strict programming language |
| License | GNU Lesser General Public License |
| Latest version | 3.1 |
| Website | clean.cs.ru.nl |
Sources: Wikidata (CC0) · Wikidata Q377986
Programming languages · 2
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| Haskell | functional programming, purely functional programming, non-strict programming | 1990 | Paul Hudak, Philip Wadler, Erik Meijer, John Hughes, Lennart Augustsson, Simon Peyton Jones |
| Idris | purely functional programming, functional programming, total functional programming | 2007 | — |