[nem-pl] uwagi

[Lukasz Kaiser]

Hej.

> Ale friendów nie ma.

No i taka sytuacja mi bardzo odpowiada :).
 
> Nie rozumiem. Co to ta 'a? Mo¿e raczej:
> 
> dyngen : Expr -> (void -> System.Object)
> 
> (System.Object trzeba by potem downcastowaæ odpowiednio).

To nie wydaje sie zbyt eleganckie, takie dowartosciowywanie moze nam
podziurawic system typow.
 
> Do dynamicznej reprezentacji typów mo¿na siê dostaæ u¿ywaj±c
> System.Reflection. Jednak robienie równo¶ci strukturalnej na tym
> poziomie nie wydaje mi siê najlepszym pomys³em -- choæby dlatego, ¿e z
> u¿yciem S.R nie zejdziejsz do pól prywatnych. Pro¶ciej zdefiniowaæ
> rozszerzenie generuj±ce metodê Equals() dla odpowiednich typów.

To jest ladne. W takim razie zeby zrobic dyngen wystarczy dla
kazdego uzywanego typu wygenerowac dynamicznie metode dyngen, to znaczy
mamy generowana dynamicznie dla typu t funkcje
dyngen<t> : Expr -> t (rzuca wyjatek jesli Expr jest zly, np. nie typu t).
Tylko czy wiemy jak ja napisac ?

- lk