# 分类：compilers

> 该分类下的文章按时间倒序排列，便于按主题继续深挖。

## 页面摘要
- 路径: /categories/compilers/page/2/
- 当前页: 2 / 5
- 文章总数: 322
- 当前页文章数: 80

## 快速导航
- [首页](/)
- [分类索引](/categories/)
- [归档索引](/archive/)

## 本页文章
### [TypeScript 柯里化工程边界：可读性成本与性能权衡的实用框架](/posts/2026/03/22/typescript-currying-engineering-boundaries/)
- 日期: 2026-03-22T22:02:27+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 从工程实践角度给出 TypeScript 柯里化的适用边界判断标准，涵盖类型推导开销、闭包成本与可维护性影响的量化参数。

### [ZJIT 冗余对象加载与存储消除：编译器级性能优化技术解析](/posts/2026/03/22/zjit-redundant-object-load-store-optimization/)
- 日期: 2026-03-22T02:03:00+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 ZJIT 如何通过 HIR 级优化消除冗余对象字段访问，结合抽象解释技术提升 Ruby/Rails 运行时性能。

### [Parallel Perl 自动并行化解释器与 JIT 编译技术解析](/posts/2026/03/21/parallel-perl-autoparallelizing-interpreter-jit/)
- 日期: 2026-03-21T05:02:26+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Parallel Perl 如何在解释器层实现自动并行化与 JIT 编译，突破 Perl 性能瓶颈的编译器工程技术。

### [Perl 自动并行化编译器的技术路径与工程实践](/posts/2026/03/21/perl-auto-parallelizing-compiler-engineering/)
- 日期: 2026-03-21T02:04:31+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入分析 RPerl 等 Perl 自动并行化编译技术的架构设计与工程化参数，为高性能并行计算场景提供可落地的技术指南。

### [Haskell 规格即代码：类型级编程与形式化验证的工程实践](/posts/2026/03/19/haskell-spec-as-code-execution/)
- 日期: 2026-03-19T18:03:44+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 通过 Haskell 演示详尽规格如何转化为可执行代码，涵盖 Liquid Haskell 精炼类型、类型级编程与形式化验证的工程化参数配置。

### [SAT 求解器自动化研究框架：基准测试与超参搜索实战](/posts/2026/03/19/sat-solver-automation-framework/)
- 日期: 2026-03-19T10:05:33+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 构建 SAT 求解器的自动化研究框架，实现求解器性能基准测试与超参搜索的工程化实践，涵盖核心参数、工具选型与可落地参数清单。

### [查询模式驱动的ML推理JIT编译：冷启动延迟优化实战](/posts/2026/03/18/query-pattern-driven-jit-ml-inference/)
- 日期: 2026-03-18T23:05:16+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析基于运行时查询模式特化推理图的JIT编译技术，提供可落地的工程化参数与监控要点。

### [Rust 仿真 Higher-Kinded Types：rustc 类型系统调试实战](/posts/2026/03/18/rustc-hkt-emulation-debugging/)
- 日期: 2026-03-18T11:03:29+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 通过仿真 HKT 探索 rustc 内部实现，解析编译器类型系统的工程化路径与调试技巧，提供可落地的参数与监控要点。

### [Edge.js 技术解析：在 Wasm 沙箱中运行 Node.js 应用](/posts/2026/03/18/edge-js-nodejs-wasm-sandbox-runtime/)
- 日期: 2026-03-18T06:02:22+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Edge.js 如何通过 V8 引擎裁剪、syscall 转发与运行时隔离，在 WebAssembly 沙箱中实现安全的 Node.js 执行。

### [稀疏张量编译器的自动向量化与硬件亲和性优化](/posts/2026/03/18/sparse-tensor-compiler-auto-vectorization-hardware-affinity/)
- 日期: 2026-03-18T00:02:33+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析线性代数感知编译器如何将稀疏张量运算自动向量化，并给出硬件亲和性与内存布局的工程化优化策略。

### [Python 3.15 JIT 编译器回归之路：工程决策与性能改进参数](/posts/2026/03/18/python-3-15-jit-return-performance-improvements/)
- 日期: 2026-03-18T00:00:00+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 从 3.13/3.14 时期 JIT 性能甚至不如解释器，到 3.15 提前达成目标，本文解析追踪解释器、引用计数消除等核心改进的工程参数。

