Functional Dependency

Zależność Funkcyjna (ang. Functional Dependency). Rozszerzenie kompilatora ułatwiające pracę z Wieloparametrowymi klasami typów.

Zależności Funkcyjne w Haskellu

26 minut(y)

Spytano mnie raz, co jest trudnego w Haskellu, co jednocześnie jest łatwe w OOP. Np. stworzenie interfejsu kolekcji i danie możliwości implementowania go klientom-użytkownikom. W tym celu potrzebujemy Klasę Typu od dwóch parametrów. Ale żeby mieć dobry interfejs, to nie wystarczy. O czym się przekonaliśmy w artykule Abstrakcja i dopasowanie do wzorców.

Wróć do góry ↑