Functional Programming
Clear growing definition, comparison, history, examples, defense. [Wikipedia]
FISh
A novel functional language that claims to be faster than C in some cases.
FAQ for comp.lang.functional
Offers documentation as a frequently asked questions list. Also provides links to general topic, technical and other resources.
Eden
Parallel functional language to program reactive systems and parallel algorithms using distributed memory. Extends Haskell, but overrules lazy evaluation whenever needed to support parallelism.
Charity
Functional, categorical language, by University of Calgary, Canada. Innovative organization: based on theory of strong categorical datatypes divided into 2 subclasses: inductive (built up by constructors in the familiar way), and coinductive (broken down by destructors).
CDuce
An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation.
Cayenne
A Haskell-like language with a powerful type system based on dependent types.
BitC Language Specification
Compiled, garbage collected; merges ideas and syntax (impure s-expression) of functional languages (Lisp Sheme) with close hardware interaction of low-level languages (C). Emits C source code.
Arbol
Functional language developed mainly for Genetic Programming experiments. Inspired by ideas of other small, esoteric languages (Unlambda, Lazy K, Joy, Iota, Zot, ...), and pure functional Haskell.
Aldor
Functional language in which types are first class values. Normal functions returning types reproduce the features of template classes of other languages. Links to many projects around the world based on Aldor.
[ 1 ] [ 2 ] [ 3 ] [ 4 ]
|
