# 分类：compiler-design

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

## 页面摘要
- 路径: /categories/compiler-design/page/3/
- 当前页: 3 / 9
- 文章总数: 699
- 当前页文章数: 80

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

## 本页文章
### [JavaScript 中 tagless-final 机器实现：嵌入式 DSL 的参数多态与运行时解释器](/posts/2025/12/04/implement-tagless-final-machines-in-javascript/)
- 日期: 2025-12-04T22:17:00+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 利用参数多态在 JS 中实现无标签最终编码的图灵机，支持组合表达式、运行时解释器生成与纯度优化。

### [JavaScript 无标签最终图灵机：轻量级执行脱离 VM 约束](/posts/2025/12/04/implement-tagless-final-machines-javascript/)
- 日期: 2025-12-04T21:16:52+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 采用 tagless final 风格在 JS 中构建图灵机，支持多解释器切换，实现高效无 VM 依赖的计算执行。

### [MTXT：循环模式序列解析至 WebAudio 合成图的浏览器实时音乐编码](/posts/2025/12/04/mtxt-cycle-based-pattern-sequencing-webaudio/)
- 日期: 2025-12-04T20:31:17+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: MTXT 文本音乐记谱通过循环基序列解析构建 WebAudio 节点图，实现浏览器端低延迟实时音乐编码的工程参数与实践要点。

### [逆向 JavaScriptCore 未文档 JIT 分层、内联缓存与 GC：自定义优化插桩实践](/posts/2025/12/04/reverse-engineering-javascriptcore-jit-tiers-inline-caching-gc/)
- 日期: 2025-12-04T17:16:27+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 剖析 JSC LLInt/Baseline/DFG/FTL 多层 JIT、内联缓存多态机制及增量 GC，供逆向自定义优化与性能插桩的参数阈值与监控清单。

### [Mirror-Bridge：利用 C++ 反射自动生成 Python/JS/Lua 绑定](/posts/2025/12/04/mirror-bridge-reflection-multi-lang-bindings/)
- 日期: 2025-12-04T16:31:26+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 借助 C++26 静态反射，Mirror-Bridge 实现无需手动封装的 Python/JS/Lua 绑定生成管道，提供高性能多语言互操作的关键工程参数与实践。

### [在 CDC 6600 模拟器上复现欧拉幂和猜想反例：Fortran I/O、汇编分派与向量指令模拟](/posts/2025/12/04/reproducing-euler-power-sum-counterexample-cdc-6600-emulator/)
- 日期: 2025-12-04T15:47:00+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 通过 CDC 6600 模拟器复现 1966 年欧拉猜想 k=5 反例，详述 Fortran I/O 处理、汇编分派逻辑及向量指令模拟的关键参数与工程要点。

### [Mirror-Bridge：利用C++26反射一键生成Python绑定](/posts/2025/12/04/mirror-bridge-cpp-reflection-python-bindings/)
- 日期: 2025-12-04T15:01:19+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于C++26静态反射元数据，自动发现C++类、方法与字段，生成高效Python绑定。提供Docker搭建、命令参数、性能优化清单。

### [LLVM后端融合鲁棒的窥孔优化规则设计：情境分析与多遍匹配](/posts/2025/12/04/peephole-optimizer-resilience-llvm-backend/)
- 日期: 2025-12-04T13:16:42+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对LLVM后端指令融合（如add+mov→lea+shl），通过情境分析和多遍模式匹配，设计鲁棒窥孔优化规则，提升优化管道稳定性。

### [Schubfach 算法：1KB 内实现精准双精度浮点转字符串](/posts/2025/12/04/schubfach-algorithm-1kb-precise-double-to-string/)
- 日期: 2025-12-04T12:07:34+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 通过基数分组与预计算表实现最小化、高精度的 double-to-decimal 转换，核心逻辑压缩至 1KB 以内。

### [构建轻量Common Lisp运行时：WASM交叉编译中的尾调用与GC集成](/posts/2025/12/04/building-a-minimal-common-lisp-runtime-tail-call-and-gc-integration-in-wasm-cross-compilation/)
- 日期: 2025-12-04T08:13:27+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 通过WasmGC提案与尾调用优化技术，实现Common Lisp到WebAssembly的高效交叉编译，解决栈帧管理与内存碎片问题。

