3rd Latin-American Conference on Fuctional Programming

3rd Latin-American Conference on Functional Programming
http://www.di.ufpe.br/~clapf99

March 8, 1999
Recife, Brazil

11:30 a.m. - 12:30 p.m.
Generalising Monads to Arrows: a New Structuring Principle for Functional Programs
Professor John Hughes
Chalmers Institute of Technology - Göthemburg - Sweden
4:30 - 5:45 p.m.
The Evolution of (Standard) ML
David MacQueen
Bell Laboratories
Abstract:
After ten years of experience with design, definition, implementation and use of Standard ML, a rough concensus developed about what worked well and what needed fixing, leading to the Standard ML '97 revised definition and its associated Basis library. But this fairly modest revision did not solve all problems, nor did it explore all interesting possibilites for improving the language. In this talk I will discuss the rationale for the changes that were made in SML'97, and speculate about what future of ML dialects may look like. I will cover possible innovations in types (e.g subtyping), modules, and discuss support for "object-oriented" programming.