标签:Scala

Dafny与程序验证
综合技术

Dafny与程序验证

10月22日

B大以前写过一个 怎样写出没有 bug 的程序:程序证明的简单例子 ,是用Idris写的,我也来写一个,不过方法不太一样。 Dafny是MSR开发的程序设计语言,它混合了...
综合技术

Subtyping vs Typeclasses(三)

10月12日

上一篇文章介绍了 Type Classes,但并没有深入分析它的优势。tpolecat 写了一篇文章很好地比较了 Subtyping 和 Typeclasses ,本文进行了翻译...
科技动态

与Brian Goetz聊Java的模式匹配

10月09日

动机 之所有要研究是否有可能在Java中加入模式匹配,主要还是为了改进Java的语言特性。假如有这样的一段代码: if (obj instanceof Integer) { int...
综合编程

Subtyping vs Typeclasses(二)

09月18日

本文我们将介绍 Type Classes,类似上一篇文章 提及的 Subtyping ,这也是一种实现多态的技术,然而却更灵活。 什么是 Type Classes Ty...

专业 x 专注 x 聚合 x 分享 CC BY-NC-SA 4.0

使用声明 | 英豪名录