### [构建最小 Common Lisp WebAssembly 运行时：尾调用优化与 GC 集成](/posts/2025/12/04/building-minimal-common-lisp-runtime-for-webassembly-tail-call-and-gc/)
- 日期: 2025-12-04T08:08:41+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向 Common Lisp 到 WebAssembly 交叉编译，给出最小运行时设计、尾调用优化参数与垃圾回收集成要点。

### [C静态数组参数：边界检查与向量化优化](/posts/2025/12/04/c-static-array-parameters-bounds-vectorization/)
- 日期: 2025-12-04T06:05:37+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: C99引入函数参数数组[static N]语法，指定预期元素数，实现编译器自动边界验证、别名分析和向量化优化，无需手动传递大小。

### [GHC 链接器链接时瘦身：死代码消除与常量折叠实践](/posts/2025/12/04/ghc-shrinking-while-linking-dead-code-elimination/)
- 日期: 2025-12-04T02:05:39+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: GHC 在链接阶段集成死代码消除与常量折叠，实现二进制动态瘦身，提供工程参数、阈值与监控要点。

### [C++编译器优化实践：窥孔替换、内联决策、逃逸分析与自动向量化](/posts/2025/12/04/cpp-compiler-optimizations-peephole-inlining-escape-analysis-vectorization/)
- 日期: 2025-12-04T01:49:30+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 剖析C++编译器核心优化技术，包括窥孔模式匹配、内联阈值决策、逃逸分析栈分配及自动向量化条件，提供GCC/Clang工程参数与代码清单。

### [C++26 Executors 自定义调度实践：高效异步任务图与协程基准](/posts/2025/12/03/cpp26-executors-custom-scheduling/)
- 日期: 2025-12-03T23:19:08+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 实践 C++26 sender/receiver 模型，集成自定义调度器构建高效异步任务图，并与协程基准对比，提供落地参数与监控要点。

### [C++编译器实用优化实战：窥孔、内联、逃逸分析与向量化](/posts/2025/12/03/practical-c-plus-plus-compiler-optimizations-peephole-inlining-escape-analysis-and-vectorization/)
- 日期: 2025-12-03T23:14:19+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 通过代码示例和基准测试，探索C++编译器中的窥孔优化、内联、逃逸分析与向量化实战应用、性能收益及工程权衡。

### [Xania 优化器防愚弄窥孔机制：情境感知规则集的自适应重写](/posts/2025/12/03/xania-optimizer-fooling-prevention-peephole/)
- 日期: 2025-12-03T23:02:42+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 剖析 LLVM 后端窥孔优化器如何通过情境感知规则集，防御 add/mov-to-lea/shl 等模式的愚弄，实现自适应指令重写与性能保障。

### [Xania LLVM后端工程化不可欺骗优化器窥孔：顽固ADD/MOV序列转LEA/SHL与阈值调优](/posts/2025/12/03/xania-llvm-backend-peephole-optimizer-fooling-add-mov-to-lea-shl/)
- 日期: 2025-12-03T20:50:35+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Xania LLVM后端通过窥孔优化匹配顽固多ADD/MOV序列，替换为LEA/SHL高效指令，并调优匹配阈值防止模式逃逸，提供工程参数与监控要点。

### [Xania LLVM 后端中的“添加情境”窥孔优化：多指令序列匹配与强度降低](/posts/2025/12/03/xania-adding-situation-peephole-opt/)
- 日期: 2025-12-03T12:20:53+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对自定义 LLVM 后端 '添加情境' 模式，给出窥孔优化的多指令匹配规则、强度降低参数及工程落地清单。

### [MiniZinc约束建模Partridge Packing Problem：高效2D正方形完美装箱策略](/posts/2025/12/03/minizinc-partridge-packing-model/)
- 日期: 2025-12-03T06:19:07+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 详解MiniZinc下Partridge Packing Problem的约束建模，包括diffn非重叠、精确填充与边缘放置限制、对称性打破技巧，提供OR-Tools CP-SAT求解参数与性能优化清单。