### [Leanstral 开源：6B 参数模型如何用 36 美元击败 Sonnet](/posts/2026/03/17/leanstral-open-source-formal-proof-agent/)
- 日期: 2026-03-17T13:02:06+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Mistral 发布首个面向 Lean 4 的开源编程代理，仅 6B 参数即可完成形式化证明，cost-efficient 优势显著。

### [PostgreSQL JIT 编译器优化实战：对齐 CPU 微架构的内联与向量化路径](/posts/2026/03/04/postgresql-jit-compiler-optimization/)
- 日期: 2026-03-04T16:04:43+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析 PostgreSQL JIT 编译器的工程优化路径：通过内联与成本阈值调优，对齐现代 CPU 微架构特征，提升热点查询的向量化与内联效率。

### [Gleam 应用打包成单可执行文件：gleescript 与 JS 原生二进制方案](/posts/2026/03/03/gleam-single-executable-packaging/)
- 日期: 2026-03-03T04:01:34+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Gleam 程序打包独立可执行文件的实用指南，覆盖嵌入 BEAM 的 escript 和 JS 转 native 的完整流程、参数优化与部署清单。

### [K 语言数组编程原语：秩感知动词、轴扫描与修改操作](/posts/2026/03/02/k-array-programming-primitives-rank-aware-verbs-axis-scans-amends/)
- 日期: 2026-03-02T06:01:43+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 在K语言中，利用秩感知动词、轴扫描和修改原语实现多维数组的无循环向量化计算，提供具体代码示例、轴操作参数和监控要点。

### [Dada 语言：位置引用实现零成本内部借用](/posts/2026/03/02/dada-enabling-internal-references-with-place-types/)
- 日期: 2026-03-02T03:16:52+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Dada 通过基于位置的引用系统和浅拷贝机制，实现结构体内部零开销借用，支持移动所有权而不失效引用。

### [Pyrefly 基准测试：Pyright 与 Mypy 在空容器类型推断的表现](/posts/2026/03/02/pyrefly-benchmark-pyright-and-mypy-on-empty-container-type-inference/)
- 日期: 2026-03-02T02:02:04+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 剖析 Pyrefly 对 Python 类型检查器空容器推断的比较，Pyright 偏 Any、Mypy/Pyrefly 第一使用推断，提供精确 IDE 补全与早期错误捕获的参数配置。

### [AI迭代提示构建Scheme编译器：词法解析、语法分析、求值器、GC与优化实践](/posts/2026/03/02/ai-assisted-scheme-compiler-in-4-days/)
- 日期: 2026-03-02T01:31:53+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 借鉴Puppy Scheme项目，用AI辅助在4天内实现Scheme到WASM编译器全栈，详述提示工程、组件参数与工程落地要点。

### [剖析 Lil' Fun Langs 解释器 guts：栈 VM、字节码分发、解析组合子与 arena GC](/posts/2026/03/02/lil-fun-langs-interpreter-guts/)
- 日期: 2026-03-02T01:02:41+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Taylor Troesh 的 Lil' Fun Langs 项目剖析小型函数式语言解释器内部核心：解析器组合子快速构建 AST、栈式虚拟机高效执行字节码、竞技场分配结合简单 GC 管理内存，提供工程化参数与实现清单。

### [玩具语言解释器核心工程：栈 VM、字节码分发循环、递归下降解析与紧凑 GC 区](/posts/2026/03/02/toy-language-interpreter-guts-stack-vms-bytecode-dispatch-parsers-gc-arenas/)
- 日期: 2026-03-02T00:17:23+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 基于 Taylor 的 Lil' Fun Langs 剖析玩具语言运行时关键组件，提供栈 VM 参数、dispatch 优化、parser precedence 与 GC arena 配置清单。

### [Woxi：DAG 求值中的增量 GC 与 Borrow Checker 集成](/posts/2026/03/01/woxi-dag-eval-incremental-gc-borrowck/)
- 日期: 2026-03-01T14:47:13+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Rust 重现 Mathematica 内核的核心挑战：DAG 表达式增量垃圾回收与 borrow checker 的安全集成，提供工程参数、监控要点与回滚策略。

### [Rust 实现 Mathematica 内核：求值循环、DAG、GC 与借用检查器优化](/posts/2026/03/01/rust-mathematica-kernel-eval-dag-gc-borrow-checker/)
- 日期: 2026-03-01T02:32:44+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Woxi 项目中，Rust 如何构建高效的 Mathematica 核心求值器：表达式 DAG 表示、垃圾回收机制及借用检查器下的符号计算安全，提供落地参数与监控清单。

