functional
Get flash to fully experience Pearltrees
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.
caml light
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: Mar 5, 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 files Moscow ML documentation
moscow ml
Hugs 98 is a functional programming system based on Haskell 98 , the de facto standard for non-strict functional programming languages.
Hugs 98
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.
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.
Overview OCaml is the most popular variant of the Caml language . From a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference. The OCaml system is an industrial-strength implementation of this language, featuring a high-performance native-code compiler ( ocamlopt ) for 9 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well as a bytecode compiler ( ocamlc ) and an interactive read-eval-print loop ( ocaml ) for quick development and portability.