如何计算（＆gt; 0）的类型？

发布于 2025-02-10 01:19:43 字数 163 浏览 0 评论 0原文

每当我有一个左参数部分应用的操作员部分时，即：

(0 >)

我只是只需以其前缀形式重写操作员，然后进行计算：

(>) 0

我如何计算具有其右参数部分应用？

原文

Whenever I have an operator section with its left argument partially applied, i.e:

(0 >)

I just simply rewrite the operator in its prefix form and proceed with calculation:

(>) 0

How can I calculate the type of an operator section that has its right argument partially applied ?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

断桥再见 2025-02-17 01:19:43

对于（＆gt;），这没关系，因为两个参数都具有相同的类型。删除ORD A =＆GT;来自ORD A =＆GT; a - ＆gt; a - ＆gt; bool，您将留下ord A =＆gt; a - ＆gt;布尔。

在一般中，您只需删除与应用参数相对应的类型。例如，给定（??）:: int-＆gt; char - ＆gt;布尔，

-- with the Int argument supplied, you still need a Char
(x ??) == (\y -> x ?? y) :: Char -> Bool
-- with the Char argument supplied, you still need an Int
(?? y) == (\x -> x ?? y) :: Int -> Bool

For (>), it doesn't matter, because both arguments have the same type. Remove either Ord a => a from Ord a => a -> a -> Bool, and you are left with Ord a => a -> Bool.

In general, you just remove the type corresponding to the applied argument. For example, given (??) :: Int -> Char -> Bool,

-- with the Int argument supplied, you still need a Char
(x ??) == (\y -> x ?? y) :: Char -> Bool
-- with the Char argument supplied, you still need an Int
(?? y) == (\x -> x ?? y) :: Int -> Bool

回复收藏 0 原文

~没有更多了~