В чисто функциональных языках есть ли алгоритм для получения обратной функции?
В чистых функциональных языках, таких как Haskell, существует ли алгоритм для получения обратной функции (edit), когда она является биективной? И есть ли конкретный способ запрограммировать вашу функцию таким, какой она есть?