gpt4 book ai didi

haskell - 为什么这个表单不违反 `$` 的类型签名?

转载 作者:行者123 更新时间:2023-12-04 17:17:51 27 4
gpt4 key购买 nike

$ 的类型签名如下:

($) :: (a -> b) -> a -> b

因此,如果 plus1 n = n + 1 ,那么我们有
> ($) plus1 1
2

但那又是为什么呢
> ($ 1) plus1
2

还有?表格 ($ 1) plus1似乎违反了 $ 的类型签名.

最佳答案

如果你试试

(($) 1) plus1

你会得到你期望的类型错误。

特殊语法 ($ 1)称为段,代表 \x -> x $ 1 ,它不同于普通的应用程序 ($) 1 .此语法可与所有中缀运算符 (*) 一起使用,例如 (+ 1)(* 4) .

(*) 除了 - , 自 (- 10)是负常数 -10 .

关于haskell - 为什么这个表单不违反 `$` 的类型签名?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41322460/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com