Pytania oznaczone «algebraic-data-type»

Istnieją pewne problemy, które można łatwo rozwiązać za pomocą Algebraicznych typów danych, na przykład typ listy można bardzo zwięźle wyrazić jako: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l = ConsCell 1...

Można przypuszczać, że praca na niezmiennych danych z pojedynczymi przypisaniami wymaga więcej pamięci, ponieważ ciągle tworzysz nowe wartości (chociaż kompilatory pod pokrywami wykonują sztuczki wskaźnikowe, aby to nie było problemem). Ale słyszałem już kilka razy, że straty w wydajności są...

Uczciwe ostrzeżenie, jestem nowy w programowaniu funkcjonalnym, więc mogę mieć wiele złych założeń. Uczyłem się o typach algebraicznych. Wydaje się, że ma je wiele języków funkcjonalnych i są one dość przydatne w połączeniu z dopasowaniem wzorców. Jaki problem rozwiązują? Mogę zaimplementować...