### [Woxi：Rust 从零重实现的 Mathematica 内核与 Notebook 前端](/posts/2026/02/28/woxi-rust-mathematica-reimplementation/)
- 日期: 2026-02-28T22:31:42+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Woxi 用 Rust 重现 Wolfram Language 核心，支持 CLI 脚本与 Jupyter Notebook，实现便携符号计算，提供解释器参数、模式匹配优化与集成清单。

### [玩具优化器模糊测试：属性基生成随机IR并验证pass不变量](/posts/2026/02/28/property-based-fuzzing-toy-optimizer-compiler-backend/)
- 日期: 2026-02-28T18:31:22+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 用属性基模糊测试生成随机Toy IR程序，运行解释器比较优化前后堆状态，捕获load/store优化bug，提供生成参数、不变量与CI集成要点。

### [Emacs Lisp 语义语法高亮的 Tree-sitter 查询实践：区分变量、函数、宏与特殊形式](/posts/2026/02/28/tree-sitter-queries-for-semantic-syntax-highlighting-in-emacs-lisp/)
- 日期: 2026-02-28T14:01:33+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 基于 Tree-sitter 查询在 Emacs 中实现 Emacs Lisp 语义高亮，通过捕获组与高亮规则精确区分 vars/functions/macros/special-forms，提供工程化配置与优化参数。

### [Gawk 5.4.0 正则匹配器替换：引入 MinRX POSIX 引擎](/posts/2026/02/28/gawk-5-4-0-minrx-regex-matcher-replacement/)
- 日期: 2026-02-28T10:31:41+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Gawk 5.4.0 将默认正则引擎替换为 POSIX 合规的 MinRX，提升匹配准确性和文件读取性能，提供工程迁移参数、测试清单与监控策略。

### [Julia性能优化：具体类型、预分配、SIMD加速、类型稳定与全局变量陷阱](/posts/2026/02/27/julia-performance-tips-concrete-types-prealloc-simd-turbo/)
- 日期: 2026-02-27T18:32:02+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: Julia性能工程化实践：concrete types避抽象陷阱、数组预分配参数、@simd/@turbo循环向量化、类型稳定函数设计及规避全局变量的最佳参数与监控。

### [Pharo BPatterns：使用块级联的声明式重写引擎](/posts/2026/02/27/pharo-bpatterns-block-based-rewrite-engine/)
- 日期: 2026-02-27T18:16:45+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 在 Pharo Smalltalk 中，通过块级联实现 AST 模式匹配、统配与术语重写，提供最小样板的重构与弃用迁移实践。

### [CLOS MOP 扩展：用自定义方法组合和 EQL 特殊化器实现 Java 风格单分派](/posts/2026/02/27/clos-mop-java-style-single-dispatch/)
- 日期: 2026-02-27T12:31:34+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 利用 CLOS MOP 的自定义泛型函数元对象、方法组合与 EQL/custom 特殊化器，实现泛型函数的 Java 式单分派，提供完整代码示例与工程参数。

### [用 Wolfram Language 工程最小令牌 S 组合子代码：奖项挑战优化](/posts/2026/02/27/s-combinator-wolfram-language-optimization/)
- 日期: 2026-02-27T04:46:23+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 针对 Wolfram S 组合子挑战，提供最小令牌 Wolfram Language 代码实现、归约优化参数与模拟落地清单。

### [Om 语言：Actor 并发模式匹配与 JIT 优化消息分发](/posts/2026/02/26/om-lang-concurrent-pattern-matching-for-actors-with-jit-dispatch/)
- 日期: 2026-02-26T22:19:13+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 为 Om 语言设计并发 Actor 系统的模式匹配语法，聚焦 JIT 优化消息分发和低延迟原语的工程参数与监控要点。

### [Om 语言中基于 Actor 的并发运行时实现：集成 JIT 优化低延迟系统](/posts/2026/02/26/implementing-actor-based-concurrency-in-om-lang-with-jit-for-low-latency-systems/)
- 日期: 2026-02-26T16:01:55+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 基于 Om 语言简约设计，实现 Actor 并发模型与 JIT 集成，提供低延迟系统应用的工程参数、监控要点和落地清单。

