7
Nadużywanie algebry algebraicznych typów danych - dlaczego to działa?
Wyrażenie „algebraiczne” dla typów danych algebraicznych wygląda bardzo sugestywnie dla kogoś z doświadczeniem w matematyce. Pozwól mi wyjaśnić, co mam na myśli. Po zdefiniowaniu podstawowych typów Produkt • Unia + Singel X Jednostka 1 i używając skrótów X²dla X•Xi 2Xdla X+Xet cetera, możemy następnie zdefiniować wyrażenia algebraiczne dla np. list …