category: functional languages

---

Description:	Functional languages are a class of languages which have their roots in the lambda calculus and are designed to reflect the way people think mathematically.

Click here to follow all links at once

tool: ?

archive: ?

language: ALLOY

language/tool: Bigloo / Camloo

tool: CAML

language/tool: Caml / Caml Light

tool: Chalmers Haskell (aka Haskell B.)

language/tool: Concurrent Clean / The Concurrent Clean System

language: Concurrent ML

language/tool: FP / funcproglang

tool: Glasgow Haskell Compiler (GHC)

language: Gofer

• tool: Gofer
• tool: Ratatosk (?)

language/tool: Haskell / Yale Haskell

language: ifp

language/tool: LIFE / Wild_LIFE

tool: LML

tool: MLton

tool: Moscow ML

tool: New SML-Yacc and SML-Lex

language/tool: OPAL / ocs

language: pfl

language: SASL

• tool: saolc
• tool: Tim Budd's C++ implementation of Kamin's interpreters

language/tool: SISAL 1.2 / The Optimizing SISAL Compiler

tool: SML/NJ (Standard ML of New Jersey)

language: Standard ML

• tool: sml2c
• tool: The ML Kit

language: es