The Design of Monty: a Programming/Scripting Language

  title={The Design of Monty: a Programming/Scripting Language},
  author={David A. Watt},
  journal={Electron. Notes Theor. Comput. Sci.},
  • D. Watt
  • Published 1 December 2005
  • Computer Science
  • Electron. Notes Theor. Comput. Sci.
1 Citations

Figures from this paper

Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut
Daruber hinaus sind weitere Konzepte in der gegenwartigen Fassung der Sprache noch nicht enthalten: lokale Typinferenz, Lambda-Funktionen, eingeschrankt generische Parameter and die explizite Verwendung of Mutability and Immutability.


Combinators and Functional Programming Languages
The Amber language embeds many recent ideas in programming language design, and tries to introduce all the features in their minimal, essential, form, and the combination of higher-order functions and multiple inheritance can be strongly typed.
Scripting: Higher-Level Programming for the 21st Century
This article explains why scripting languages will handle many of the programming tasks in the next century better than system programming languages.
Adding type parameterization to the Java language
This paper proposes parameterized classes and interfaces in which the type parameter may be constrained to either implement a given interface or extend a given class, without introducing any new type relations into the language.
Compatible genericity with run-time types for the Java programming language
This paper explains how to support general type parameterization---including both non-variant and covariant subtyping---on top of the existing Java Virtual Machine at the cost of a larger code footprint and the forwarding of some method calls involving parameterized classes and methods.
The World of Scripting Languages
The author explores the hottest languages being used on the Web and in software such as Microsoft Office, including Perl V, Tcl, World Basic, Java Script, Visual Basic, and VB Script.
Dynamic typing in a statically-typed language
This paper is an exploration of the syntax, operational semantics, and denotational semantics of a simple language with the type Dynamic, and discusses an operational semantics for this language and obtains a soundness theorem.
Making the future safe for the past: adding genericity to the Java programming language
GJ increases expressiveness and safety: code utilizing generic libraries is no longer buried under a plethora of casts, and the corresponding casts inserted by the translation are guaranteed to not fail.
Parameterized types for Java
The rationale for the design decisions and the impact of the extension on other parts of Java, including arrays and the class library are discussed, and optional extensions to the Java virtual machine to allow parameterized bytecodes are described, and how to verify them efficiently.
Unboxed objects and polymorphic typing
A program transformation that allows languages with polymorphic typing to be implemented with unboxed, multi-word data representations with coercions between various representations, based on a typing derivation is presented.
An Overview of the Scala Programming Language
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.