标签
Rob Durst 在 Gleam Gathering 2026 上分享了如何用 Gleam 将 YAML-to-Terraform 的配置工具重写为编译器，并从中体会到类型驱动设计和解码器模式的力量。
SPy是Python的一个静态类型变体，既包含用于快速开发的解释器，也包含用于高性能的编译器，旨在保留Python的动态特性同时实现静态编译。
本文提出将 ARPG 构建视为编译器管线，其中创作者内容被编译为运行时数据，从而避免为技能-辅助交互编写特殊代码，并使用基于 Zig 的示例进行说明。
minc 是一种最小化的编程语言，可直接编译为多个平台的原生可执行文件，无需外部工具。它拥有现代语法、内置 SIMD 支持以及集成的着色器编译器。
微软宣布对 C# 16 中的 unsafe 关键字进行重新设计，以强制执行内存安全契约，使 unsafe 操作变得可见并由编译器强制执行，预览版将在 .NET 11 中发布，正式版在 .NET 12 中发布。
CPPL是一个编译器中介框架，通过使用Python领域特定语言和基于JSON的中间表示，连接大语言模型与硬件设计，从而实现可静态检查、可优化的RTL生成。
GCC 16 引入了针对 C++ 模板的改进分层错误信息以及更新的 SARIF 机器可读诊断输出，从而提升开发者体验。
作者解释了为EndBASIC的编译器和虚拟机切换到基于Markdown的测试套件的原因，目的是让这些测试作为LLM学习该语言独特特性的权威文档。
Mercury是一种逻辑/函数式编程语言，它将声明式编程与静态分析和错误检测相结合。该仓库提供了源代码、文档以及针对多个平台的后端支持。
XS是一种新的编程语言，以单个静态链接的二进制文件形式分发，其中包含编译器、语言服务器、调试器、格式化器、代码检查器、测试运行器、性能分析器和包管理器。它可以在多个平台上无需修改地运行，包括Linux、macOS、Windows、WASI、iOS、Android、ESP32和Raspberry Pi，并提供多种后端，包括JIT、虚拟机以及到C和JavaScript的转译器。
探讨 C++ 编译器何时可以对虚函数调用进行去虚拟化，涵盖已知动态类型和 final 关键字等情况，并在 GCC、Clang、MSVC 和 ICC 之间进行比较。
Fil-C 优化调用约定确保 C 程序即使在恶意滥用情况下也能保持内存安全性，同时通过在常见情况下省略安全检查来保持效率。它解释了通过 panic 或定义明确的行为来处理类型违规的通用优化和寄存器传递优化。
OxCaml 是 Jane Street 对 OCaml 编译器的分支，它引入了编译时对数据竞态的保证，从而在不增加运行时开销的情况下实现顺序一致性。这篇博文解释了新的模式轴及其对并行编程的影响。
FPSan是一个Triton编译器pass，通过用整数运算替换浮点运算来实现浮点程序代数等价性的验证，其正确性依赖于Schanuel猜想。
Spectre 是一种用于安全、基于合约的低级系统编程的新编程语言，默认强制不可变性，并支持编译时/运行时合约检查。它通过 QBE IR 编译，并包含将 C 代码转换为 Spectre 的功能。
开发者创建了一个原生构建系统，并正在构建一个 --emit-c 选项以补充 'with migrate' 功能，旨在实现跨平台支持并消除 Makefile 和 shell 脚本。
Hoot 0.9.0，一个用于 Guile 的 Scheme 到 WebAssembly 编译器后端，已发布，包含新功能和错误修复，包括 DWARF 支持、标准 Wasm 异常，以及为 Lisp Game Jam 提供的游戏 jam 模板。
Nibble 是一种类 C 的系统编程语言，用 3000 行 C 代码实现，无需外部依赖或堆分配即可生成 LLVM IR。它支持 defer、递归、多种类型、结构体、指针，并包含图形演示。