Difference between revisions of "Clean"
Bas Lijnse (talk | contribs) m (Protected "Clean" [edit=sysop:move=sysop]) |
Bas Lijnse (talk | contribs) (Added some short info and links to the main topics on the wiki) |
||
| Line 1: | Line 1: | ||
| − | Welcome to the Clean Wiki! | + | Welcome to the '''Clean Wiki'''! |
| + | |||
| + | The programming language Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. | ||
| + | |||
| + | Clean is the only functional language in the world which offers uniqueness typing. This type system makes it possible in a pure functional language to incorporate destructive updates of arbitrary data structures (including arrays) and to make direct interfaces to the outside imperative world. The type system makes it possible to develop efficient applications. | ||
| + | |||
| + | {| style="width:100%; border:none" | ||
| + | |- | ||
| + | |style="width:33%; vertical-align: top; padding-right: 20px;"| | ||
| + | == About == | ||
| + | Read more about Clean on the official [http://clean.cs.ru.nl/ Clean homepage], find out where you can [http://clean.cs.ru.nl/Download/main/main.htm download Clean] or read more about the [[latest developments]] and [[upcoming events]]. | ||
| + | |style="width:33%; vertical-align: top; padding-right: 20px;"| | ||
| + | == Learning == | ||
| + | Learn how to use clean from the [[tutorials]], [[articles]] and scientific [[publications]] you can find on this wiki. | ||
| + | |style="width:33%; vertical-align: top; padding-right: 20px;"| | ||
| + | == Community == | ||
| + | Find out what is going on in the Clean community by joining our [[mailing lists]], or check out the [[projects]] that use Clean. | ||
| + | |} | ||
Revision as of 13:14, 22 February 2008
Welcome to the Clean Wiki!
The programming language Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications.
Clean is the only functional language in the world which offers uniqueness typing. This type system makes it possible in a pure functional language to incorporate destructive updates of arbitrary data structures (including arrays) and to make direct interfaces to the outside imperative world. The type system makes it possible to develop efficient applications.
AboutRead more about Clean on the official Clean homepage, find out where you can download Clean or read more about the latest developments and upcoming events. |
LearningLearn how to use clean from the tutorials, articles and scientific publications you can find on this wiki. |
CommunityFind out what is going on in the Clean community by joining our mailing lists, or check out the projects that use Clean. |
