Browse thread
type unsoundness with constraints and polymorphic variants
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Mattias EngdegÄ rd <mattias@v...> |
| Subject: | Re: [Caml-list] type unsoundness with constraints and polymorphic variants |
>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.