### [Zig 新异步运行时计划：单线程事件循环与协程调度实践](/posts/2025/12/03/zig-new-async-runtime-plan-single-threaded-event-loop-and-coroutine-scheduling/)
- 日期: 2025-12-03T04:49:34+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Zig 新 async 计划聚焦单线程事件循环协程调度、挂起 poll 优化，提供低延迟网络服务工程参数与监控要点。

### [TypeScript 7 优化进展：增量分析与并行构建加速](/posts/2025/12/03/typescript-7-progress-optimizations/)
- 日期: 2025-12-03T02:50:35+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: TypeScript 7 原生预览版通过增量分析重构和共享内存并行，实现编译速度10倍提升，详解落地参数、监控要点与迁移清单。

### [Lowtype：Ruby优雅渐进式类型系统：静态推断、运行时契约与最低性能开销](/posts/2025/12/03/lowtype-elegant-ruby-types/)
- 日期: 2025-12-03T01:53:44+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 通过lowtype为Ruby引入渐进式类型：静态类型推断、运行时契约检查，实现动态代码安全化，同时性能开销最小化，提供集成参数与监控要点。

### [Zig 无线程异步运行时：事件循环协程设计](/posts/2025/12/02/zigs-event-loop-coroutines-for-threadless-async-runtime/)
- 日期: 2025-12-02T23:03:02+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Zig 重设计异步运行时，采用单线程事件循环协程，避免线程开销，实现低延迟网络服务。通过 await 挂起与 poll 调度，提供高效参数与监控要点。

### [Elixir 中 Lazy BDD 用于集合类型论类型的紧凑共享表示与按需评估](/posts/2025/12/02/lazier-bdd-for-set-theoretic-types-in-elixir/)
- 日期: 2025-12-02T22:48:38+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对 Elixir 渐进式类型系统，介绍 Lazy Binary Decision Diagrams 在表示 set-theoretic types 时的共享子图优化、惰性构建参数与工程监控要点。

### [GHC 链接器死代码消除与 COMDAT 重复符号折叠：多遍链接缩小 Haskell 二进制](/posts/2025/12/02/ghc-linker-dead-code-elimination-and-comdat-duplicate-symbol-folding/)
- 日期: 2025-12-02T21:16:18+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: GHC 链接器引入死代码消除与 COMDAT 重复符号折叠，通过多遍链接显著缩小 Haskell 二进制体积，提供具体参数配置、基准测试与工程权衡。

### [Rust/LLVM后端：连续add指令的Peephole优化融合lea/mul](/posts/2025/12/02/adding-situation-peephole-optimizations-rust-llvm/)
- 日期: 2025-12-02T20:34:23+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对连续add指令'adding situation'，应用peephole优化融合为lea/mul序列，优化uop数与寄存器分配，提供实现规则与参数。

### [FreeBASIC 运行时性能优化：剖析 2019 YouTube 优化 Passes 与受限环境 JIT 调整](/posts/2025/12/02/freebasic-runtime-performance-optimizations/)
- 日期: 2025-12-02T19:03:57+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于 2019 YouTube 技巧，剖析 FreeBASIC 通过 opt passes 和编译 flags 提升解释/编译速度，针对现代低资源环境给出参数清单与监控要点。

### [Xania编译器优化圣诞季2025：增量编译解决Advent of Code](/posts/2025/12/02/xania-advent-of-compiler-optimisations-2025/)
- 日期: 2025-12-02T18:18:31+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 借鉴Xania项目，用增量编译器从lexer/parser到optimizer/codegen生成x86汇编，高效攻克Advent of Code谜题，提供关键工程参数与清单。

### [GHC链接器死代码剔除与重复符号折叠：Haskell可执行文件优化实践](/posts/2025/12/02/ghc-linker-dead-code-elimination-and-duplicate-symbol-folding/)
- 日期: 2025-12-02T15:22:34+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: GHC链接阶段实时剔除死代码并折叠重复符号，提供瘦身参数、阈值监控与回滚策略，实现Haskell程序加载加速。

