Claire (programming language) (original) (raw)
- 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: * 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. (en)
- dbr:SETL
- dbr:OPS5
- dbr:Lisp_(programming_language)
- dbr:ML_(programming_language)
- dbr:Smalltalk
- dbr:C_(programming_language)
- 2009-02-17 (xsd:date)
- 3.3.46
- http://trac.claire-language.com/cgi-bin/trac.cgi/raw-attachment/wiki/Papers/combi_set_search_rules_algo.pdf
- https://web.archive.org/web/20110607212054/http:/www.dcs.gla.ac.uk/~pat/cp4/claire/Claire_3.2.pdf
- https://web.archive.org/web/20111001163413/http:/www.claire-language.com/pub/trunk/xl/doc/claire.index.html
- 930956 (xsd:integer)
- 6313 (xsd:nonNegativeInteger)
- 930527961 (xsd:integer)
- dbr:Scala_(programming_language)
- dbr:Method_(computer_programming)
- dbr:Bouygues
- dbr:Application_software
- dbr:Deductive_language
- dbr:Permissive_free_software_licence
- dbc:Functional_languages
- dbc:Multi-paradigm_programming_languages
- dbr:Cross-platform
- dbr:SETL
- dbr:General-purpose_programming_language
- dbr:Object-oriented_programming
- dbr:OPS5
- dbr:Class_(computer_programming)
- dbr:Multi-paradigm_programming_language
- dbr:Constraint_programming
- dbr:Constraint_satisfaction
- dbr:Lisp_(programming_language)
- dbr:ML_(programming_language)
- dbr:Smalltalk
- dbr:Static_typing
- dbr:Functional_programming
- dbr:C++
- dbr:C_(programming_language)
- dbc:Object-oriented_programming_languages
- dbr:Data_modeling
- dbr:Web_application
- dbr:Logic_programming
- dbr:Dynamic_typing
- dbr:F_Sharp_(programming_language)
- dbr:Production_system_(computer_science)
- dbr:Java_(programming_language)
- dbr:Backtracking
- dbr:Thales_Group
- dbc:Experimental_programming_languages
- dbr:Syntax
- dbr:Higher-order_programming
- dbr:Reference_implementation
- dbr:OCaml
- dbr:Operating_system
- dbr:Reflection_(computer_programming)
- dbr:Search_algorithm
- dbr:Rollback_(data_management)
- dbr:Set_(abstract_data_type)
- dbr:Programming_language
- dbr:Event_condition_action
- dbr:Strongly_typed_programming_language
- dbr:Yves_Caseau
- dbr:First-class_object
- dbr:Polymorphism_in_object-oriented_programming
- dbr:Type_polymorphism
- InternetArchiveBot (en)
- August 2017 (en)
- yes (en)
- Claire , WebClaire (en)
- Smalltalk, SETL, OPS5, Lisp, ML, C, LORE, LAURE (en)
- 2009-02-17 (xsd:date)
- 3.300000 (xsd:double)
- Claire (en)
- multi-paradigm: functional, object-oriented , rule processing, reflective (en)
- strong, both static and dynamic (en)
- dbt:Dead_link
- dbt:Infobox_programming_language
- dbt:Multiple_issues
- dbt:No_footnotes
- dbt:Official_website
- dbt:Primary_sources
- dbt:Start_date
- dbt:Start_date_and_age
- dbc:Functional_languages
- dbc:Multi-paradigm_programming_languages
- dbc:Object-oriented_programming_languages
- dbc:Experimental_programming_languages
- owl:Thing
- dbo:Language
- schema:Language
- wikidata:Q315
- wikidata:Q9143
- yago:Abstraction100002137
- yago:ArtificialLanguage106894544
- yago:Communication100033020
- yago:Language106282651
- yago:ProgrammingLanguage106898352
- yago:WikicatFunctionalLanguages
- dbo:ProgrammingLanguage
- 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. (en)
- Claire (programming language) (en)
- freebase:Claire (programming language)
- wikidata:Claire (programming language)
- https://global.dbpedia.org/id/4i21T
- yago-res:Claire (programming language)
- Claire (en)
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
- dbr:List_of_C-family_programming_languages
- dbr:List_of_programming_languages
- dbr:List_of_programming_languages_by_type
- dbr:Comparison_of_multi-paradigm_programming_languages
- dbr:Comparison_of_programming_languages_by_type_system
- dbr:Timeline_of_programming_languages
- dbr:Clair
- dbr:Claire_programming_language
- dbr:Set_theoretic_programming
- dbr:History_of_software
- dbr:Claire_Programming_Language
is foaf:primaryTopic of