Extensible syntax programming languages

functional programming language based on the lambda calculus

dialect of the Lisp programming language

OCaml ( , formerly Objective Caml) is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others.

Clojure (, like closure) is a dynamic and functional dialect of the programming language Lisp on the Java platform.

programming language

ANSI-standardized dialect of Lisp

multi-paradigm programming language with support for functional and object-oriented programming

Rebol ( ; historically REBOL) is a cross-platform data exchange language and a multi-paradigm dynamic programming language designed by Carl Sassenrath for network communications and distributed computing. It introduces the concept of dialecting: small, optimized, domain-specific languages for code and data, which is also the most notable property of the language according to its designer Carl Sassenrath:

functional and contractual programming language, with strong, dynamic and reflective typing, derived from Scheme

In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of formal description of a programming language and machine.

thumb|300x300px|An interactive proof session in CoqIDE, showing the proof script on the left and the proof state on the right.

programming language

programming language

Seed7 is an extensible general-purpose programming language designed by Thomas Mertes. It is syntactically similar to Pascal and Ada. Along with many other features, it provides an extension mechanism. Seed7 supports introducing new syntax elements and their semantics into the language, and allows new language constructs to be defined and written in Seed7. For example, programmers can introduce syntax and semantics of new statements and user defined operator symbols. The implementation of Seed7 differs significantly from that of languages with hard-coded syntax and semantics.

programming language

programming mechanisms for extending the language, compiler and runtime environment

syntax extension and toolchain for OCaml