### [Durin：OCaml DWARF 发射器构建复杂 DIE 树、CU 头、重定位与序列化](/posts/2025/12/02/durin-ocaml-dwarf-emitter-relocations/)
- 日期: 2025-12-02T14:49:46+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于 Durin 库的 OCaml DWARF 写入器，详解复杂 DIE 树构造、编译单元头处理、重定位机制及序列化工程参数与最佳实践。

### [GHC链接器实时shrink：剥离未用代码优化二进制大小与加载速度](/posts/2025/12/02/ghc-linker-shrinking-while-linking/)
- 日期: 2025-12-02T13:34:37+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: GHC编译Haskell程序时，可执行文件往往体积庞大。通过-split-sections与链接器--gc-sections结合，实现链接阶段动态剥离未用代码与数据，实时缩小二进制大小，同时优化编译内存峰值与程序加载速度。

### [OCaml Durin：DWARF 调试格式完整写入器——DIE 树构建与 relocations 序列化](/posts/2025/12/02/ocaml-durin-dwarf-emitter-building-complex-die-trees-cu-headers-relocation-serialization/)
- 日期: 2025-12-02T12:33:25+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 解析 Durin 在 OCaml 中实现 DWARF 5 写入的核心机制，包括复杂 DIE 树构建、CU header 参数、relocations 序列化及 relocatable object emission 实践。

### [x86 XOR 清零习语向量化：AVX/SSE 实现 Lane-Independent Zeroing](/posts/2025/12/02/vectorized-x86-xor-zeroing-avx-sse-lane-independent/)
- 日期: 2025-12-02T10:32:49+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 将经典 x86 XOR 清零扩展到 SSE/AVX 向量寄存器，实现每个 lane 独立清零，打破跨 lane 依赖，提升超标量 ILP 与向量吞吐性能。

### [x86中XOR reg,reg 与 MOV reg,0 清零：uop数量、依赖中断与功耗性能权衡](/posts/2025/12/02/x86-xor-zeroing-idiom-vs-mov-reg-0-uops-dependency-perf/)
- 日期: 2025-12-02T05:48:23+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 现代x86微架构下剖析XOR零化习惯用法优于MOV reg,0的uop节省、依赖链中断机制及功耗性能参数选择。

### [Langjam自举最小解释器：游戏DSL解析执行循环](/posts/2025/12/02/bootstrap-minimal-interpreter-langjam-dsl/)
- 日期: 2025-12-02T04:33:22+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向Langjam 7天挑战，给出自举最小解释器架构，支持parser/eval loop运行简单2D游戏DSL的关键参数与实现清单。

### [x86 解码器效率：热循环中 XOR 清零优于 MOV 0](/posts/2025/12/01/x86-decoder-efficiency-xor-zeroing-optimization/)
- 日期: 2025-12-01T21:18:54+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 剖析 x86 XOR reg,reg 清零技巧在热循环解码吞吐、I-cache 和 uops 上的优势，附历史背景与现代工程参数。

### [LLVM-MOS：6502 Clang 后端的 IR 降低与内联展开优化](/posts/2025/12/01/llvm-mos-6502-clang-backend/)
- 日期: 2025-12-01T11:04:31+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对 MOS 6502 的 LLVM fork 后端，详解 IR 降低策略、内联/展开参数，以及复古嵌入式 C/Rust 编译清单。

### [LLVM-MOS：为6502八位系统带来现代C/C++工具链](/posts/2025/12/01/llvm-mos-for-6502-systems/)
- 日期: 2025-12-01T10:20:54+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: llvm-mos 是 LLVM/Clang 分支，针对 MOS 6502 优化，支持 C99/C++11 在 Commodore 64、NES 等复古平台上的开发，提供安装指南、优化参数和多平台清单。

### [Langjam 自举最小解释器：玩具语言到游戏逻辑](/posts/2025/12/01/bootstrap-minimal-interpreter-langjam-game/)
- 日期: 2025-12-01T07:32:53+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Langjam 7 天游戏 Jam 下，自举最小树遍历解释器实现玩具语言解析与游戏逻辑求值，聚焦词法语法评估器工程参数、GameJam 时间约束优化与简单 Roguelike 示例。

