小编Rav*_*mio的帖子

我最近成为大学课程的助教,主要教授C. C90课程标准化,主要是由于广泛的编译器支持.具有以前Java经验的C新手的一个非常令人困惑的概念是变量声明和代码可能不在块内混合的规则(复合语句).

最终用C99解除了这个限制,但我想知道:有人知道它为什么会出现在那里吗？它是否简化了可变范围分析？它是否允许程序员指定堆栈应该为新变量增加哪些程序执行点？

我认为语言设计师如果完全没有任何目的就不会增加这样的限制.

我对Haskell的类型系统有以下问题:我试图声明一个数据类型并从函数返回包含此类型元素的列表.不幸的是,即使是最小的测试用例如

data SampleType = SampleTypeConstructor

instance Show SampleType where
    show x = "(SampleType)"

stList :: (Show a) => [a]
stList = [(SampleTypeConstructor)]

main = do {
    putStrLn (show stList)
}

失败,并出现以下来自ghc-7.0.2和ghc-7.1.20110327的错误消息:

tcase.hs:7:12:
    Could not deduce (a ~ SampleType)
    from the context (Show a)
      bound by the type signature for stList :: Show a => [a]
      at tcase.hs:7:1-34
      `a' is a rigid type variable bound by
          the type signature for stList :: Show a => [a] at tcase.hs:7:1
    In the expression: …