Event Details
Model the Paradigm, Not the Application
Presenter: Maarten van Emden - University of Victoria
Supervisor:
Date: Fri, March 22, 2002
Time: 13:30:00 - 00:00:00
Place: EOW 430
ABSTRACT
Abstract:
For the right application, the use of programming paradigms such as functional or logic programming can enormously increase productivity in software development. But exotic paradigms come with exotic programming languages, while the management of software development dictates language standardization. This dilemma can be resolved by using object-oriented programming in a new way. It is conventional to analyze an application by object-oriented modeling. In the new approach, the analysis identifies the paradigm that is ideal for the application; development starts with object-oriented modeling of the paradigm. An example on a large scale is given by Odersky and Wadler in Pizza, which allows functional programming in a dialect of Java. In this talk I illustrate the new approach by giving examples of object-oriented modeling of data-flow and constraint programming. The new approach suggests a thorough overhaul of languages like ML, Haskell, and Prolog.