### [Tree-sitter 纯 Go 重实现：嵌入优化与 C 性能对标](/posts/2026/02/26/tree-sitter-pure-go-port-embeddability-performance-parity/)
- 日期: 2026-02-26T12:16:59+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: tree-sitter-go 项目提供纯 Go 解析器，针对嵌入式场景优化构建参数、性能调优与监控要点，实现与 C 运行时相当的表现。

### [从零实现最小 Forth 解释器：直接线程解释与词法分析工程实践](/posts/2026/02/25/direct-threaded-forth-interpreter-implementation/)
- 日期: 2026-02-25T10:48:45+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 聚焦直接线程解释（DTC）的核心机制，详细阐述词典结构、内部解释器 NEXT、DOCOL 与词法分析的实现路径。

### [1994年Piggy-Back编译器：将Prolog作为嵌入式DSL嵌入C的技术解析](/posts/2026/02/25/embedding-prolog-as-dsl-in-c-1994-piggyback-compiler/)
- 日期: 2026-02-25T07:32:46+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析1994年Codognet与Diaz提出的piggy-back编译器，探讨将Prolog作为嵌入式领域特定语言集成到C中的编译器设计与混合开发范式。

### [从零实现 Forth 解释器：词法分析、栈式虚拟机与 REPL 工程实践](/posts/2026/02/25/forth-interpreter-implementation-guide/)
- 日期: 2026-02-25T05:02:34+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入讲解 Forth 语言解释器的核心实现，包括词法分析器设计、栈式虚拟机架构、字节码编译策略以及交互式 REPL 的工程化实践。

### [SBCL 编译器运行时优化与分代 GC 调优策略](/posts/2026/02/25/sbcl-compiler-runtime-optimization/)
- 日期: 2026-02-25T04:17:28+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Steel Bank Common Lisp 的运行时优化机制、分代垃圾回收策略及跨平台构建的技术细节，为高性能 Lisp 开发提供可落地的调优参数。

### [λProlog高阶统一算法的工程化实践：从模式片段到定理证明器核心](/posts/2026/02/25/lambda-prolog-higher-order-unification-engineering/)
- 日期: 2026-02-25T01:34:51+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析Miller模式片段如何使高阶统一从不可判定变为工程可行，并给出定理证明器实现的关键参数。

### [Prolog-C FFI内存管理与谓词调用：1994年工程实践解析](/posts/2026/02/25/prolog-c-ffi-memory-management/)
- 日期: 2026-02-25T01:22:06+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析1994年C-Prolog FFI工程实现：内存管理、谓词调用与双向数据转换的技术细节与实践参数。

### [TALx86寄存器类型推断：依赖类型在x86汇编层的前向传播与约束求解](/posts/2026/02/24/talx86-register-type-inference-forward-propagation-constraint-solving/)
- 日期: 2026-02-24T20:49:30+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析TALx86在x86汇编层面的依赖类型推断机制，探讨寄存器类型的前向传播算法、约束求解策略以及与寄存器分配阶段的工程交互。

### [Lambda Prolog 高阶逻辑编程：higher-order unification 与模式语法工程实现](/posts/2026/02/24/lambda-prolog-higher-order-unification-pattern-syntax/)
- 日期: 2026-02-24T20:35:04+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Lambda Prolog 中高阶合一算法的工程实现路径，包括 Miller 模式语法、λ 项编码与 λ-WAM 抽象机的整合策略。

### [ThinkPad X270 移植 coreboot 固件工程实践：EC 交互、ME 移除与安全加固](/posts/2026/02/24/thinkpad-x270-coreboot-porting/)
- 日期: 2026-02-24T14:49:29+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入探讨在 ThinkPad X270 上移植 coreboot 的完整工作流，涵盖 EC 固件交互原则、me_cleaner 移除 Intel 管理引擎的三种策略以及 BootGuard 限制下的安全加固路径。

### [Cornell Typed Assembly Language：穿越编译流水线的类型安全证书](/posts/2026/02/24/cornell-typed-assembly-language/)
- 日期: 2026-02-24T13:19:14+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析 Cornell Typed Assembly Language 如何在汇编层保留类型安全，携带类型注解穿越编译流水线实现细粒度运行时验证。

### [Scheme 编译器中 Continuation 实现机制与 goto 模拟](/posts/2026/02/24/scheme-continuation-implementation-goto-emulation/)
- 日期: 2026-02-24T05:02:54+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Scheme 编译器如何通过Continuation对象与栈帧操作实现结构化跳转，并给出工程化实现参数。

