[nem-pl] Varianty, a ToString

[rzyjontko]

Michal Moskal wrote:
> 
> class list_base {
> 	override ToString () : string
> 	{
> 		match ((this :> list)) {
> 	 		| Cons ... =>
> 			| Nil => ...
> 		}
> 	}
> }
> 
> variant list : list_base {
>   | Cons
>   | Nil
> }

No i na takie coś chyba możnaby przekładać metody w wariantach, tylko
że z bardziej intuicyjną składnią.


W takim razie taka powinna być biblioteczna implementacja listy.  To
znaczy powinna zawierać metody ToString i Equals, które będą działać
zgodnie z oczekiwaniami użytkownika.

Bo w tej chwili lista ma metody ToString i Equals, ale one nie
działają tak, jakby się tego spodziewał użytkownik.

Osobiście byłbym również za tym, żeby funkcjonalność modułu List
przenieść do metod obiektów typu list.

-- 
rzyjontko
http://www.student.ii.uni.wroc.pl/~rzyj/