在像Haskell这样的纯函数式语言中,是否存在一个算法来获取函数的逆,当它是双射的时(编辑)？是否有一种特定的方式来编程你的功能呢？
例如,通过其特征函数表示集合,应该是整数集合
type Set = Int => Boolean
并且给定了一些set和transform函数,map函数应该是这样的
def map(s: Set, f: Int => Int): Set
我最初的想法是
def map(s: Set, f: Int => Int): Set = (x: Int) => exists(s, (a: Int) => x == f(a))
并且我发现在没有在某个特定间隔内迭代以确定是否存在某些"a"的情况下,实现无界版本似乎很难.
是否可以在Scala中实现无界版本？换句话说,无论编程语言如何,理论上都可以获得一个未绑定的版本？