类型系统 共 4 篇文章

Go 接口:interface 定义与实现
2026-04-03 15:00:00
Go 接口:interface 定义与实现 Go 语言中的 interface 是一种类型,用于定义一组方法签名。任何类型只要实现了这些方法,就被认为实现了该接口。这种机制不依赖显式声明,而是通过隐式满足来完成,让代码更灵活、解耦更强。 定义一个 interface 创建一个接口类型,使用 type
Go接口 interface 方法签名
4 0
Go 高级特性:接口的隐式实现
2026-04-03 08:34:14
Go 高级特性:接口的隐式实现 Go 语言的接口(interface)机制与其他主流面向对象语言(如 Java、C)有本质区别:类型是否实现某个接口,不需要显式声明,只需该类型的方法集合包含接口定义的所有方法即可。这种“隐式实现”是 Go 接口设计的核心哲学,它带来了极大的灵活性和解耦能力。 理解隐
Go接口 隐式实现 类型系统
7 0
Scala 偏函数:PartialFunction
2026-04-02 14:31:23
Scala 偏函数:PartialFunction Scala 中的 PartialFunction 是一种特殊的函数类型,它只对部分输入值有定义。与普通函数(Function1A, B)不同,偏函数允许你明确声明“哪些输入我能处理,哪些我不管”。这种特性在模式匹配、异常处理和事件分发等场景中非常实
Scala 偏函数 PartialFunction
4 0
TypeScript 工具类型:Partial、Required、Pick、Omit
2026-04-02 07:29:21
TypeScript 工具类型:Partial、Required、Pick、Omit TypeScript 提供了多个内置的工具类型(Utility Types),用于在类型层面进行组合和变换。Partial、Required、Pick 和 Omit 是最常用的四个,它们能显著减少重复代码,提升类型
TypeScript 工具类型 Partial
8 0