Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon


CLAIRE - Programming language

< >

CLAIRE is a programming language created in 2004 by Yves Caseau.

#1782on PLDB 19Years Old 65Users
0Books 0Papers

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...

Example from Wikipedia:
fib(n:integer)聽: integer -> (if (n < 2) 1 else fib(n - 1) + fib(n - 2))
miva.html 路 claire.html 路 rebeca-modeling-language.html

View source

- Build the next great programming language Search v2023 Day 205 Docs Acknowledgements Traffic Traffic Today Mirrors GitHub