CLAIRE is a programming language created in 2004 by Yves Caseau.
|#1782on PLDB||19Years Old||65Users|
Claire is a high-level functional and object-oriented programming language with rule processing abilities. It was designed by Yves Caseau at Bouygues' e-Lab research laboratory, and received its final definition in 2004. Claire provides: a simple object system with parametric classes and methods polymorphic and parametric functional programming production rules triggered by events versioned snapshots of the state of the whole system, or any part, supporting rollback and easy exploration of search spaces explicit relations between entities; for example, two entities might be declared inverses of one another first-class sets with convenient syntax for set-based programming an expressive set-based type system allowing both second-order static and dynamic typingClaire's reference implementation, consisting of an interpreter and compiler, was fully open-sourced with the release of version 3.3.46 in February 2009. Read more on Wikipedia...
fib(n:integer) : integer -> (if (n < 2) 1 else fib(n - 1) + fib(n - 2))