ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry

DOI10.1007/3-540-45361-X_6MaRDI QIDQ2763381zbMATH OpenFDO

Authors Michael Hanus, Frank Huch, Philipp Niederau

Publication date 15 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2011/20110089

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Review text

Curry combines the concepts of functional, logic and concurrent programming languages. Concurrent programming with ports allows the modeling of objects in Curry similar to object-oriented programming languages. In this paper, we present ObjectCurry, a conservative extension of Curry. ObjectCurry allows the direct definition of templates which play the role of classes in conventional object-oriented languages. Objects are instances of a template. An object owns a state and reacts when it receives a message-usually by sending messages to other objects or a transformation of its state. ObjectCurry also provides inheritance between templates. Furthermore, we show how programs can be translated from ObjectCurry into Curry by exploiting the concurrency and distribution features of Curry. To implement inheritance, we extend the type system of Curry, which is based on parametric polymorphism, to include subtyping for objects and messages. For the entire collection see [Zbl 0977.68824].

Recommendations

• Functional Logic Programming: From Theory to Curry
• Compiling multi-paradigm declarative programs into Prolog
• scientific article; zbMATH DE number 4209572
• Concurrent object-oriented programs: from specification to code.
• scientific article; zbMATH DE number 1094618

Cited in

(4)

• ObjectCurry
• Towards translating embedded Curry to C
• Functional Logic Programming: From Theory to Curry
• A declarative framework for object-oriented programming with genetic inheritance

Describes a project that uses

Uses Software

• Oz
• OCaml
• Curry

This page was built for publication: ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763381)