### [LangJam 自举最小解释器：直接用生成语言实现游戏引擎](/posts/2025/12/01/bootstrap-minimal-interpreter-langjam-game-engine/)
- 日期: 2025-12-01T02:18:53+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 7天LangJam挑战中，自举栈机解释器，用自定义语言编写游戏循环与Canvas图形原语，提供工程参数与监控要点。

### [LLVM-MOS：为6502指令集带来现代Clang后端与内联/循环展开优化](/posts/2025/12/01/llvm-mos-6502-clang-backend-with-inlining-loop-unrolling/)
- 日期: 2025-12-01T01:47:52+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: llvm-mos fork Clang/LLVM针对6502 ISA，提供retargetable codegen，支持inlining/loop unrolling等现代优化，适用于复古嵌入式系统，给出工程参数与落地清单。

### [简单规则的let多态类型检查器：递归多态与subsumption实现](/posts/2025/12/01/easiest-rule-based-let-poly-type-checker/)
- 日期: 2025-12-01T00:33:35+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 用简单规则实现支持递归、多态的lambda演算类型检查器，通过bidirectional infer/check与subsumption，避免复杂unification算法。

### [let多态λ演算的基于规则类型检查器实现](/posts/2025/11/30/rule-based-type-checker-for-let-poly-lambda-calculus/)
- 日期: 2025-11-30T23:18:53+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 使用双向类型检查结合递归下降解析和替换推理引擎，实现λ演算核心类型规则，支持let多态、函数应用与原语操作，提供落地参数与监控要点。

### [使用统一变量、子类化规则与约束传播实现双向类型推断](/posts/2025/11/30/bidirectional-type-inference-with-unification-subsumption-constraints/)
- 日期: 2025-11-30T23:03:56+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 详述无需解析器耦合的可扩展类型检查器实现，包括规则、算法参数与工程清单。

### [Zigbook 涉嫌抄袭 Zigtools Playground：AST 树比对与 MinHash LSH 语义取证](/posts/2025/11/30/zigbook-zigtools-playground-ast-plagiarism-forensics/)
- 日期: 2025-11-30T17:19:23+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对 Zigbook 与 Zigtools Playground 代码库，使用 AST tree-diff 和分块 MinHash LSH 进行语义抄袭量化，提供规范化参数、相似阈值与检测清单。

### [Zig在线游乐场中的基于AST的代码抄袭检测](/posts/2025/11/30/ast-based-plagiarism-detection-zig-playground/)
- 日期: 2025-11-30T13:17:55+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 在Zig Playground集成AST指纹生成与语义相似度匹配，实现在线沙箱抄袭检测。给出Zig中AST解析、哈希指纹、阈值参数与日志监控清单。

### [1964模拟器N64 RDP动态重编译管线：指令获取解码与x86 JIT优化](/posts/2025/11/30/n64-rdp-dynamic-recompilation-pipeline-1964/)
- 日期: 2025-11-30T11:49:41+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于2001文档，详解1964 RDP引擎动态重编译流程，包括指令fetch/decode、x86代码生成、寄存器分配等工程实践与参数配置。

### [ABC守护命令如何影响Scala并发与Python控制流](/posts/2025/11/30/abc-guarded-commands-in-scala-and-python/)
- 日期: 2025-11-30T07:03:46+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 剖析ABC解释器过程块与守护命令的设计，探讨其对Scala并发模型及Python控制流的工程化启发，提供可落地参数与监控清单。

### [Pandoc Word 模板表格样式覆盖：reference-docx、stylemap 与自定义 XML](/posts/2025/11/29/pandoc-word-template-table-styles/)
- 日期: 2025-11-29T11:33:55+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 在 Markdown-to-DOCX 管道中，通过 reference-docx 创建 Table 样式、YAML stylemap 映射及 OpenXML 自定义强制模板表格格式化，提供完整工程参数。

