函数类型与类型变量的等价性
我需要一个具有以下属性的函数。
(c->d)->(a->b->c)->a->b->d
我的函数：
funktionD = (.) 。 (.)
但是 :t funktionD
funktionD::(a -> b) -> (c→d→a)→ c-> d->
这相等吗？
I need a function with following attributes.
(c->d)->(a->b->c)->a->b->d
my function:
funktionD = (.) . (.)
but :t funktionD
funktionD :: (a -> b) -> (c -> d -> a) -> c -> d -> b
ist this equal?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
这是。类型变量——用小写写——就是变量。您可以随意重命名它们，只要相同变量的模式保持不变即可。
此外，出于本质上相同的原因，对于您给出的类型签名，该类型只有一个可能的函数（即排除崩溃或进入无限循环的函数）。值得思考的事情！
It is. Type variables--written in lowercase--are just that, variables. You can rename them all you like as long as the pattern of which are the same variable stays the same.
Furthermore, for essentially the same reason, for the type signature you gave there is only one possible function of that type (excluding functions that crash or go into infinite loops, that is). Something to think about!
我认为是的。将 a 替换为 c（反之亦然），然后将 b 替换为 d（反之亦然），它们是相同的。
I think it is. Replace a with c (and vice versa), then replace b with d (and vice versa) and they are the same.