三周狂写40万行代码？开发者用自研编程语言重写CHIP-8模拟器引热议
一位开发者使用其自创的编程语言“Spectre”重写了CHIP-8模拟器，旨在测试该语言编译器在实际应用（如调用SDL2外部库）中的表现。该项目不仅优化了原版Nim模拟器的控制映射和渲染循环，更作为一个压力测试，检验了语言在FFI（外部函数...
标签索引 / 第 3 页
编程语言
这个标签下有 112 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
揭秘编程语言的七大“原型”：掌握底层思维，打破技术学习壁垒
这篇文章将现代编程语言归纳为七大“始祖语言”：ALGOL、Lisp、ML、Self、Forth、APL和Prolog。作者指出，虽然C++和Python等流行语言在语法上相似，但掌握不同原型的底层逻辑（如Lisp的宏编程或Prolog的逻辑...
专为LLM Agent设计？开发者打造新语言Veris，目前已实现自举
开发者近日发布了一款名为“Veris”的新型编程语言，该项目初衷是探索一种更适配大语言模型（LLM）及AI Agent执行的专用语法。作为一个验证优先、面向Agent的原型，Veris虽被作者戏称为“代码写爽了”的产物，但其编译器已实现自举...
深度解析 Fil-C：如何通过引入“垃圾回收”让 C++ 实现内存安全？
本文深入探讨了 Meta 推出的 Fil-C 技术，这是一种旨在为 C/C++ 赋予内存安全性的革命性方案。作者通过构建简化模型，详细解释了 Fil-C 如何通过编译器自动重写源代码，将不安全的指针操作转化为带有元数据追踪和边界检查的安全代...
被遗忘的编程“静默巨人”：Ada语言如何比Rust和Go早四十年预言了软件安全
这篇文章深入回顾了由美国国防部在上世纪70年代开发的Ada编程语言。尽管常被硅谷视为冗余和过时，但Ada早在1983年就标准化了泛型、强类型、接口与实现分离以及内置并发模型，这些如今正是Rust、Go、C#和TypeScript等现代语言竞...
编程语言前沿探索：Chez Scheme 引入 Vau 机制与不可变环境
本项目致力于将 `vau` 操作符及其不可变动态环境引入高性能的 Chez Scheme 编译器。`vau` 来源于 Kernel 语言理论，相比传统的 `lambda`，它能更精细地控制操作数的作用域和求值时机，是构建更强大元编程系统的基...
Hokusai Pocket 发布：像运行脚本一样构建跨平台 GUI 应用
开发者 Zero Stars 发布了一款名为 Hokusai Pocket 的开源工具，旨在通过脚本语言简化图形用户界面（GUI）的开发。该工具基于 Raylib 图形库和 MRuby 引擎构建，支持 Windows、macOS 和 Lin...
静态类型新秀Lumina：融合Rust特性，原生支持WebGPU与WASM编译
Lumina 是一种新兴的静态类型 Web 原生编程语言，旨在兼顾开发安全性与 Web 兼容性。它引入了 HM 类型推断、代数类型和 Trait 多态等现代编程概念，可直接编译为 JavaScript 和 WebAssembly。该语言不仅...
告别 Rust 劝退？这种“高层 Rust”写法能用 20% 的痛苦换取 80% 的收益
本文探讨了如何降低 Rust 语言的使用门槛。作者指出，虽然 Rust 在性能和类型系统上极具优势，但其复杂的所有权和生命周期机制阻碍了其在应用层的普及。为此，作者提出了一种“高层 Rust”策略：通过大量使用克隆、不可变数据和函数式逻辑，...
深入探讨属性测试（PBT）的本质：重构生成器与属性的边界
本文深入剖析了属性测试（PBT）的核心定义与实践挑战。作者指出，将“属性”与“生成器”简单分离的传统模型存在局限，特别是在处理数据库等复杂状态依赖场景时，往往导致生成效率低下或逻辑冗余。通过对比Haskell的QuickCheck与Rust...