The STUDIA UNIVERSITATIS BABEŞ-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

  
       
         
    STUDIA INFORMATICA - Issue no. 1 / 2001  
         
  Article:   PURELY FUNCŢIONAL PROGRAMMING AND THE OBJECT-ORIENTED INHERITANCE AND POLYMORPHISM.

Authors:  LEHEL KOVÁCS, GÁBOR LEGRÁDI, ZOLTÁN CSORNYEI. 		 
       
         
  Abstract:  According to the purely funcţional paradigm, the value of an expression depends only on the values of its subexpressions, if any. In this paper we introduce this principie in the object-oriented para- digm. The simplicity and power of funcţional languages is due to properties like pure values, first-class functions, and implicit storage management. We must extend these properties with a strong type-system. The values must be typed, the type system used for this purpose is the higher-order, explicitly-typed, polymorphic A-calculus with subtyping, called. This type-system must be prepared for basic mechanisms of object- oriented programming: encapsulation, message passing, subtyping and in- heritance. Polymorphic functions arise naturally when lists are manipulated and lists with elements of any types can be accomplished by a straightforward generalization of inheritance. Interesting questions are also, how to introduce the object- oriented inheritance, the subtyping mechanism and the object oriented polymorphism.  
         
     
         
         
      Back to previous page