Version française
Home     About     Download     Resources     Contact us    
Browse thread
Depend-type beginner question
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christopher L Conway <cconway@c...>
Subject: Re: [Caml-list] Depend-type beginner question
On 10/5/07, Vincent Aravantinos <vincent.aravantinos@gmail.com> wrote:
> why actually dependant types cannot be implemented in ocaml ? Is the
> type checking undecidable ? Or is it for other reason (e.g.
> arithmetic) ? I guess it's both. But could someone develop precisely ?

It's not that dependent types can't be implemented in OCaml, just that
they haven't. See, e.g., http://www.cs.bu.edu/~hwxi/DML/DML.html

I suspect the OCaml development team is not inclined to add "sexier"
types to the core language, though I can't say if there are any
specific technical hurdles preventing it (certainly, decidability is
an issue)...

Regards,
Chris