小编PyR*_*lez的帖子

在python中,两个不同的变量可以表示同一个对象.注意:

>>> list1=['This is list1.']
>>> list2=list1
>>> list2[0] = 'This is actually list2 not list one.'
>>> print list1
['This is actually list2 not list one.']

这是此代码的链接. 如您所见,没有list1或list2,只有一个列表有两个名称.我很清楚这种效果,我从一本书中记得这是故意的,但我忘记了这种现象.此外,它偶尔是bug的来源,而其他语言没有这个问题.我确实感觉某些与物体有关的东西会在没有物体的情况下破裂.这有什么特别的好处(因为python是我真正知道的.)

有没有办法让Haskell在运行时扩展某些thunk.例如,说我有

--Purposely inefficient code for demonstration
fib 0=0
fib 1=1
fib n=fib n=fib (n-1) + fib (n-2)
goldRatio=fib 100 / fib 101

我怎么能goldRatio在编译时评估它.例如,与

{-# EVALUATE goldRatio #-}

它只需要弱头形状,因为Control.Deepseq.force可以处理其余部分.我听说模板haskell可以做到这一点,但我不太清楚.

注意:我现在正在使用GHC.

我正在尝试euler挑战14.我想知道我是否可以在haskell中快速计算它.我试过这种天真的方法.

但这花了太长时间.

? <*Main System.Timeout>: timeout (10^6*60) main
Nothing

我也尝试使用反向collat​​z关系,并在地图中保留长度以消除冗余计算,但这也不起作用.并且不想要解决方案,但是有没有人有一些数学文献或编程技术可以使这更快,或者我只需要让它过夜？

我试图获得Hat调试器.当我尝试:

cabal install hat 要么 cabal install hat -v

最后我得到:

configure: error: in `/tmp/terminfo-0.4.0.0-17745/terminfo-0.4.0.0':
configure: error: curses headers could not be found, so this package cannot be built
See `config.log' for more details
Failed to install terminfo-0.4.0.0
cabal: Error: some packages failed to install:
haskeline-0.7.1.3 depends on terminfo-0.4.0.0 which failed to install.
hat-2.8.0.0 depends on terminfo-0.4.0.0 which failed to install.
terminfo-0.4.0.0 failed during the configure step. The exception was:
ExitFailure 1

所以麻烦我尝试:

cabal install terminfo

得到:

configure: error: …

所以,我有以下代码:

{-# LANGUAGE GADTs #-}

import Data.Coerce
import Data.Functor.Fixedpoint --Although I'm not using these yet, they provide "context"

data Refl a b where
    Refl :: Refl a a

weird :: Refl a [a] -> a
weird Refl = [[], [[], []]]

我想你可以看到我要去的地方.如果没有,我想要做的就是强迫Haskell思考a并且[a]通过赋予它Refl参数是相同的类型.这将允许我做恶作剧.当我编译它时,ghci给我这个错误:

[1 of 1] Compiling Main             ( pad'.hs, interpreted )

pad'.hs:9:7:
    Couldn't match type ‘a’ with ‘[a]’
      ‘a’ is a rigid type variable bound by
          the type signature for weird :: …

{-# LANGUAGE DataKinds, ExistentialQuantification, KindSignatures #-}
import Data.Proxy

data Type t= forall (a :: t). Type (Proxy a)

给出了错误

Type variable ‘t’ used in a kind
In the kind ‘t’
In the definition of data constructor ‘Type’
In the data declaration for ‘Type’

但是t是一个Kind变量,而不是一个类型变量.这是怎么回事？

Void除此之外,该类型没有值undefined.GHC如何undefined :: Void在运行时代表？

在python中,有许多IDE可以让你这样做.

>>> if (a==5):
      print "Yes"
else:
      print "No"

但是在haskell的GHCi中:

Prelude> do

<interactive>:2:1: Empty 'do' block

这是行不通的.是否有任何IDE允许您以交互模式执行多行命令.

注意:我知道:{和:}命令,但您输入后无法编辑上面的行.