Zusammenfassung
Das objektorientierte und das funktionale Programmierparadigma bieten natürliche Lösungen für unterschiedliche Arten von Programmieraufgaben and sollen daher kombiniert werden. Die bisherigen Ansätze scheinen nicht besonders erfolgreich zu sein. Die objektorientierte funktionale Sprache TOFL stellt einen neuen Versuch für bessere Konzepte dar. Sie unterstützt Objekte, Klassen, Vererbung, Methodenüberschreiben and dynamisches Binden wie in der objektorientierten Sprache Eiffel, and algebraische Datentypen, Funktionen höherer Ordnung and Typinferenz wie in der funktionalen Sprache ML. Außerdem führt sie ein neues Konzept von statisch typsicheren binären Methoden ein. Dieses Papier beschreibt den konkreten Sprachentwurf and eine prototypische Implementierung.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D. Bobrow, L. DeMichiel, R. Gabriel, S. Keene, G. Kiczales, and D. Moon. Common List Object System Specification. SIGPLAN Notice, 23, 1988
K. Bruce. Typing in object—oriented languages: Achieving expressibility and safety. Computing Surveys, 1997 To apear.
K. Bruce, L. Cardelli, G. Castagna, G. L. The Hopkins Object Group, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3), 1996
P. Canning, W. Cook, W. Hill, Mitchell, and W. Olthoff. F—bounded polymorphism for object—oriented programming. In Proc. Functional Programming Languages and Computer Architecture, pages 273–280, 1989.
L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76: 130–164, 1988.
L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17 (4): 471–522, 1985.
W. Cook. A proposal for making eiffel type-safe. In Proc. European Conf. on Objectoriented Programming, 1989.
R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Proc. 22nd ACM Symp. Principles of Programming Languages pages 130–;141, 1995.
M. Hoang and J. Mitchell. Lower bounds on type inference with subtypes. In Proc. 22nd ACM Symp. Principles of Programming Languages pages 176–185, 1995
J. Hughes and J. Sparud. Haskell++: An object-oriented extension of haskell. In Proc. 1995 Workshop on Haskell, 1995
K. Laufer. Combining type classes and existential types. In Proc. Latin American Informatics Conference (PANEL) ITESM-CEM, Mexico, Sept. 1994
K. Laufer and M. Odersky. Polymorphic type inference and abstract data types. ACM Transactions on Programming Languages and Systems, 1994
C. Lecluse, P. Richard, and F. Velez. 02, an object—oriented data model. In Proc. ACM SIGMOD Conference. ACM New York, 1988
B. Meyer. Object—Oriented Software Construction Prentice Hall, 1988
J. Mitchell and G. Plotkin. Abstract types have existential type. ACM Trans. on Prog. Lang. and Sys, 10(3):475–502, 1988
M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. ,24th ACM Symp. Principles of Programming Languages pages 146–159, 1997
A. Ohori. A compilation method for ML—style polymorphic record calculi. In Proc. 19th ACM Symp. Principles of Programming Languages pages 154–165, 1992.
Z. Qian and B. AbdMoulah. Entwurf and prototypische implementierung einer objektorientierten funktionalen sprache. Technical report, FB Informatik, Universitat Bremen, 1997. http : //www . inf ormatik . uni—bremen . de/—gian/abs—tof lentwurf . html
Z. Qian and B. Krieg—Bruckner. Object—oriented functional programming and type reconstruction. In M. Haveraaen, O. Owe, and O.—J. Dahl, editors, Recent Trends in Data Type Specification pages 458–477 Springer—Verlag LNCS 1130, 1996
Z. Qian and B. Krieg—Bruckner. Object—oriented functional programming with late binding. In P. Cointe, editor, Proc. 10th European. Conf. on Object—Oriented Programming, pages 48–72. Springer—Verlag LNCS 1098, 1996. Long version as technical report FB Informatik, Universitat Bremen, March 1996
D. Remy and J. Vouillon. Objective ML: A simple object—oriented extension of ML. In Proc. 24th ACM Symp. Principles of Programming Languages, pages 40–53, 1997.
J. Reppy and J. Riecke. Classes in object ml via modules. In Proc. 1996 ACM SIGPLAN Conf. on Programming Language Design and Implementation — SIGPLAN Notices Vol. 31, No. 5 pages 171–;180, May 1996
J. Reppy and J. Riecke. Classes in object ml via modules. Technical report, 1996. Presented at the FOOL’3 workshop.
D. Stoutamire and S. Omohundro. Sather 1.1. Technical report, ICSI, Berkeley, 1996
P. Wadler and S. Blott. How to make ad—hoc polymorphism less ad hoc. In Proc. 16th ACM Symp. Principles of Programming Languages, pages 60–76, 1989
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Qian, Z., Moulah, B.A. (1997). Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache. In: Jarke, M., Pasedach, K., Pohl, K. (eds) Informatik ’97 Informatik als Innovationsmotor. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60831-5_81
Download citation
DOI: https://doi.org/10.1007/978-3-642-60831-5_81
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63066-1
Online ISBN: 978-3-642-60831-5
eBook Packages: Springer Book Archive