The Nice programming language

.  Documentation
 o Presentation

 o Tutorial

 o Manual (online, PDF, PS)

 o Getting started

 o Using the compiler

.  Download

.  User's corner
 o Collaborative site (Wiki)

 o Forums

 o Mailing List

 o Online discussion

 o Notify me of new versions

 o Report a bug

 o Feature requests

.  Development
 o Roadmap

 o Tests

 o Coverage

 o Wiki

 o CVS

 o Contribute!

.  Academic Research



Academic Research

Nice originates in academic research on object-orientation. It all started with the ML-Sub type system, presented at the Principles Of Programming Languages 1997 conference by Francois Bourdoncle and Stephan Merz . This article present the core type system, and proves its safety property.

A new version of the type system was presented at the Foundations of Object-Oriented Languages 2002 workshop by Daniel Bonniot. The presentation is much simpler, and it includes type inference, which is not yet present in Nice.

The extension of the type system with kinds was presented at the Workshop on Types in Programming (TIP'02) by Daniel Bonniot. It forms the theoretical basis for abstract interfaces in Nice.

Daniel Bonniot's graduation report contains information about the language, and the theory of abstract interfaces as they appear in Nice. Since then some names have changed: Bossa became Nice, and interfaces are abstract interfaces in Nice.

Daniel Bonniot