小编mar*_*ban的帖子

这就是我的困境:当编译Haskell程序时,会生成可在物理CPU上执行的二进制可执行机器代码.当解释Haskell程序时,物理CPU对来自内存位置的数据执行操作.执行实际上发生在一段时间内,其长度取决于CPU速度.

由于数据已经由编译器放入内存中,该编译器保证每个变量都是强类型的,这是否意味着Haskell实际上是否具有运行时类型？

澄清:"运行时类型"是指:在语言编译时语言编译器可访问/可识别的物理处理器上执行程序时变量的类型(在类型 - 理论意义上).