Clean

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.

Clean is available for the Windows, Linux, and MacOS operating systems.

About Read 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.

Learning Learn how to use Clean by reading the tutorials, articles, or scientific publications about Clean.

Libraries Check out the official libraries released together with Clean and the community libraries developed for Clean.

Community Find out what is going on in the Clean community by joining our mailing lists, checking out the projects that use Clean, or reading the wishlist of Clean features.