Vera：一款专为“机器编写”而设计的编程语言
Hacker News 上热议的一个 GitHub 项目引发关注，该项目推出了一款名为 Vera 的实验性编程语言，其独特之处在于它是专门为机器（而非人类）设计的。传统编程语言充满了为人类可读性设计的模糊性，而 Vera 旨在通过严格的语法...
标签索引 / 第 2 页
编程语言
这个标签下有 112 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
数学纯粹与工程实用的博弈：为何我最终选择 Lisp 而非 Haskell
本文深入探讨了软件开发中“数学上的完美理想”与“务实的工程现实”之间的持久张力。作者作为一名拥有丰富 Haskell 开发经验的资深程序员，高度评价了 Haskell 在类型系统、范畴论引入及函数式编程概念（如单子、函子）上的卓越贡献。然而...
C++26 新特性深度解析：为何 `define_static_array` 无法完全替代“constexpr 两步法”？
C++26 即将引入的 `std::define_static_array` 旨在简化编译期静态数组的生成，这比传统的“constexpr 两步法”更加简洁且高效。然而，该特性基于 `std::meta::reflect_constant`...
下一代编程语言猜想：软件分发模式将从‘代码包’转向‘提示词’
文章提出了关于未来软件开发模式的激进设想。随着AI技术的演进，未来的软件可能不再以传统的安装包或代码库形式发布，而是以描述功能的“提示词”形式存在。每个用户将拥有一个私有的AI平台作为新一代“编译器”，它能够根据下载的提示词结合用户的个性化...
Mine IDE发布：复刻Turbo Pascal体验，重塑Lisp极简开发环境
针对Common Lisp及其方言Coalton的新IDE ‘Mine’ 正式发布。其核心设计理念是复刻QBASIC或Borland Turbo Pascal时代的“开箱即用”体验，旨在解决传统Lisp环境配置复杂、...
Luau迎来独立运行时Lute 1.0：类似Node.js，支持语法树操作
Lute 是一个类似于 Node.js 的通用独立运行时环境，专为 Luau 语言设计，现已发布 1.0.0 版本。它不仅提供了文件系统、网络、进程管理和加密等标准库支持，还引入了完善的模块系统。Lute 最具创新性的功能是暴露了操作 Lu...
用纯Lambda微积分拷问AI逻辑能力：新基准LamBench问世
GitHub上出现了名为LamBench的新型AI基准测试，旨在通过120个纯Lambda微积分编程问题来评估大模型的算法实现能力。与常见的Python编程题不同，该测试要求模型在极简的Lamb语言环境下，仅利用函数编码来构建数据结构并实现...
CSS 的蜕变：从网页样式到通用递归查询语言的理论重构
本文探讨了将 CSS 选择器与 Datalog（一种逻辑编程语言）相结合的大胆构想，提出了“CSSLog”这一概念。作者指出，CSS 的选择器机制本质上与数据库查询同构，但受限于无法进行递归推导。通过引入“不动点”语义，CSSLog 能够在...
零依赖、内置响应式：现代编程语言 Rip 试图重构 JavaScript 开发生态
Rip 是一款受 CoffeeScript 启发的现代编程语言，可直接编译为 ES2022 标准。其核心亮点是完全“零依赖”且自举，代码量仅约 11,000 行。该语言创新性地将响应式系统（通过 `:=` 和 `~=` 操作符）和 ORM ...
无需JIT：如何将动态语言解释器性能提升16倍
这篇文章详细记录了作者如何将一个极其简单、基于AST遍历的动态语言解释器Zef，通过21个具体的优化步骤，在完全不使用JIT编译器的情况下，将性能提升了16倍。文章涵盖了值表示法改进、符号化、内联缓存、对象模型重塑以及监视点等底层技术细节。...