弗雷格的渴望而哈斯克尔的懒惰？

Question

在Haskell中，下面的代码打印“[1,2,3,4,5”：

foo = take 10 $ show $ numbersFrom 1 where 
  numbersFrom start = start : numbersFrom (start + 1) -- could use [1..]

但是在Frege中，它抛出OutofMemoryError，代码如下：

foo = take 10 $ unpacked $ show $ numbersFrom 1 where
  numbersFrom start = start : numbersFrom (start + 1)

这里唯一的区别是unpacked函数，它是从string转换为[Char]和FWIW，unpacked函数是热切的。为什么整个表达式不能像Haskell中那样懒惰呢？在这里有可能实现类似弗雷格哈斯克尔的东西吗？

Answer 1

我不知道Frege，但是根据语言定义string是java.lang.string，所以您不能构建无限长的字符串（内存不足的问题可能与unpack过于急切无关）。

因为您知道numbersfrom 1的每个元素将至少显示为1个字符，所以您可以过度近似要显示的列表大小，然后解压缩，然后取所需的字符数：

foo = take 10 $ unpacked $ show $ take 10 $ numbersFrom 1 where
  numbersFrom start = start : numbersFrom (start + 1)

或者更一般地说：

n = 10 -- number of characters to show
m = 1  -- minimum (map (length . show) xs) for some type of xs
foo :: a -> [Char]
foo = take n . unpack . show . take ((n+m-1) `div` m) . someEnumeration
  where
  someEnumeration :: a -> [a]
  someEnumeration = undefined