Reading „Real World Haskell” znalazłem kilka ciekawie pytanie o typy danych: Ten dopasowywania wzorców i pozycyjnego dostępu danych sprawiają, że wyglądają jak masz bardzo szczelne połączenie pomiędzy
W przypadku zajmowania się sporymi algebraicznymi typami danych w Haskell, istnieje szczególne przechodzenie rekursywne nie przechwycone przez zagięcie na typ danych. Na przykład załóżmy, że mam prost
Rozważmy typ danych z wielu konstruktorów: data T = Alpha Int | Beta Int | Gamma Int Int | Delta Int
Chcę napisać funkcję, aby sprawdzić, czy dwie wartości są produkowane z tego samego konstruktora: