厌倦了用非语义测试来弥补动态类型 - 建议吗？
在开始学习计算机工程之前，我曾经使用 Rails（之前是 PHP）进行了大量的 Web 编程。 从那时起，我用 C 完成了很多学校作业，并用 Objective-C（Mac …
“无全局类型推断”是什么意思？关于Scala 意味着什么？
我读过 Scala 的类型推断不是全局的，因此人们必须在方法上放置类型注释。 （这会是“本地”类型推断吗？） 我只知道一点点，原因是其面向对象的本质…
Clojure 静态类型，第 2 部分
这是我之前关于 Clojure 静态类型的问题的后续内容。 我浏览了编译器的Java源代码，有几个地方检查了*warn-on-reflection*的值，但是当我编译以下代码…
类型转换错误和构造函数
我有两个类 public class A { public A() { } } public class B:A { public B() { } } ，Main 中的代码如下所示 A oa = new B() B ob = new A() ，这…
使用scala调用java.util.Hashtable#put
我在调用老式哈希表时遇到了意外的麻烦。这是怎么回事？ Welcome to Scala version 2.8.0.final (Java HotSpot(TM) Client VM, Java 1.6.0_21). Type …
为什么 foreach 跳过接口类型的编译时类型检查？
当我在 C# 中使用 foreach 循环时，如果项类型是接口类型，则似乎不会执行编译时类型检查。 例如， class SomeClass {} interface SomeInterface {} I…
静态类型的完整 Lisp 变体可能吗？
Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题？更新问题，以便可以通过编辑这篇文章用事实和…
如何定义一个可以返回指向自身的指针的函数？
我想编写这样的代码： /*something*/ Fn() { ... } int main() { /*something*/ fn = Fn while(fn) fn = fn() return 0 } 是否可以以完全类型安全的方…
您知道有一种语言具有静态类型检查功能，其中代码就是数据吗？
Closed. This question needs to be more focused. It is not currently accepting answers. 想要改进这个问题吗？通过编辑这篇文章来更新问题，使其…
