编程语言 - 叶斌兵

类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。

编程语言 2026年10月28日 0 点赞 0 评论 32 浏览

类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。

编程语言 2026年10月28日 0 点赞 0 评论 32 浏览

全景回顾类型系统从早期简单类型到现代依赖类型的演进历程，涵盖Hindley-Milner推断、类型类、子类型多态、渐进式类型、所有权系统等核心范式，展望AI驱动的类型系统未来

编程语言 2026年10月28日 0 点赞 0 评论 32 浏览

类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。

编程语言 2026年10月28日 0 点赞 0 评论 30 浏览

Zig 是一门新兴的系统级编程语言，以零成本抽象、编译期执行、无缝 C 互操作著称。本文深度剖析 Zig 的核心设计理念、comptime 编译期求值机制、内存管理模型、与 C 的互操作能力、交叉编译体验，以及与 Rust 的全面对比。

编程语言 2026年10月10日 0 点赞 0 评论 30 浏览

深度解析编程语言类型系统的演进，从TypeScript的类型级编程到Rust的生命周期推理，探索类型系统如何从根本上保证程序正确性。

编程语言 2026年10月13日 0 点赞 0 评论 29 浏览

深入解析Rust语言的内存安全机制，涵盖所有权系统、借用检查器、生命周期标注、零成本抽象等核心概念，探讨其在系统编程领域的实践价值。

编程语言 2026年10月12日 0 点赞 0 评论 28 浏览

深入浅出解析代数数据类型(ADT)在现代编程语言中的崛起与应用，涵盖Rust、TypeScript、Swift等语言的实践案例，探讨如何用类型系统消灭运行时错误。

编程语言 2026年10月12日 0 点赞 0 评论 27 浏览

类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。

编程语言 2026年10月28日 0 点赞 0 评论 27 浏览

类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。

编程语言 2026年10月27日 0 点赞 0 评论 26 浏览

编程语言

首页

编程语言