[nem-pl] skladnia

[Lukasz Kaiser]

Hej.

Tak patrze i patrze na ten list.n i bardzo mi sie nie podobaja rozne
rzeczy. Ale moze sprobuje byc bardziej konstruktywny, wiec mam jakies
propozycje:

1) dodac = przed { e defach, tzn. nie
   def i (dummy : int, e : 'a) : int { f (e); dummy };
   tylko
   def i (dummy : int, e : 'a) : int = { f (e); dummy };

2) zrobic dodatkowy kontener na czyste funkcje nazywajacy sie jakos,
np. funclass, i niech bedzie mozna zrobic
funclass List {
  def 'a append (x : list ('a), y : list ('a)) : list ('a) = ... 
}

3) wywalic zmienne typowe przed definicjami funkcji polimorficznych,
   czyli
   def append (x : list ('a), y : list ('a)) : list ('a) = ...
   bo koniecznosc wielokrotnego ich pisania zniecheca do polimorfizmu a
   odtworzenie ich jak sie ma typy wpisane to banal

- lk