### [C99实现突破排序障碍：DMMSY最短路径算法解析](/posts/2026/02/24/dmmsy-sssp-c99-implementation/)
- 日期: 2026-02-24T01:01:25+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析STOC 2025最佳论文算法如何用C99实现O(m log^{2/3}n)突破传统Dijkstra的O(m+n log n)时间复杂度上限。

### [femtolisp 压缩式 GC 与词法作用域：小型 Scheme 实现的设计剖析](/posts/2026/02/23/femtolisp-compacting-gc-lexical-scoping/)
- 日期: 2026-02-23T22:16:57+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入分析 femtolisp 的 Cheney 半空间压缩式 GC 实现与词法作用域设计，为轻量级 Lisp 解释器提供可落地的工程参数与实现要点。

### [PRQL 管道式查询语言语法设计与 SQL 编译管线](/posts/2026/02/23/prql-pipelined-query-compilation/)
- 日期: 2026-02-23T21:07:59+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析 PRQL 如何通过多层级中间表示实现从管道式语法到 SQL 的编译转换，涵盖词法分析、语义分析与 SQL 生成的核心设计。

### [Oxc LSP Server 架构解析：语言服务实现与编辑器集成机制](/posts/2026/02/23/oxc-lsp-server-architecture/)
- 日期: 2026-02-23T19:18:55+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Oxc 语言服务器的架构设计，涵盖 Tool 抽象、语义标记、代码操作、悬停诊断及工作区配置管理等核心机制。

### [Oxc Minifier 代码生成管线解析：常量折叠、死代码消除与作用域分析工程实践](/posts/2026/02/23/oxc-minifier-code-generation-pipeline/)
- 日期: 2026-02-23T16:47:49+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Rust 编写的 Oxc minifier 如何实现常量折叠、死代码消除、作用域分析与变量名压缩的工程细节。

### [程序验证器基准数据集构建与SMT求解器集成的工程实践](/posts/2026/02/23/program-verifier-benchmark-smt-integration/)
- 日期: 2026-02-23T15:02:24+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析DafnyBench等大规模基准数据集的构建策略，涵盖数据抓取、去重算法、验证条件生成及SMT求解器驱动架构的工程细节。

### [ML程序验证器训练配方：超参数、损失函数与数据策略工程实践](/posts/2026/02/23/ml-program-verifier-training-methodology/)
- 日期: 2026-02-23T13:35:47+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 聚焦 ML 程序验证器的训练配方，从超参数调优、数据集构建、损失函数设计到训练策略的系统性工程实践总结。

### [用机器学习方法训练程序验证器：架构设计与实现要点](/posts/2026/02/23/machine-learning-program-verifier-architecture/)
- 日期: 2026-02-23T12:32:30+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 探讨如何结合形式化验证和神经网络技术，训练能够自动生成可验证证明的程序验证器，并给出工程化落地的关键参数与监控建议。

### [Oxc Rust 编译器的 JavaScript 工具链架构解析](/posts/2026/02/23/oxc-rust-javascript-compiler-architecture/)
- 日期: 2026-02-23T12:15:54+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Oxc 如何用 Rust 构建高性能 JavaScript 工具链：Parser、AST、语义分析、linter 与 minifier 的代码生成管线设计。

### [ReferenceFinder 折纸算法解析：基于 Huzita-Justin 公理的坐标计算原理](/posts/2026/02/23/referencefinder-origami-algorithm/)
- 日期: 2026-02-23T03:16:18+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 ReferenceFinder 如何利用折纸几何公理系统，通过有限次折叠操作在方形纸上精确定位任意坐标点，揭示折纸数学的工程化实现路径。

### [Rust 中 Parse, Don't Validate 的工程权衡与类型守卫设计](/posts/2026/02/23/parse-dont-validate-rust-type-driven-design/)
- 日期: 2026-02-23T00:31:55+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 对比验证优先与解析优先在 Rust 类型系统中的工程实践，结合具体代码案例分析 Err 降级与类型守卫的风格差异与适用场景。

### [Rust 中 Parse Don't Validate 模式的工程实践](/posts/2026/02/22/parse-dont-validate-rust/)
- 日期: 2026-02-22T22:49:17+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Rust 里 Parse Don't Validate 模式的工程实现，通过类型构造与约束验证的提前合并，避免先解析后验证的二次开销，并给出可落地的参数配置与边界处理建议。

