Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Claire (programming language)
open-in-new
<p>Claire is a high-level <a href="/facts/Functional_programming/cdxqPEIM">functional</a> and <a href="/facts/Object-oriented_programming/TxNMEcao">object-oriented</a> <a href="/facts/Programming_language/cWTYbgWa">programming language</a> with <a href="/facts/Production_system_(computer_science)/v8XkbgJJ">rule processing</a> abilities. It was designed by Yves Caseau at <a href="/facts/Bouygues/6JfNs0tc">Bouygues</a>' e-Lab research laboratory, and received its final definition in 2004. </p><p>Claire provides: </p> <ul><li>A simple <a href="/facts/Object_system/TxNMEcao">object system</a> with <a href="/facts/Polymorphism_(computer_science)/S3cCKsVT">parametric</a> <a href="/facts/Class_(computer_programming)/zvzkSAtE">classes</a> and <a href="/facts/Method_(computer_programming)/8kAXxVYs">methods</a></li> <li><a href="/facts/Polymorphism_(computer_science)/S3cCKsVT">Polymorphic and parametric</a> functional programming</li> <li><a href="/facts/Production_system_(computer_science)/v8XkbgJJ">Production rules</a> triggered by <a href="/facts/Event_condition_action/aPeC57Kd">events</a></li> <li>Versioned snapshots of the state of the whole system, or any part, supporting <a href="/facts/Rollback_(data_management)/HNtToVYw">rollback</a> and easy exploration of <a href="/facts/Search_algorithm/eJuw0nyz">search spaces</a></li> <li>Explicit relations between entities; for example, two entities might be declared inverses of one another</li> <li><a href="/facts/First-class_object/N6tFtEUU">First-class</a> <a href="/facts/Set_(abstract_data_type)/ovoXUmF9">sets</a> with convenient <a href="/facts/Syntax_(programming_languages)/zM5oInza">syntax</a> for set-based programming</li> <li>An expressive set-based type system allowing both <a href="/facts/Higher-order_programming/hCEb4TY8">second-order</a> <a href="/facts/Static_typing/Tz0bAMS9">static</a> and <a href="/facts/Dynamic_typing/Tz0bAMS9">dynamic</a> typing</li></ul> <p>Claire's <a href="/facts/Reference_implementation/k9B97xel">reference implementation</a>, consisting of an interpreter and compiler, was fully <a href="/facts/Free_and_open-source_software/1cHtjLCB">open-sourced</a> with the release of version 3.3.46 in February 2009. Another implementation, WebClaire, is supported <a href="/facts/Commercial_software/WLgyRFMh">commercially</a>. </p><p>Claire has, since 2022, a new reference version, CLAIRE4, which is written on the <a href="/facts/Go_(programming_language)/oWlsmAFJ">Go language</a>. It has a <a href="https://sites.google.com/view/claire4/home">new website</a> with documentations and examples, together with a <a href="https://github.com/ycaseau/CLAIRE4">Github</a> open source repository. </p>