[nem-pl] Ceszarpizacja, cd.

[Michal Moskal]

On Mon, Feb 09, 2004 at 01:55:02PM +0100, Kamil Skalski wrote:
> Monday 09 of February 2004 13:42, Paweł W. Olszta wrote:
> > Kamil Skalski wrote:
> >
> > > A co do możliwości zmiany na :, to jest to troszkę niespójne z naszym
> > > zapisem typu.
> >
> > Tzn.?
> 
> class A : B {
>    d : B
>    f (c : B) : B {  }
> }
> 
> jak widać pierwsze : B znaczy troszeczkę coś innego niż następne... chociażby 
> dlatego, że A jest typem (typem typu B?) a d i f(..) wartościami

Bardziej spójne byłoby:

class A ('a) :> B, C, D where 'a :> X, 'a :> Y { ... }

Ale może tak:

class A ('a) : B, C, D where 'a : X, 'a : Y { ... }

Ponieważ w wyrażeniach :> używamu do poszerzania a nie zawężania typów.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++
: When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a?