OCaml：查找特定类型的值
我有一些值的列表，我需要找出哪种值是第一个： type my_types = | MAlpha | MBeta of int list | MGamma of string * int let find_first where what…
Clojure 序列类型
正确的序列类型是什么？我有这段代码： (defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds]) 但它似乎没有正确执行…
我们可以用 Java 中的泛型做什么来让它们看起来更好：
我有这种方法可以使用列表元素的属性之一将 List 转换为 Map： 简而言之，它看起来像这样： private Map>> toMap( List> diagnostics ) { Map>> resul…
在 Haskell 中测试某些数据是否属于某种类型？
既然Haskell有如此表达性的类型系统，是否有直接支持我们可以查询某些数据是否属于某种类型的东西？就像在 Racket 中一样，(String? "Hi") （将返回 t…
float 比 double 慢吗？ 64位程序运行速度比32位程序快吗？
使用 float 类型比使用 double 类型慢吗？ 我听说现代 Intel 和 AMD CPU 的双精度计算速度比浮点数计算速度快。 标准数学函数（sqrt、pow、log、sin、…
如何确保在 map() 期间保留自定义 Scala 集合的动态类型？
我读了一篇非常有趣的关于 Scala 2.8 架构的文章集合，我一直在尝试它。首先，我只是复制了这个漂亮的 RNA 示例的最终代码。仅供参考： abstract clas…
厌倦了用非语义测试来弥补动态类型 - 建议吗？
在开始学习计算机工程之前，我曾经使用 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 …
