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: Vincent Aravantinos <vincent.aravantinos@y...>
Subject: Re: [Caml-list] Depend-type beginner question

Le 5 oct. 07 à 18:05, Ashish Agarwal a écrit :

> > I can't get how the following could ever be typed at compile time:
> >
> >  > if ... then [] else [a]
> >
> > Is this a 0-list or a 1-list ? do they just put an existential
> > variable -> n-list ? If this is it, it seems to me that you won't be
> > able to gain much information.
>
> The type system is not rich enough to distinguish between 0-lists'  
> and 1-list's. It is just a list.

So what is the gain ?