Abstract
This text provides an introduction to Tycoon1, an open persistent polymorphic programming environment. The Tycoon language TL is based on expressive and orthogonal naming, typing and binding concepts as they are required, for example, in advanced data-intensive applications. The characteristic language mechanisms of TL are first-class functions and modules, parametric and subtype polymorphism extended to a fully higher-order type system. Tycoon programs are statically typed but may include explicit dynamic type variables which can be inspected at run-time.
Tycoon: Typed Communicating Objects in Open Environments
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.
Similar content being viewed by others
References
M.P. Atkinson P. Buneman. Types and persistence in database programming languages. ACM Computing Surveys, 19(2), June 1987.
M.P. Atkinson, K.J. Chisholm, W.P. Cockshott. PS-algol: An algol with a persistent heap. ACM SIGPLAN Notices, 17(7), July 1981.
D.G. Bobrow, L.G. De Michiel, R.P. Gabriel, S.E. Keene, G. Kiczales, D.A. Moon. Common Lisp object system specification. ACM SIGPLANNotices, 23, September 1988.
L. Cardelli. Amber. In Combinators and Functional Programming Languages, volume 242 of Lecture Notes in Computer Science. Springer-Verlag, 1986
L. Cardelli . Typeful programming. Technical Report 45, Digital Equipment Corporation, Systems Research Center, Palo Alto, California, May 1989.
L. Cardelli. The Quest language and system (tracking draft). Technical report, Digital Equipment Corporation, Systems Research Center, Palo Alto, California, 1990. (Shipped as part of the Quest V. 12 system distribution.).
L. Cardelli, S. Martini, J.C. Mitchell, A. Scedrov. An extension of system F with subtyping. In T. Ito A.R. Meyer, editors, Theoretical Aspects of Computer Software, TAGS’9L volume 526 of Lecture Notes in Computer Science, pages 750–770. Springer-Verlag, 1991.
A.J. Field P.G. Harrison. Functional Programming. Addison-Wesley Publishing Company. 1988
A. Goldberg D. Robson. Smalltalk-80: The Language and its Implementation, Addison-Wesley Publishing Company, 1983
P. Hudak . Conception, evolution, and application ot functional programming languages
P. Hudak. Conception, evolution, and application ot functional programming languages.ACM Computing Surveys, 21(3):359–4U, September 1989
dIchbiah el al. The programming language Ada: Reference manual. Technical Report MIL-STD-1815A-1983, ANSI, 1983
ISO/IEC JTC1/SC22/WG13. Interim Version of the 4th Working Draft Modula-2 Standard. 1991
B.W. Kernighan and D.M. Ritchie. The C Programming Language. Prentice Hall, En-glewood Cliffs, New Jersey, 1977.
F. Matthes. Persistente Objektsysteme: Integrierte Datenbankentwicklung und Programmerstellung. Springer-Verlag, 1993. (In German.)
F. Matthes, R. Müller, and J.W. Schmidt. Object stores as servers in persistent programming environments - the P-Quest experience. FIDE Technical Report Series FIDE/92/48, FIDE Project Coordinator, Department of Computing Sciences, University of Glasgow, Glasgow Gl 28QQ, July 1992.
F. Matthes J.W. Schmidt. Towards database application systems: Types, kinds and other open invitations. In Proceedings of the Kiev East/West Workshop on Next Generation Database Technology, volume 504 of Lecture Notes in Computer Science. Springer-Verlag, April 1991. (Also appeared as TR FIDE/91/14.)a
F. Matthes J.W. Schmidt. System construction in the Tycoon environment: Architectures, interfaces and gateways. In PP. Spies, editor, Proceedings of Euro-Arch’93 Congresspages 301–317. Springer-Verlag, October 1993.
M. Mauny. Functional programming using CAML. Technical report, INRIA, Domaine de Voluceau, Rocquencourt 78153 Le Chesnay Cedex, France, September 1991
J. Minker. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, 1988.
R. Müller. Language processors and object stores: Interface design and implementation. Master’s thesis, Fachbereich Informatik, Johann Wolfgang Goethe-Universität, Frankfurt, Germany, November 1991. (In German).
G. Nelson, editor. Systems programming with Modula-3. Series in innovative technology. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
P. Rovner, R. Levin, J. Wick. On extending Modula-2 for building large, integrated systems. Technical Report 3, Digital Equipment Corporation, Systems Research Center, Palo Alto, California, January 1985
J.W. Schmidt F. Matthes. Language technology for post-relational data systems. In A. Blaser, editor, Database Systems of the 90s, volume 466 of Lecture Notes in Computer Science, pages 81–114. Springer-Verlag, November 1990.
D. Stemple, R.B. Stanton, T. Sheard, P. Philbrow, R. Morrison, G.N.C. Kirby, L. Fe-garas, R.L. Cooper, R.C.H. Connor, M.P. Atkinson, S. Alagic. Type-safe linguistic reflection: A generator technology. Research Report CS/92/6, University of St. Andrews, Department of Computing Science, July 1992
N. Wirth. The programming language Oberon. Technical report. Department Informatik, ETH Zürich, Switzerland, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Matthes, F. (2000). Higher-Order Persistent Polymorphic Programming in Tycoon. In: Atkinson, M.P., Welland, R. (eds) Fully Integrated Data Environments. Esprit Basic Research Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59623-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-59623-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64055-1
Online ISBN: 978-3-642-59623-0
eBook Packages: Springer Book Archive