Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
type unsoundness with constraints and polymorphic variants
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-02-13 (15:55)
From: Christopher L Conway <cconway@c...>
Subject: Re: [Caml-list] type unsoundness with constraints and polymorphic variants
On Feb 13, 2008 9:53 AM, Mattias Engdegård <> wrote:
> >I would be very impressed if a student managed to write a full formal
> >semantic in a summer.
> So would most people, but we may be missing the goal. A solid
> understanding of the language for serious programming or even
> independent reimplementation does not necessarily require formal
> semantics. A careful prose description would probably do.

A careful prose description is what I intended to propose. A true
formal semantics is neither necessary nor sufficient.