lambda - 在 Racket 中取函数的反函数

Question

我正在尝试编写一个高阶 Racket 函数，该函数采用一个变量的一阶函数并返回其逆函数。我知道它必须从这样的事情开始:

(let [(inverse (lambda (f)                 (lambda (y)                   ... )))])

I figured this because inverse must take a function which returns a function which takes a y and returns x such that (= (f x) y). In other words, the contract for inverse is something like:

; inverse : (number? -> number?) -> (number? -> number?)

我只是想弄清楚椭圆在哪里？

编辑:
为了回应人们说这是不可能的，我愿意接受一个反函数，当给定 y返回一个可能的 x .为了回应关于函数没有反函数的评论，请注意我对 f 的合约。 .这是一个 (number? -> number?)映射，因此有一个逆。

Answer 1

对于一般情况，给定一个任意函数 f你不知道它的反函数是什么。更糟糕的是，给定的函数可能根本没有逆函数——例如:输入函数可以执行没有逆函数的 MD5 哈希。抱歉，您的问题没有答案。