Archives of the Caml mailing list > Message from Christopher L Conway

Browse thread

type unsoundness with constraints and polymorphic variants

Stephen Weeks
- Markus Mottl
- Jacques Garrigue
  - Andrej Bauer
    - luc.maranget@i...
    - Jacques Garrigue
      - Christopher L Conway
        
        Michael Hicks
        
        David Teller
        
        Till Varoquaux
        
        Michael Hicks
        
        Mattias EngdegÃ¥ rd
        
        Christopher L Conway
        
        Stefano Zacchiroli

Date:	-- (:)
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 <mattias@virtutech.se> 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.

Chris