相关疑难解决方法(0)

在Haskell中,一些列表是循环的:

ones = 1 : ones

其他人则不是:

nums = [1..]

然后有这样的事情:

more_ones = f 1 where f x = x : f x

这表示与该值相同的值ones,当然该值是重复序列.但它是否在内存中表示为循环数据结构是值得怀疑的.(一个实现可以这样做,但这个答案解释说"这不太可能在实践中发生".)

假设我们采用Haskell实现并在其中入侵一个内置函数isCycle :: [a] -> Bool,该函数检查参数的内存中表示的结构.True如果列表是物理循环的并且False参数的长度是有限的,则返回.否则,它将无法终止.(我想"在黑客入侵"因为在Haskell中编写该函数是不可能的.)

这个函数的存在是否会打破语言的任何有趣属性？

我有一个具有几种不同类型的内部循环链接的数据结构,从cycle命令的意义上讲它是无限的.是否有任何有趣的模块可以将这些结构折叠成使用索引的平面数据结构？

我感兴趣的序列化完整的数据结构,既通过Read和Show以及通过Data.Serialize或相似.

构建顺序索引显然有很好的功能,但基于内存地址哈希值的索引也可以正常工作.

正如我在上一个问题中所解释的那样,如果您的节点上没有某种独特的标签,则不可能将使用结点策略制作的两个图表区分开来.使用双刃图作为示例:

data Node = Node Int Node Node

square = a where
    a = Node 0 b c
    b = Node 1 a d
    c = Node 2 a d
    d = Node 3 b c

square由于需要手动编写标签,因此以这种方式编写有点不方便并且容易出错.这种模式通常需要monad:

square = do
    a <- Node b c
    b <- Node a d
    c <- Node a d
    d <- Node b c
    return a

但由于monads是连续的,所以也无法做到这一点.有没有方便的方法来编写结图？