Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Andrej Bauer <Andrej.Bauer@f...>
Subject: Re: [Caml-list] type unsoundness with constraints and polymorphic variants
Out of curiosity, is there a document describing the current ocaml 
typing system, other than the compiler source code?

More generally, what level of formal specification and verification does 
ocaml reach? None, well commented code, a fragment of the language is 
formalized, someone's PhD described the compiler, there is an official 
document describing the compiler, God gave Xavier the type system on Mt 
Blanc, or what?

Andrej