[nem-pl] skladnia

[Lukasz Kaiser]

Hej.

> Mo¿na pisaæ z =.

Fajnie :).
 
> module M {
>   'a append (x : list ('a) ....) = ... 
> }
> 
> My¶lê, ¿e to da radê.

To by bylo milo. Ale to jest tak czysta skladnia, ze pewnie nawet uda sie
jako rozszerzenie skladniowe jesli nie bedzie w samym kompilatorze.
 
> Zmienne typowe mog± przywêdrowaæ z wy¿szych poziomów (mog± byæ
> zadeklarowane w typie). Oczwi¶cie trywialne jest za³o¿enie, ¿e pierwsze
> u¿ycie definiuje zmienn±, ale mo¿e to prowadziæ do b³êdów. Podobnie
> wymagamy definiowania zwyk³ych zmiennych.

Nie rozumiem jak z wyzszych poziomow. Rozumiem ze wymaga sie deklarowania
zwyklych zmiennych, ale jesli chodzi o zmienne typowe to chyba dosc
powszechnie przyjeta konwencja w swiecie MLa jest ich nie deklarowanie.
 
> Mam nadziejê zmusiæ w koñcu kompilator do inferencji typów, przynajmniej
> w tych przypadkach, gdy poradzi³by sobie z tym kompilator ML'a.

To by pewnie bylo fajnie w jakims malym zakresie, zeby nie pisac tych
najczesciej powtarzanych. Ale chyba nie ma co z tym walczyc w trudnych
przypadkach gdzie moze to dawac straszne komunikaty albo klocic sie z
podtypowaniem.

- lk