### [ABC解释器的过程块、守卫命令与动态作用域：塑造Python控制流的遗产](/posts/2025/11/29/abc-interpreters-procedural-blocks-guarded-commands-python-influence/)
- 日期: 2025-11-29T05:48:47+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 剖析ABC语言解释器中的过程块、守卫命令及动态作用域，如何奠基Python的控制流、异常机制与模块系统，并给出工程参数与重构清单。

### [C语言中printf的泛化格式化：自定义谓词与类型安全实现](/posts/2025/11/29/generalized-printf-formatting-in-c/)
- 日期: 2025-11-29T03:48:53+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 探讨扩展printf支持自定义格式谓词、运行时类型推断和安全解析的工程方案，避免va_list宏滥用，提供可落地参数与监控要点。

### [TigerStyle 编码哲学：安全、高性能与开发者体验的系统工程实践](/posts/2025/11/28/tigerstyle-coding-philosophy-safety-perf-devex/)
- 日期: 2025-11-28T13:48:19+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: TigerStyle 作为一种编码哲学，强调以安全为基础的高性能系统开发，通过固定限制、静态分配、napkin math 等实践，实现零技术债的可靠代码。

### [Coq形式化宏汇编器IR：定义、展开算法与语义等价证明](/posts/2025/11/28/coq-macro-assembler-ir-formalization/)
- 日期: 2025-11-28T07:03:07+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 介绍Coq中宏汇编器IR的形式化定义、宏展开算法及语义等价性证明，支持复杂汇编宏的正确性验证。

### [V语言被低估的系统编程特性：热重载、内置ORM、无GC内存安全与简化并发](/posts/2025/11/28/underrated-v-language-systems-features/)
- 日期: 2025-11-28T06:09:26+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: V语言在系统编程中提供热代码重载、内置ORM/SQLite支持、无GC内存安全及Go式并发，助力高效、安全开发。

### [Rust 多态移动表达式：条件移动零成本实现与借用检查器扩展](/posts/2025/11/28/polymorphic-move-expressions-in-rust/)
- 日期: 2025-11-28T03:18:38+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Rust 新提案引入多态移动表达式，支持条件分支下的所有权转移，无需临时分配或 pinning，提供工程化参数与落地清单。

### [Coq：世界上最好的宏汇编器——宏汇编IR形式化与验证](/posts/2025/11/27/coq-macro-assembler-ir-verification/)
- 日期: 2025-11-27T20:04:18+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 形式化宏汇编器中间表示（IR）语义，实现扩展/收缩过程验证，证明双向等价，并提取OCaml检查器，提供卫生宏处理的工程参数。

### [高阶逻辑证明器中的血管计算形式化：验证宏展开与计算模型](/posts/2025/11/27/formalizing-vasocomputation-in-higher-order-logic-provers/)
- 日期: 2025-11-27T19:04:48+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向血管计算原则的形式化，给出HOL证明器中宏展开验证与计算模型的类型定义、重写规则与证明策略清单。

### [Lambda 归约器：应用序与正规序策略](/posts/2025/11/27/lambda-reducer-applicative-vs-normal-order-strategies/)
- 日期: 2025-11-27T18:18:40+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 客户端 JS λ-归约引擎：可视化应用序 vs 正规序，栈深度追踪，非终止循环阈值检测。

### [浏览器端交互式 λ 归约：Normal Order 与 Applicative Order 的可视化解析](/posts/2025/11/27/interactive-lambda-reduction-js-normal-applicative-order-visualizer/)
- 日期: 2025-11-27T16:47:31+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于 client-side JS 引擎，实现 lambda 项解析、beta-归约（normal/applicative order）、动画图可视化及步进替换追踪，提供策略参数、阈值与监控清单。

### [Coq证明助手中实现宏组装器：汇编IR定义与宏展开验证](/posts/2025/11/27/coq-macro-assembler-ir-definition-and-macro-expansion-verification/)
- 日期: 2025-11-27T13:18:03+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 在Coq中形式化宏组装器，定义汇编级IR、验证指令解码与宏展开正确性、确保类型安全代码生成，提供工程参数与证明清单。

