Projects

GHC

Haskell is an advanced purely functional programming language. The product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency, debuggers, profilers, rich ... [More] libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software. GHC is a state-of-the-art, open source, compiler and interactive environment for Haskell. [Less]

Erlang

Erlang is a programming language designed at the Ericsson Computer Science Laboratory. Ericsson released the entire source code of the Erlang system including extensive libraries of code for building robust fault-tolerant distributed applications.

zhe

One can argue that while the trivial update problem causes trouble in Lisp and its relatives, it does not reflect an inherent weakness of functional programming per se. What is requited for a solution is a combination of convenient notation--to access arbitrary elements of a complex structure--and ... [More] an implementation that is able to determine when the old version of the structure will never be used again, so it can be updated in place instead of being copied. ~ Michael L. Scott, Programming Language Pragmatics S11.2 One final note: both of these models are more easily implemented using a functional programming style. Something as simple as immutable objects makes both local messaging and transactions much simpler and more efficient. It's funny how good practices pay off in ways we don't expect. ~ http://toomuchcode.blogspot.com/2007/04/imaginary-concurrency-debate.html Most functional programming languages are implemented using garbage collection, but while GC is effective for managing memory, it cannot give quick runtime information about usage. Zhe will use reference counting so that where persistence is unnecessary, operations can be implemented destructively. Other proposed features: Not purely functional, for I/O simplicity. Not curried, to allow overloaded functions. No sexpers, because infix and syntax is nice. Full runtime multiple dispatch. OO-reminiscent syntax, without the limitations [Less]

pifagor

Pifagor is a functional-dataflow parallel programming language developed for architecture-independent parallel programming. Hightlightsone-time assignment functional language uses lists, list operations, nested lists provides flexible methods for parallel programming ParallelismPifagor has several ... [More] methods to describe dynamic parallelism of an algorithm: dataflow parallelism massive parallelism - parallel lists asynchronous parallelism Program executionPrograms are intended to be designed for maximal parallelism (using as many resources as possible). The exact distribution of resources is determined by program execution system. [Less]