Directory: Top/Computers/Programming/Languages/Functional

Top / Computers / Programming / Languages / Functional /

Hope
A small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions.
http://www.soi.city.ac.uk/~ross/Hope/
City.ac.uk ~ Site Info Whois Trace Route RBL Check

Functional Programming
Claus Reinke's , well organized bookmarks on FP.
http://www.cs.kent.ac.uk/people/staff/cr3/FP/
Kent.ac.uk ~ Site Info Whois Trace Route RBL Check

FISh
A novel functional language that claims to be faster than C in some cases.
http://linus.socs.uts.edu.au/~cbj/FISh/
Uts.edu.au ~ Site Info Whois Trace Route RBL Check

Functional Programming in the Real World
Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages: Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML.
http://homepages.inf.ed.ac.uk/wadler/realworld/
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

Wadler: Monads
Information on monads and functional programming
http://homepages.inf.ed.ac.uk/wadler/topics/monads.html
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

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
http://pll.cpsc.ucalgary.ca/charity1/www/home.html
Ucalgary.ca ~ Site Info Whois Trace Route RBL Check

Afnix Programming Language
A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic pro
http://www.afnix.org/
Afnix.org ~ Site Info Whois Trace Route RBL Check

CDuce
An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation.
http://www.cduce.org
Cduce.org ~ Site Info Whois Trace Route RBL Check

Wikipedia: Functional Programming
Encyclopdia article including a definition, comparison, history, and examples.
http://en.wikipedia.org/wiki/Functional_programming
Wikipedia.org ~ Site Info Whois Trace Route RBL Check

NESL: A Parallel Programming Language
Parallel functional language developed at Carnegie Mellon, SCandAL project. Most important new ideas: nested data parallelism, language based performance model.
http://www.cs.cmu.edu/~scandal/nesl.html
Cmu.edu ~ Site Info Whois Trace Route RBL Check