miranda

Nadużywanie algebry algebraicznych typów danych-dlaczego to działa?

Wyrażenie "algebraiczne" dla algebraicznych typów danych wygląda bardzo sugestywnie dla kogoś z doświadczeniem w matematyce. ... wymagają reprezentacji szeregów potęgowych? Jeśli można zdefiniować klasę funkcji, to czy skład funkcji ma jakieś znaczenie?