Inżynieria oprogramowania algebraic-data-type

7

Jak kodujesz algebraiczne typy danych w języku C # - lub języku podobnym do Java?

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 = …

58 java c# scala haskell algebraic-data-type

1

Wydajność jednozadaniowego kodu zorientowanego na ADT na nowoczesnych procesorach

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ą równoważone przez zyski w sposobie, w jaki procesor (w szczególności …

32 functional-programming hardware memory cpu algebraic-data-type

3

Jaki problem rozwiązują algebraiczne typy danych?

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ć pozornie (w pewnym sensie) typ algebraiczny w języku C …

18 functional-programming algebraic-data-type

Pytania otagowane jako algebraic-data-type