### [Zig编译器monorepo从GitHub迁移到Codeberg：保留git历史与LFS的无缝工程实践](/posts/2025/11/27/zig-monorepo-migration-codeberg/)
- 日期: 2025-11-27T10:08:44+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Zig项目monorepo迁移工程实践：完整保留git历史/LFS、issues/PRs双轨管理、Forgejo Actions CI/CD适配参数，实现零中断切换。

### [Claude 辅助 JOPA C++ 后端 Java 6 泛型注解移植](/posts/2025/11/27/claude-assisted-generics-annotations-port-jopa-cpp/)
- 日期: 2025-11-27T09:48:46+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Claude 辅助增量 AST 重写，实现 Java 6 泛型与注解在 C++ 编译器中的等价支持，覆盖嵌套通配符与 @Override 验证测试。

### [Claude 重构 Jikes：C++ 版 Java 6 泛型与注解解析优化](/posts/2025/11/27/claude-modernized-jikes-cpp-java6-annotations/)
- 日期: 2025-11-27T08:47:40+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于 JOPA 项目，探讨用 Claude AI 重写 Jikes 编译器至 C++ 的核心技术：针对 Java 6 泛型与注解的解析树优化、后端代码生成差异，以及 C++ 内存模型带来的性能提升与工程落地参数。

### [Claude 提示驱动的 Jikes Java 编译器 C++ 重写：Java 6 泛型与注解](/posts/2025/11/27/claude-prompted-jikes-cpp-rewrite-java-6-generics-annotations/)
- 日期: 2025-11-27T05:03:39+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: LLM 辅助重构历史 Jikes 编译器至现代 C++，聚焦 Java 6 泛型类型擦除、注解字节码注入与 CMake 构建参数，提供落地工程清单。

### [Claude 驱动的 Jikes Java 编译器 C++ 重写：Java 6 泛型与注解支持](/posts/2025/11/27/claude-driven-jikes-cpp-rewrite-targeting-java-6-generics-and-annotations/)
- 日期: 2025-11-27T05:03:03+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 利用 Claude LLM 重构历史 Jikes 编译器至 C++，聚焦 Java 6 泛型类型擦除、注解解析与现代 CMake 构建参数，提供工程化落地清单。

### [Qiskit SDK：工程化转译、调度、错误缓解与混合量子流水线](/posts/2025/11/27/engineering-transpilation-scheduling-mitigation-hybrid-pipelines-in-qiskit-sdk/)
- 日期: 2025-11-27T04:04:12+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Qiskit 通过预设 PassManager 构建转译流水线，支持 transpilation 的六个阶段、调度优化与错误缓解，结合 Runtime primitives 实现 scalable 混合量子-经典工作流，提供关键参数配置与监控清单。

### [用 Claude AI 提示重写 Jikes：C++ 实现的 Java 6 编译器](/posts/2025/11/27/claude-prompted-jikes-rewrite-in-c%2B%2B-for-java-6-support/)
- 日期: 2025-11-27T01:49:52+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于 Claude AI 提示工程，将历史 Jikes 编译器现代化移植到 C++17，支持 Java 5/6 特性如泛型与注解，提供构建参数、测试清单与优化策略。

### [AI辅助的Jikes C++移植：完整Java 6支持与优化实践](/posts/2025/11/27/ai-assisted-jikes-c%2B%2B-port-java6-support/)
- 日期: 2025-11-27T01:03:41+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: JOPA项目利用AI重构IBM遗留Jikes编译器至C++，全栈支持Java 6特性，包括常量折叠、数据流分析与多轮优化，适用于引导式编译场景。

### [工程化 Java 字节码反编译：混淆绕过与变量重命名实践](/posts/2025/11/26/engineering-java-bytecode-decompilation-obfuscation-bypass-and-variable-renaming/)
- 日期: 2025-11-26T23:33:11+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于 JD-Core/CFR 等工具，详解 obfuscated bytecode 的 CFG 重构、类型推断策略，实现语义恢复与精确变量重命名工程参数。

