C++23 中使用 std::mdspan 实现高效邻接矩阵视图
利用 C++23 的 std::mdspan 创建非拥有多维视图，应用于邻接矩阵，实现稀疏图遍历的高效数据访问，避免不必要的内存复制。
2025-09-12compiler-design2025-09
Category
compiler-design
共 663 篇文章。
在 MicroHaskell 中嵌入 Dataframe DSL：用于列式操作的重写规则
通过重写规则在 MicroHaskell 中实现 Dataframe DSL，利用惰性求值和 STG 机器优化列式数据处理，避免完整 GHC 依赖。
2025-09-11compiler-design2025-09
使用协议和多方法在 Clojure 中构建可扩展的 AST 处理
利用 Clojure 的协议和多方法解决 Expression Problem，实现 AST 的模块化扩展，而无需修改核心代码。
2025-09-11compiler-design2025-09
使用头单元和分区接口将 C++20 模块集成到 CMake 构建中
在 CMake 项目中集成 C++20 模块，利用头单元和分区接口实现模块化编译，显著减少构建时间，提供配置参数和最佳实践。
2025-09-11compiler-design2025-09
C++20 模块在 CMake 中的集成：使用头单元和分区接口优化编译时间
通过 C++20 模块的头单元和分区接口，在 CMake 构建中实现增量重建，针对大型代码库减少 30-50% 的编译时间，提供实用配置参数和最佳实践。
2025-09-11compiler-design2025-09
多语言实现中的多重分派：Julia、Common Lisp 和 Clojure
比较Julia、Common Lisp和Clojure中多重分派的机制，实现跨语言可扩展代码的多态方法解析，避免单分派局限。
2025-09-11compiler-design2025-09
C语言中基于宏的类型安全泛型实现：编译时多态与可复用数据结构
在C语言中利用宏实现类型安全的泛型编程，实现编译时多态，支持向量和树等可复用数据结构，无运行时开销，适用于性能关键系统。
2025-09-10compiler-design2025-09
工程化 OCaml 模块与值的统一表示
面向可组合函数抽象，给出 OCaml 模块与值的统一表示工程实践，以减少类型安全代码生成管道中的样板代码。
2025-09-09compiler-design2025-09
扩展 LLVM IR 的 byte 类型以实现直接 raw 数据拷贝：高性能系统内存操作优化
针对高性能系统，介绍 LLVM IR byte 类型扩展以优化内存操作，避免中间 load/store 的工程参数与落地策略。
2025-09-09compiler-design2025-09
将C23合约集成到编译器中实现运行时断言检查
探讨C23合约在编译器中的集成，支持运行时断言评估、错误恢复及安全关键系统的动态验证参数。
2025-09-09compiler-design2025-09
使用交互式可点击图表导航Rust类型系统层次
面向Rust学习者，给出交互式图表实现参数与动态探索trait、生命周期和泛型的工程化要点。
2025-09-09compiler-design2025-09
C23合约特性在嵌入式系统中的预后条件静态检查实践
探讨C23合约在嵌入式开发中的应用，通过静态检查提升代码可靠性和调试效率，提供具体参数和清单。
2025-09-09compiler-design2025-09
Rust 中实现交互式类型推断模拟：调试复杂泛型代码的实时图表
通过 Rust 构建交互式图表，模拟类型推断路径和 trait 解析过程，帮助实时调试复杂泛型代码。
2025-09-09compiler-design2025-09
Visualizing Rust Type System Hierarchies
工程化交互式可视化工具，用于导航 Rust 类型系统，包括 traits、lifetimes 和 borrow checker 的机制，适用于编译器调试和教育。
2025-09-09compiler-design2025-09
设计AI驱动代码风格自适应系统
基于语义分析的AI系统自动调整代码布局，取代手动格式化工具，实现跨风格一致性，提供工程参数与监控要点。
2025-09-08compiler-design2025-09
使用代数数据类型和访问者模式实现可扩展表达式表示
在编译器设计中，利用代数数据类型和访问者模式平衡函数式和面向对象范式的可扩展性，提供工程化参数和监控要点。
2025-09-08compiler-design2025-09
实现IRHash的多语言编译器缓存：IR级哈希与增量编译优化
通过IR级哈希机制，实现跨语言编译器的高效缓存共享，减少重复编译开销，提供工程化参数与监控要点。
2025-09-08compiler-design2025-09
Implementing Tree-sitter Based Semantic Code Formatting
基于 Tree-sitter 实现语义代码格式化，消除传统行式格式化器，实现无手动干预的一致风格。
2025-09-08compiler-design2025-09
IR 级别哈希用于多语言编译器缓存：优化命中率的阈值选择
在异构构建环境中，选择合适的 IR 哈希阈值以最小化碰撞并最大化缓存命中率，实现高效的多语言编译器缓存。
2025-09-08compiler-design2025-09
Flix语言中代数效应的实现实践
在Flix中实现代数效应，用于结构化处理函数式编程中的副作用、并发和异常，无需monad变换器。
2025-09-07compiler-design2025-09
Flix 中使用基于处理器的组合实现代数效应：功能代码库中的模块化副作用管理
在 Flix 语言中，通过处理器-based 组合实现代数效应，实现功能代码库中模块化的副作用管理，提供定义、实现和应用指导。
2025-09-07compiler-design2025-09
Stripe：面向机器学习的编译器中间表示与内存布局优化实践
剖析Stripe IR如何通过嵌套多面体模型和显式内存块结构，实现硬件无关的自动内存布局优化，提升ML计算性能。
2025-09-06compiler-design2025-09
IRHash：基于IR级别哈希的高效多语言编译器缓存技术
上海交通大学与蚂蚁集团联合提出的IRHash系统，通过中间表示级别的哈希实现跨语言编译器缓存，为多语言项目编译带来革命性加速
2025-09-05compiler-design2025-09
上一页第 9 / 9 页