Claire (programming language)

Claire is a high-level functional and object-oriented programming language with rule processing abilities. It was designed by at Bouygues' e-Lab research laboratory, and received its final definition in 2004. Claire provides: Claire's reference implementation, consisting of an interpreter and compiler, was fully open-sourced with the release of version 3.3.46 in February 2009. Another implementation, WebClaire, is commercially supported.

Bot
enInternetArchiveBot
Comment
enClaire is a high-level functional and object-oriented programming language with rule processing abilities. It was designed by at Bouygues' e-Lab research laboratory, and received its final definition in 2004. Claire provides: Claire's reference implementation, consisting of an interpreter and compiler, was fully open-sourced with the release of version 3.3.46 in February 2009. Another implementation, WebClaire, is commercially supported.
Date
enAugust 2017
Designer
Yves Caseau
Designer
Yves Caseau
FixAttempted
enyes
Has abstract
enClaire is a high-level functional and object-oriented programming language with rule processing abilities. It was designed by 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 typing Claire's reference implementation, consisting of an interpreter and compiler, was fully open-sourced with the release of version 3.3.46 in February 2009. Another implementation, WebClaire, is commercially supported.
Hypernym
Language
Implementations
enClaire , WebClaire
InfluencedBy
enSmalltalk, SETL, OPS5, Lisp, ML, C, LORE, LAURE
Influenced by
C (programming language)
Lisp (programming language)
ML (programming language)
OPS5
SETL
Smalltalk
Is primary topic of
Claire (programming language)
Label
enClaire (programming language)
LatestReleaseDate
17 February 2009
Latest release date
17 February 2009
LatestReleaseVersion
3.30
Latest release version
3.3.46
License
Permissive free software licence
License
Permissive free software licence
Link from a Wikipage to an external page
web.archive.org/web/20111001163413/http:/www.claire-language.com/pub/trunk/xl/doc/claire.index.html
web.archive.org/web/20110607212054/http:/www.dcs.gla.ac.uk/~pat/cp4/claire/Claire_3.2.pdf
trac.claire-language.com/cgi-bin/trac.cgi/raw-attachment/wiki/Papers/combi_set_search_rules_algo.pdf
Link from a Wikipage to another Wikipage
Application software
Backtracking
Bouygues
C (programming language)
C++
Category:Experimental programming languages
Category:Functional languages
Category:Multi-paradigm programming languages
Category:Object-oriented programming languages
Class (computer programming)
Constraint programming
Constraint satisfaction
Cross-platform
Data modeling
Deductive language
Dynamic typing
Event condition action
First-class object
F Sharp (programming language)
Functional programming
General-purpose programming language
Higher-order programming
Java (programming language)
Lisp (programming language)
Logic programming
Method (computer programming)
ML (programming language)
Multi-paradigm programming language
Object-oriented programming
OCaml
Operating system
OPS5
Permissive free software licence
Polymorphism in object-oriented programming
Production system (computer science)
Programming language
Reference implementation
Reflection (computer programming)
Rollback (data management)
Scala (programming language)
Search algorithm
Set (abstract data type)
SETL
Smalltalk
Static typing
Strongly typed programming language
Syntax
Thales Group
Type polymorphism
Web application
Yves Caseau
Name
enClaire
Name
enClaire
OperatingSystem
Cross-platform
Paradigm
enmulti-paradigm: functional, object-oriented , rule processing, reflective
SameAs
4i21T
Claire (programming language)
m.03r1wd
Q5125133
Subject
Category:Experimental programming languages
Category:Functional languages
Category:Multi-paradigm programming languages
Category:Object-oriented programming languages
Typing
enstrong, both static and dynamic
WasDerivedFrom
Claire (programming language)?oldid=930527961&ns=0
WikiPageLength
6313
Wikipage page ID
930956
Wikipage revision ID
930527961
WikiPageUsesTemplate
Template:Dead link
Template:Infobox programming language
Template:Multiple issues
Template:No footnotes
Template:Official website
Template:Primary sources
Template:Start date
Template:Start date and age