### [ReferenceFinder：基于 Huzita-Justin 公理的折纸参考点计算几何算法](/posts/2026/02/22/reference-finder-origami-algorithm/)
- 日期: 2026-02-22T22:17:55+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析 Robert J. Lang 的 ReferenceFinder 如何利用七条 Huzita-Justin 折纸公理，通过计算几何搜索算法实现任意目标坐标的折叠序列生成。

### [Rust 中的「解析而非验证」：类型驱动设计的工程实践](/posts/2026/02/22/parse-dont-validate-rust-type-driven-design/)
- 日期: 2026-02-22T20:26:50+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Rust 中通过类型系统设计在编译期捕获错误的「Parse, Don't Validate」模式。

### [编译器非确定性的四大根源：未定义行为、内存填充、时间戳与随机化](/posts/2026/02/22/compiler-non-determinism-sources/)
- 日期: 2026-02-22T09:18:31+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入剖析编译器非确定性的具体来源，提供未定义行为、内存布局、时间戳与随机化四个维度的工程化控制参数与监控要点。

### [编译器确定性验证：从可复现构建到自动化测试的工程实践](/posts/2026/02/22/compiler-determinism-verification/)
- 日期: 2026-02-22T08:50:34+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析编译器确定性验证的工程实践：输入等价性测试、幽灵行为检测与可复现构建保障。

### [用符号执行检测全称-存在量词超Bug：OHyperLTLsafe与双引擎架构解析](/posts/2026/02/22/finding-forall-exists-hyperbugs-using-symbolic-execution/)
- 日期: 2026-02-22T08:05:04+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析如何用符号执行技术自动检测全称-存在量词「超Bug」，解决形式化验证中难以捕获的系统性逻辑缺陷。

### [Invisible Types, Safe Ownership, and Algebraic Effects in Loon Language](/posts/2026/02/22/invisible-types-safe-ownership-algebraic-effects-loon/)
- 日期: 2026-02-22T03:47:38+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Loon 函数式语言的 invisible types、safe ownership 与 algebraic effects 三大特性，探讨运行时安全与表达力的平衡设计。

### [深入 Lean 4 定理证明器内核架构：依赖类型理论与战术引擎详解](/posts/2026/02/22/lean-4-theorem-prover-kernel-architecture/)
- 日期: 2026-02-22T00:17:59+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 剖析 Lean 4 定理证明器的三层架构设计，详解核心依赖类型理论实现、战术引擎的元编程框架与 AI 验证系统的工程实践。

### [Loon 隐形类型系统、安全所有权与代数效应的设计解析](/posts/2026/02/22/loon-invisible-types-safe-ownership-algebraic-effects/)
- 日期: 2026-02-22T00:00:00+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析新型函数式语言 Loon 如何通过 Hindley-Milner 推断实现隐形类型、编译器驱动的安全所有权以及代数效应统一 IO、错误与状态。

### [Lean 4 内核解析：依赖类型论与证明检查器工作机制](/posts/2026/02/21/lean-4-kernel-dependent-type-theory/)
- 日期: 2026-02-21T23:32:51+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Lean 4 定理证明器的核心架构：依赖类型论形式化基础、内核证明检查器的判定过程、tactics 自动化引擎的元编程设计，以及函数式编程范式在其中的系统性应用。

### [Coccinelle 语义补丁与 Linux 内核源码级自动化重构指南](/posts/2026/02/21/coccinelle-semantic-patch-linux-kernel/)
- 日期: 2026-02-21T20:22:04+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Coccinelle 语义补丁语言 SmPL 与 SPatch 工具，揭示 Linux 内核跨文件自动化重构的工程实践与关键参数。

### [Lean 4定理证明器架构解析：面向AI代码验证的工程优势与实践](/posts/2026/02/21/lean-4-theorem-prover-architecture-ai-verification/)
- 日期: 2026-02-21T19:17:55+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析Lean 4的核心理架构——从依赖类型理论内核到元编程层——探讨其在AI代码验证与形式化方法中的工程优势与实践路径。

### [Lean 4定理证明器：形式化验证如何成为AI推理的竞争力基石](/posts/2026/02/21/lean-4-theorem-prover-ai-competitive-edge/)
- 日期: 2026-02-21T16:04:47+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析Lean 4定理证明器的核心机制与AI推理能力的关系，探讨形式化验证作为AI竞争力的技术路径。

