[nem-pl] typy polimorficzne w statycznych wartosciach (funkcyjnych)

[Michal Moskal]

On Mon, Nov 22, 2004 at 07:04:09PM +0100, Lukasz Kaiser wrote:
> Hej.
> 
> Jak zrobic statyczna wartosc (funkcyjna)
> z typem polimorficznym ?
> 
> public class Ala <'a> {
>   private static foo : 'a -> 'a;
> }
> zwraca blad o nieznanej wartosci typu 'a, natomiast
> 
> public class Ala <'a> {
>   private static foo <'a> : 'a -> 'a;
> }
> mowi, ze oczekuje () po foo <'a>.
> 
> Jak to zrobic ?

W Nemerle nie ma wartości polimorficznych, które nie są funkcjami.
Polimorfizm jest płaski, podobnie jak w ML-u.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++
: ::: Logic is a nice contrast to the Real World. :: UL++++$ C++ E--- a?