gpt4 book ai didi

haskell - 组成 "length of sum"是什么意思?

转载 作者:行者123 更新时间:2023-12-02 07:59:41 29 4
gpt4 key购买 nike

我在玩 Haskell 的类型时无意中发现了 length 。总和 有效。是否有一些语义应该允许它工作,或者这仅仅是类型定义的一个缺点?我在下面编写了每个类型定义。

length :: Foldable t => t a -> Int
sum :: (Foldable t, Num a) => t a -> a
(.) :: (b -> c) -> (a -> b) -> a -> c
length . sum :: (Foldable t1, Foldable t2, Num (t1 a)) => t2 (t1 a) -> Int

我唯一能理解它的场景是将字符求和成一个字符串,然后您就可以得到该字符串的长度。但是,sum 只能接受可折叠类型的数字,因此无法正常工作。

最佳答案

这是一个简单的例子。

import Data.Functor.Identity

xs :: [Identity Int]
xs = map Identity [0..9]

result :: Int
result = length . sum $ xs

main :: IO ()
main = print result -- 1

让我们了解发生了什么。

  1. 首先,我们对xs 的所有元素求和。因此,sum xsIdentity 0 + ... + Identity 9,其计算结果为 Identity 45。请注意,Num a => Identity aNum 的实例。
  2. 接下来,我们找到sum xs 的长度。因此,长度。 sum $ xslength $ Identity 45,其计算结果为 1,因为在任何 Identity 数据结构中只有一个元素。

如果您查看 length 的签名,这是有道理的。求和

length . sum :: (Foldable g, Foldable f, Num (f a)) => g (f a) -> Int

首先,我们遍历g,找到g内所有f asumsum 的定义取决于类型f a。结果是 f a。然后,我们找到生成的 f alength

关于haskell - 组成 "length of sum"是什么意思?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59044451/

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