Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
类型
论文:从第一原理导出依赖类型 OOP
1 年 前
20
本文提出了一种新颖的方法,从第一原理推导出依赖类型的面向.
Rust中新类型Newtype使用注意点
1 年 前
17
9K
Newtype 是 Rust 中类型驱动设计的原始要素,这使得无.
Java中创建泛型类型的实例
1 年 前
52
12K
泛型提供了一种优雅的方法,可以在我们的代码库中引入额外的抽象层,.
“等于”与“冒号”的千年一战:代码世界的语义革命
1 天 前
121
7K
编程语言语法:等于号=表示赋值,冒号:表示类型。 .
静态类型很有用,但也有局限性
1 年 前
133
在代码库内部,静态类型系统可以是一个强大的工具。良好的类.
Java中检测字符串是否为空的三种方法
1 年 前
206
3K
下面是几个测试字符串是否为空示例:.
下页
关闭