是否有可能在一组上获得无界地图功能？

Question

通过其特征函数表示一个集合，例如，整数集应该像

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))  

我发现在没有在某个特定间隔内迭代以确定是否存在某些＆＃34; a＆＃34;似乎很难实现无界版本。

是否可以在Scala中实现无限制版本？换句话说，无论编程语言如何，都可以获得一个未绑定的版本吗？