### [Qiskit 开源 SDK 中的量子电路转译、脉冲调度、错误缓解与混合执行管道工程化](/posts/2025/11/26/qiskit-quantum-sdk-workflows-transpilation-scheduling-mitigation-hybrid-pipelines/)
- 日期: 2025-11-26T22:47:43+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 聚焦 Qiskit SDK 工程实践，给出转译优化参数、脉冲调度阈值、错误缓解清单及混合管道监控要点，实现 NISQ 设备高效执行。

### [Qiskit 量子电路转译：从抽象电路到硬件 ISA 的优化流水线](/posts/2025/11/26/qiskit-quantum-circuit-transpilation/)
- 日期: 2025-11-26T22:32:50+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 详解 Qiskit transpiler 的 PassManager 阶段与参数配置，提供可落地代码示例，实现量子电路的高效硬件映射与噪声优化。

### [LLVM 恒定时间 IR 属性：后端加密代码生成防止时序泄漏](/posts/2025/11/26/llvm-constant-time-ir-attributes-for-crypto-timing-leaks-prevention/)
- 日期: 2025-11-26T21:33:21+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: LLVM 通过 IR 属性标记与分析 Pass 保障后端代码生成恒定时间执行，防范加密算法时序侧信道攻击，提供属性用法、Pass 参数与验证清单。

### [将常时 IR 属性集成到 LLVM 后端 Pass 以实现无时序泄漏的加密代码生成管道](/posts/2025/11/26/llvm-constant-time-crypto-codegen/)
- 日期: 2025-11-26T20:48:47+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向加密代码生成，给出 LLVM IR 中常时属性的后端 Pass 集成方案、参数调优与监控清单，确保时序泄漏免费的代码生成管道。

### [LLVM IR 常量时间属性：后端 Pass 实现时序泄漏检测与加密代码生成缓解](/posts/2025/11/26/llvm-ir-constant-time-attributes-backend-passes/)
- 日期: 2025-11-26T18:48:35+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: LLVM 通过 IR 常量时间属性标记加密代码路径，后端 Pass 负责属性传播、泄漏检测、代码生成缓解及流水线验证，给出工程参数与监控清单。

### [LLVM后端常时分析Pass：阈值监控分支与内存模式防时序泄漏](/posts/2025/11/26/llvm-constant-time-backend-analysis/)
- 日期: 2025-11-26T13:36:47+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 集成LLVM IR常时属性与后端Pass阈值分析，监控分支/内存模式，确保crypto代码生成无时序泄漏，支持优化不破坏constant-time语义。

### [LLVM后端集成恒定时间IR属性：无时序泄漏的加密代码生成](/posts/2025/11/26/llvm-constant-time-backend-crypto-codegen/)
- 日期: 2025-11-26T13:19:06+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向crypto codegen，给出constant-time IR属性后端集成、优化pass参数与代码生成策略，确保timing leak-free。

### [LLVM 后端集成常时 IR 属性：消除加密代码生成中的时序侧信道](/posts/2025/11/26/integrate-constant-time-ir-attributes-llvm-backend-crypto-codegen/)
- 日期: 2025-11-26T12:33:53+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向加密代码生成，给出常时 IR 属性在 LLVM 后端的集成方案、无分支降低参数与泄漏防护优化要点。

### [构建 Java 字节码反编译器：控制流图、类型推断与混淆处理](/posts/2025/11/26/build-java-bytecode-decompiler-with-control-flow-graphs-type-inference-and-obfuscation-handling/)
- 日期: 2025-11-26T12:03:34+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向精确逆向工程，给出 Java 字节码反编译器的控制流图构建、类型推断算法及混淆绕过策略的工程实现参数与监控要点。

### [Unison 1.0 中基于哈希的命名空间：实现分布式代码共享与零停机演化](/posts/2025/11/26/hash-addressed-namespaces-in-unison-1.0-for-distributed-code-sharing-and-zero-downtime-evolution/)
- 日期: 2025-11-26T10:34:28+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Unison 1.0 通过 hash-addressed namespaces 支持 peer-to-peer 代码更新传播，实现无缝分布式协作与代码库零停机演化，提供工程化参数与监控要点。