gpt4 book ai didi

pointers - 在函数中匹配时是否返回相同的 Empty?

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

我们有来自 NICTA 的 mapOptional类(class):

mapOptional :: (a -> b) -> Optional a -> Optional b
mapOptional _ Empty = Empty
mapOptional f (Full a) = Full (f a)

匹配时 f我们显然使用了传递的那个函数,那么 Empty 呢? ?那么 Full ?

最佳答案

Haskell 中没有任何内容可以让您观察两个 Empty s 相同 Empty与否,并且无法保证在这方面实现必须对该代码做什么。

也就是说,在 GHC 中,给定参数化类型的空构造函数在所有参数化之间共享;所以只有一个 Empty在整个程序中,只有一个 [] ,等等。

关于pointers - 在函数中匹配时是否返回相同的 Empty?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42098077/

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