[nem-pl] static w interface

[Lukasz Kaiser]

Hej.
 
> Dobre pytanie. Kompilator powinien siê sypn±æ na drugim przyk³adzie
> (je¶li u¿ywasz zmiennych typowych klasy w funkcjach statycznych lub
> zdefiniowanych w ¶rodku typach). Ale siê nie sypnie (chyba), wiêc mamy
> ma³y problem.

Aaa, te typy przy klasie sa do funkcji nie statycznych - rozumiem, to jest
fajnie i ok. Czemu kompilator sie ma sypac ? Moze sie sypac, ale jesli po
prostu uznaje ze zmienne przy funkcjach statycznych sa inne tylko moga
miec taka sama nazwe to chyba tez ok, przynajmniej dla mnie.
 
> 'a where 'a :> IComparable ('a) `<` (x : 'a, y : 'a) =
>   x.compare (y) < 0;

Ladnie, rozumiem :).
   
- lk