Editing Claire (programming language) (section)

{{Multiple issues|
{{Primary sources|date=February 2018}}
{{No footnotes|date=December 2019}}
}}
{{Infobox programming language
| name = Claire
| paradigm = [[Multi-paradigm programming language|multi-paradigm]]: [[Functional programming|functional]], [[Object-oriented programming|object-oriented]] ([[Class (computer programming)|class-based]]), [[Production system (computer science)|rule processing]], [[Reflective programming|reflective]]
| designer = Yves Caseau
| released = {{Start date and age|1994}}
| latest release version = 3.3.46
| latest release date = {{Start date and age|2009|02|17}}
| typing = [[Strong and weak typing|strong]], both [[static typing|static]] and [[dynamic typing|dynamic]]
| operating system = [[Cross-platform]]
| license = [[Apache License|Apache]] 2.0
| file ext = <code>.cl</code>
| implementations = Claire ([[reference implementation]]), WebClaire
| influenced by  = [[Smalltalk]], [[SETL]], [[OPS5]], [[Lisp (programming language)|Lisp]], [[ML (programming language)|ML]], [[C (programming language)|C]], LORE, LAURE
}}
'''Claire''' is a high-level [[Functional programming|functional]] and [[Object-oriented programming|object-oriented]] [[programming language]] with [[Production system (computer science)|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 [[Polymorphism (computer science)#Parametric polymorphism|parametric]] [[Class (computer programming)|classes]] and [[Method (computer programming)|methods]]
*[[Polymorphism (computer science)|Polymorphic and parametric]] functional programming
*[[Production system (computer science)|Production rules]] triggered by [[event condition action|events]]
*Versioned snapshots of the state of the whole system, or any part, supporting [[Rollback (data management)|rollback]] and easy exploration of [[Search algorithm|search spaces]]
*Explicit relations between entities; for example, two entities might be declared inverses of one another
*[[First-class object|First-class]] [[set (abstract data type)|sets]] with convenient [[Syntax (programming languages)|syntax]] for set-based programming
*An expressive set-based type system allowing both [[Higher-order programming|second-order]] [[Static typing|static]] and [[Dynamic typing|dynamic]] typing

Claire's [[reference implementation]], consisting of an interpreter and compiler, was fully [[Free and open-source software|open-sourced]] with the release of version 3.3.46 in February 2009. Another implementation, WebClaire, is supported [[Commercial software|commercially]].

Claire has, since 2022, a new reference version, CLAIRE4, which is written on the [[Go (programming language)|Go language]]. It has a [https://sites.google.com/view/claire4/home new website] with documentations and examples, together with a [https://github.com/ycaseau/CLAIRE4 Github] open source repository.