代码之家 › 专栏 › 技术社区 › Mark Bolusmjak

有没有一种方法可以从一个给定的域动态地构建一个函数到一个给定的codomain?

elm types

0

Mark Bolusmjak · 技术社区 · 7 年前

函数的类型为:

f : (a -> b) -> (c -> d) -> Maybe (a -> d)

如果 b 和 c 是同一类型调用时,我们返回 Just (a -> d) 否则 Nothing

如果没有,有没有一种方法可以创建我们自己的类型来表示函数,这样我们就可以实现这个想法了?

0 回复 | 直到 7 年前