速报
订阅周刊
VOL.---- · NO.---

CS · Theory

THEORY · 计算机科学的底层逻辑与数学基石
----年--月--日 星期-
第 -- 期 · 农历--- · 今日---
turingmachine p vs npunsolved captheorem 「halting」
编译原理 · 操作系统 · 密码学 · 形式化验证
主编精选 编译原理 · 函数闭包底层实现
LLVM IR · 3,600 字

编译原理深探:从作用域到 LLVM IR 的闭包实现

闭包是函数式编程的灵魂,但它在底层是如何实现的?本文从词法作用域与捕获机制出发,深入剖析编程语言如何在编译期将自由变量提升为堆分配的环境对象,并最终在 LLVM IR 层面生成高效的闭包调用代码。

何川 2 小时前 热度 62.1K
理论热搜// 每小时更新
01LLVM 闭包实现 02Linux CFS 调度器 03QUIC 协议解析 04同态加密 FHE 05TLA+ 形式化验证 06Paxos 算法证明 07图灵机与停机问题 08内存屏障 Memory Barrier 09扩展欧几里得算法 10康托尔与可数集

代码显影

// 每页 6 篇 · 内容持续收录中

PAGE -- / -- · 共 -- 篇
内容持续更新中
跳转到:页GO