background preloader

Functional

Facebook Twitter

Caml light. Overview Caml Light is a lightweight, portable implementation of the Caml language. that runs on most Unix machines, as well as PC under Microsoft Windows. Because of its stable status, it is actively used in education. For most other uses, we recommend switching to its successor OCaml. Caml Light is implemented as a bytecode compiler, and fully bootstrapped. The runtime system and bytecode interpreter is written in standard C, hence Caml Light is easy to port to almost any 32 or 64 bit platform. The whole system is quite small: about 100K for the runtime system, and another 100K of bytecode for the compiler. Two megabytes of memory is enough to recompile the whole system. Availability The Caml Light system is open source software, please read its license for more details. Moscow ml. Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Version 2.01 implements the full SML language, including SML Modules, and much of the SML Basis Library. Latest news: 1 October 2013: Moscow ML 2.10 was released recently at It complies better with the published SML Standard Library, should be easier to install on modern operating systems, and supports dynamic linking with C code on a wide range of platforms. 5 March 2008: Due to a change in GNU malloc, Moscow ML may crash on 64 bit architectures as well as on those 32 bit architectures that use glibc 2.7. As simple fix for this problem is to use this version of mosml/src/runtime/gc_ctrl.c, which prevents malloc() from using mmap().

Moscow ML 2.10 Moscow 2.10 and future versions live at Moscow ML 2.01 Moscow ML documentation Valid for release 2.00 and 2.01. Other on-line Standard ML resources Other Standard ML implementations. Mlkit. Hugs 98. Racket (scheme) Scheme48. Guile. What is Guile? What can it do for you? Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system. Guile is a library designed to help programmers create flexible applications. Using Guile in an application allows the application's functionality to be extended by users or other programmers with plug-ins, modules, or scripts. Guile provides what might be described as "practical software freedom," making it possible for users to customize an application to meet their needs without digging into the application's internals. There is a long list of proven applications that employ extension languages.

Guile is a programming language Guile is an interpreter and compiler for the Scheme programming language, a clean and elegant dialect of Lisp. Guile is an extension language platform Guile gives your programs more power Using Guile with your program makes it more usable. The current stable release is 2.0.11. Clisp. Cmucl. CMUCL is a free implementation of the Common Lisp programming language which runs on most major Unix platforms. It mainly conforms to the ANSI Common Lisp standard. Here is a summary of its main features: Support for static arrays that are never moved by GC but are properly removed when no longer referenced.

Unicode support, including many of the most common external formats such as UTF-8 and support for handling Unix, DOS, and Mac end-of-line schemes. Native double-double floats including complex double-double floats and specialized arrays for double-double floats and and complex double-double floats that give approximately 106 bits (32 digits) of precision. A sophisticated native-code compiler which is capable of powerful type inferences, and generates code competitive in speed with C compilers. Generational garbage collection and multiprocessing capability on the x86 ports. Latest News For the most up-to-date info and news, see CMUCL Trac. CMUCL 20e released. Erlang. Ocaml.