Kaleidoscope

The Kaleidoscope programming language is a constraint programming language embedding constraints into an imperative object-oriented language. It adds keywords always, once, and assert..during to make statements about relational invariants. Objects have constraint constructors, which are not methods, to enforce the meanings of user-defined datatypes. Wikipedia

Created Year: 1994

Wikidata: Q6351981

Programming paradigms: constraint programming • imperative programming • object-oriented programming • procedural programming

Language types: constraint programming language