Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.1 din 2001  
         
  Articol:   PURELY FUNCŢIONAL PROGRAMMING AND THE OBJECT-ORIENTED INHERITANCE AND POLYMORPHISM.

Autori:  LEHEL KOVÁCS, GÁBOR LEGRÁDI, ZOLTÁN CSORNYEI. 		 
       
         
  Rezumat:  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.  
         
     
         
         
      Revenire la pagina precedentă