编程语言 - 叶斌兵

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

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

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

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

本文从设计哲学、内存模型、并发机制、性能表现、生态系统等多个维度深度对比 Rust 和 Go 两种现代系统编程语言，帮助开发者在实际项目中做出明智的技术选型。涵盖所有权系统、GC、goroutine、异步运行时等核心概念解析。

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

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

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

深入解析Zig编程语言的核心设计理念与特性，包括无隐藏控制流、comptime编译期执行、与C的无缝互操作等，并与C/Rust进行全方位对比分析。

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

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

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

深入剖析 Rust Trait 系统的内部机制，对比静态分发与动态分发的底层实现、性能特征和适用场景

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

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

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

深入对比Go与Rust两种现代语言在并发编程上的不同设计哲学：Go的goroutine和channel vs Rust的async/await和Send/Sync类型系统

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

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

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

编程语言

首页

编程语言