### [微型编程语言的设计模式与实现技巧](/posts/2026/02/21/mini-language-implementation-patterns/)
- 日期: 2026-02-21T04:47:05+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 探索小型玩具编程语言的设计模式与实现技巧，聚焦解释器、AST 与 DSL 构造的工程实践。

### [小型函数式编程语言的设计与实现模式](/posts/2026/02/21/design-and-implementation-patterns-of-miniature-functional-programming-languages/)
- 日期: 2026-02-21T00:00:00+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 从70行CoC到3万行MicroHs，解析玩具语言的结构化构造与解释器工程路径，为开发者提供可落地的参数化实现指南。

### [Toy Optimizer 类型区间重叠算法：TBAA 安全负载消除的实现细节](/posts/2026/02/20/toy-optimizer-type-interval-overlap-algorithm/)
- 日期: 2026-02-20T14:03:59+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Toy Optimizer 中基于类型层次区间的重叠检测算法，揭示 TBAA 如何实现安全的冗余负载消除优化。

### [GCC 与 Clang 的 defer 实现：ABI 层面的栈展开机制对比](/posts/2026/02/20/gcc-clang-defer-abi-stack-unwinding-comparison/)
- 日期: 2026-02-20T13:47:40+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析 GCC 与 Clang 在 ABI 层面的 defer 语句实现差异，聚焦栈展开机制的 IR 级别对比与优化路径。

### [GCC 与 Clang 的 defer 语句：统一 C 语言资源管理新范式](/posts/2026/02/20/gcc-clang-defer-unified-c-resource-management/)
- 日期: 2026-02-20T13:32:15+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 GCC 与 Clang 编译器新增的 defer 语句支持，探讨 TS 25755 技术规范与 C 语言资源管理的统一实践。

### [Toy Optimizer 中的类型导向别名分析：抽象堆层次与优化精度](/posts/2026/02/20/toy-optimizer-type-based-alias-analysis/)
- 日期: 2026-02-20T09:17:37+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析教学用 Toy Optimizer 编译器中基于类型系统的别名分析实现，评估其负载/存储优化精度与工程权衡。

### [在 Toy Optimizer 中实现基于类型的别名分析](/posts/2026/02/20/type-based-alias-analysis-toy-optimizer/)
- 日期: 2026-02-20T07:32:10+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 通过类型层次结构的区间重叠查询，在简化的Toy Optimizer中实现TBAA，使指针访问优化更加安全高效。

### [语法优先陷阱：编程语言选择的工程化评估框架](/posts/2026/02/20/syntax-language-selection-engineering/)
- 日期: 2026-02-20T03:16:23+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 从语法设计角度评估编程语言选择对团队工程效率的影响与权衡，给出工程化评估参数与决策框架。

### [Forth 数组实现深度解析：内存布局、CREATE-DOES> 与 DO-LOOP 边界机制](/posts/2026/02/20/forth-arrays-implementation/)
- 日期: 2026-02-20T02:02:43+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入剖析 Forth 语言中数组的本质——字典中的连续内存块，详解 CREATE 与 DOES> 构建自定义数组类型的设计哲学，以及 DO-LOOP 索引边界的底层实现机制。

### [C++26 编译期生命周期检查与 LLVM fbounds-safety 运行时边界检查的工程路径对比](/posts/2026/02/19/cpp26-lifetime-vs-fbounds-safety/)
- 日期: 2026-02-19T22:57:32+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 对比 std::is_within_lifetime 与 LLVM fbounds-safety 两种 C++ 内存安全路线的工程实现差异与适用场景，为存量 C 代码迁移提供决策依据。

### [C++26 编译期对象生命周期检测：std::is_within_lifetime 详解](/posts/2026/02/19/cpp-26-std-is-within-lifetime/)
- 日期: 2026-02-19T22:16:36+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 C++26 引入的 std::is_within_lifetime 类型trait，揭示编译器如何在编译期验证对象生命周期的合法性。

### [LLVM fbounds-safety：编译器层实现 C 语言零运行时开销的边界安全防护](/posts/2026/02/19/llvm-fbounds-safety/)
- 日期: 2026-02-19T22:04:03+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 解析 LLVM 新增的 fbounds-safety 特性如何在编译器层为 C 代码提供自动化边界安全检查，实现零运行时开销的内存安全防护。