首页 文章列表 标签墙 返回找工具啦

类型系统 共 27 篇文章

Kotlin 类型系统：Any、Nothing、Unit
2026-04-05 02:55:49
Kotlin 类型系统：Any、Nothing、Unit Kotlin 的类型系统设计精巧，其中 Any、Nothing、Unit 是三个最基础也最特殊的类型。理解它们的工作原理，是掌握 Kotlin 类型推断和写出健壮代码的关键一步。 一切类型的起点：Any 在 Kotlin 中，Any 是所有非
Kotlin 类型系统 Any
54 0
Haskell 类型推断：类型变量与多态
2026-04-05 01:18:57
Haskell 类型推断：类型变量与多态 类型推断是 Haskell 最强大的特性之一。编写代码时，你几乎可以完全省略类型声明，编译器会根据代码的上下文自动推导出正确的类型。这篇文章将深入讲解类型推断的工作原理，以及类型变量如何实现多态性。 类型推断的基本机制 Haskell 的类型推断基于 Hin
Haskell类型推断 类型变量 多态性
67 0
Rust 错误处理：Result 与 Option 类型
2026-04-04 07:22:26
Rust 错误处理：Result 与 Option 类型 Rust 通过 Result 和 Option 类型强制你在编译期就考虑错误和缺失值的情况，避免运行时崩溃。这两种类型是 Rust 安全性和可靠性的重要基石。 理解 Option：表示“可能没有值” 当你有一个值，但它可能不存在（比如从哈希表
Rust 错误处理 Result
97 0
Go 接口：interface 定义与实现
2026-04-03 15:00:00
Go 接口：interface 定义与实现 Go 语言中的 interface 是一种类型，用于定义一组方法签名。任何类型只要实现了这些方法，就被认为实现了该接口。这种机制不依赖显式声明，而是通过隐式满足来完成，让代码更灵活、解耦更强。 定义一个 interface 创建一个接口类型，使用 type
Go接口 interface 方法签名
99 0
Go 高级特性：接口的隐式实现
2026-04-03 08:34:14
Go 高级特性：接口的隐式实现 Go 语言的接口（interface）机制与其他主流面向对象语言（如 Java、C）有本质区别：类型是否实现某个接口，不需要显式声明，只需该类型的方法集合包含接口定义的所有方法即可。这种“隐式实现”是 Go 接口设计的核心哲学，它带来了极大的灵活性和解耦能力。 理解隐
Go接口 隐式实现 类型系统
56 0
Scala 偏函数：PartialFunction
2026-04-02 14:31:23
Scala 偏函数：PartialFunction Scala 中的 PartialFunction 是一种特殊的函数类型，它只对部分输入值有定义。与普通函数（Function1A, B）不同，偏函数允许你明确声明“哪些输入我能处理，哪些我不管”。这种特性在模式匹配、异常处理和事件分发等场景中非常实
Scala 偏函数 PartialFunction
71 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
61 0