Languages
- 82
- A++
- Language made to help students quickly and thoroughly understand essentials of programming, acquire powerful pattern recognition skills that can be applied in most programming languages; based on the Lambda Calculus.
- 83
- CDuce
- An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation.
- 84
- Cat
- Functional stack-based language inspired by Joy; main differences: Cat has static typing with type inferencing (like ML, Haskell), and term rewriting macro language extension language, MetaCat. Open-source, public domain.
- 85
- 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).
- 86
- 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.
- 87
- FAQ for comp.lang.functional
- Offers documentation as a frequently asked questions list. Also provides links to general topic, technical and other resources.
- 88
- 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.
- 89
- Functional programming for the JVM
- A framework integrating major concepts from functional programming into the Java Platform.
- 90
- Lemon
- Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.
- 92
- PLAN: A Packet Language for Active Networks
- Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Project. Descriptions, documents, downloads, contacts, links.
- 93
- Q Equational Programming Language
- An extensible functional programming language based on the term rewriting calculus.
- 94
- Readscheme.org - Resources for Functional Programming
- A variety of research resources on functional programming languages, implementation, and applications of functional programming languages.
- 96
- Scala Programming Language
- General purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way.