McCarthy Programming Language

McCarthy is a simple, first-order functional programming language. The interpreter of this language is also called McCarthy. McCarthy is Turing-complete i.e. it can compute all Turing-computable functions on the integers. It is not suitable for general purpose programming as it offers only an elementary subset of the features found in general purpose programming languages, but it can serve as a model of computation. For more information refer to McCarthy's manual.
McCarthy is a free software project and the interpreter is written in OCaml.




Powered by Caml
Web hosting kindly offered by Logo