Clean

Download CleanFrom CleanJump to:navigation, searchClean is available for #Windows (32 and 64 bit), #Linux (32 and 64 bit (amd64 and ARM)) and #Mac OS X (64 bit only).
The latest stable release is Clean 3.1. The use of development releases is required for iTasks.
Clean 3.1 License
Clean 3.1 (Stable)
Clean 3.1 with IDE and libraries (Intel, 32bit)
Clean_3.1_32.zip - Clean_3.1_32.7z
Clean 3.1 with IDE and libraries (Intel, 64bit)
Clean_3.1_64.zip - Clean_3.1_64.7z
Clean 3.1 with libraries (Intel, 32bit)
clean3.1_32.tar.gz
Clean 3.1 with libraries (Intel, 64bit)
clean3.1_64.tar.gz
Clean 3.1 with libraries (ARM, 64bit)
clean3.1_64_arm.tar.gz
Clean 3.1 with libraries (Intel, 64bit)
clean3.1.zip
Clean3.1Sources.zip - Clean3.1Sources.7z
Clean3.1Sources.tar.gz
clean3.1_32_boot.tar.gz
(省略されました)

Download CleanFrom CleanJump to:navigation, searchClean is available for #Windows (32 and 64 bit), #Linux (32 and 64 bit) and #Mac OS X (64 bit only).
The latest stable release is Clean 3.0. The use of development releases is required for iTasks.
Using clean on Linux and MacOS is a bit different than on Windows (*NIX Instructions).
Clean 3.0 License
Clean is available under the Simplified BSD License.
Clean and iTasks (Development)
All nightly builds are available from: https://ftp.cs.ru.nl/Clean/builds.
At this moment the following packages are available:
clean-bundle-itasks-*: The most recent packaging of clean with everything that's needed to build iTasks applications included. These packages are only built for linux-x64, windows-x86 and macos-x64.
clean-classic-*: A 'classic' clean distribution similar to the 2.4 release and older. This package is built for linux (x86 and x64), windows (x86 and x64) and macos (x64).
Beside the bundles, we are also packaging individual components (libraries and/or tools).
If you want to get started with clean and iTasks quickly you can just download one of the following packages:
Windows (64 bit)
clean-bundle-complete-windows-x64-latest.zip
Windows (32 bit)
clean-bundle-complete-windows-x86-latest.zip
Linux (64 bit)
clean-bundle-complete-linux-x64-latest.tgz
Mac OS X (64 bit)
(省略されました)

Download Clean
From Clean
Jump to: navigation, search
Clean is available for #Windows (32 and 64 bit), #Linux (32 and 64 bit) and #Mac OS X (64 bit only).
The latest stable release is Clean 2.4.
Clean 2.4 License
Clean is available under a dual license. Users can choose which of these two
licenses they wish to operate under:
The Simplified BSD License applies to the libraries, runtime system and examples, the LGPL to the rest.
A commercial license.
For details see the Clean License Conditions
Windows
Latest stable release
Clean 2.4 with IDE and libraries (Intel, 32bit)
Clean_2.4.zip - Clean_2.4.7z
Clean 2.4 with IDE and libraries (Intel, 64bit)
Clean_2.4_64.zip - Clean_2.4_64.7z
Linux
Latest stable release
(省略されました)

Clean 2.2
The Clean 2.2 system is available for Windows, MacOS X, Linux and Solaris. Now also available for 64 bit Windows and Linux.
Sparkle is a proof tool specially constructed for Clean. The tool knows the Clean syntax and semantics. It comes with a rich set of proof
tactics and a powerful hint mechanism to aid the user in proving properties of Clean programs. Sparkle homepage
The Clean type system combines the best of two worlds: static typing in the best functional tradition, and dynamic typing. Static types can
be converted to dynamic types and vice versa in a type safe way. With dynamics you can exchange code and data in a flexible and type-safe way between Clean applications.  
Marco Kesseler maintains a
wish list for Clean. Please feel free to discuss these and your wishes. 
 
Japanese locale
 
Lethevert has made a localized
Japanese version of the Clean system.We include the link with his kind permission.
Clean is a spin-off of the research performed by the Software Technology department. Read all about our current research projects
showing you what the future of Clean will be.Many new ideas both on the theoretical and practical level are explained in the scientific papers written by members of our group. 
Peter Divi疣szky, E?tv?s Lor疣d University, Haskell-Clean compiler
Last Update: 18 December 2006 

Clean 2.1.1
The Clean 2.1.1 system is available for Windows, MacOS X, Linux and Solaris. Bug fixes and new features:
Libraries for Windows: GAST, GECs, Hilde, Parser
Foreign exports
Improved redirected standard input/output
Let in comprehensions
Code generator optimisations
 
Download Clean
Download the latest Clean System.
Clean can be used free of charge under the LGPL license conditions. We have also a commercial license (see license conditions). The main platforms we support are Windows and Macintosh. We also have a version for Linux (PC) and
Sun. 
We do our best to make Clean as good as possible.Help us to further improve the system and provide us with feedback (clean@cs.ru.nl). 
Clean and Haskell
There are a couple of projects that combine Clean with
Haskell:
Matthew Naylor, University of York,  Hacle project. Compiles Haskell to Clean
Peter Divi疣szky, Ev Lor疣d University, Haskell-Clean compiler
Last Update: 31 May 2005 

差分がありません