Czy w językach czysto funkcjonalnych istnieje algorytm do uzyskania funkcji odwrotnej?
Czy w czysto funkcjonalnych językach, takich jak Haskell, istnieje algorytm do uzyskania odwrotności funkcji (edycji), gdy jest to bijective? A czy jest jakiś specjalny sposób na zaprogramowanie funkcji, tak jest?