深度解析Lisp技术史：新书《Lisp之天才》探寻编程语言的极致之美
作者Cees de Groot推出了新书《The Genius Of Lisp》，深入探讨了计算史上最具影响力的编程语言之一——Lisp的发展历史。该书不仅是技术编年史，更被誉为学术杰作，涵盖了该语言在早期AI研究中的核心地位。书中提供了配...
标签索引 / 第 7 页
编程语言
这个标签下有 112 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
挑战C++复杂度：开发者打造“清晰优先”新编程语言
一位开发者正在构建一种名为 Rox 的“清晰优先”编程语言，其代码可编译为 C++。该项目旨在通过引入更严格的语法规则来解决 C++ 的复杂性，例如在语言层面完全移除手动内存管理（无指针和分配 API），并强制执行基于作用域的生命周期管理（...
AI 流水线专用语言 MOL 登场：管道操作符实现自动追踪调试
开发者近日发布了一款名为 MOL 的领域特定语言（DSL），专为构建 AI 流水线设计。MOL 的核心创新在于其管道操作符 `|>` 能够自动生成执行追踪表，实时显示每一步的耗时、类型和数据，旨在解决 AI 开发中常见的“黑盒”调试痛...
技术深挖：如何利用“代数效应”技术优化芯片硬件仿真？
本文深入探讨了Jane Street如何利用OCaml语言中的“代数效应”这一高级编程概念，将其从理论玩具示例逐步推向实际的工程应用。文章重点展示了代数效应在Hardcaml（一种用OCaml编写硬件电路的工具）仿真环境中的强大作用，通过优...
挑战现代软件臃肿：colorForth —— 用颜色编程的 2KB 极简操作系统
colorForth 是 Forth 语言发明者 Chuck Moore 对经典编程语言的革命性重构，旨在对抗现代软件的臃肿与低效。该系统将语法精简为视觉化的颜色编码（红色定义、绿色编译、黄色执行），核心软件仅占用 2KB 内存，甚至包含了...
Pydantic 发布 Monty：用 Rust 编写的安全 Python 解释器，专为 AI Agent 代码执行设计
Monty 是一个由 Pydantic 团队开发的实验性 Python 解释器，采用 Rust 编写，旨在解决 AI 智能体执行 LLM 生成代码时的安全性与延迟问题。相比于传统的 Docker 容器沙箱或 WebAssembly 方案，M...
极简主义新利器：仅40KB内核的R3forth语言发布，支持游戏开发
R3forth 是一款受 ColorForth 启发的新型极简编程语言，其核心是一个用 C 语言编写的超微型虚拟机（VM），体积仅约 40KB。该项目秉承“零臃肿”理念，不依赖庞大的标准库，却能通过 SDL2 支持 2D/3D 图形渲染与游...
AI Agent 时代的 Rust 新机遇：以高性能脚本化重构 Agent 执行逻辑
随着 2025-2026 年 AI 编程与 Agent 技术的爆发，主流的 Python 和 JS/TS 语言在处理高密度逻辑时面临性能挑战。本文提出了一种差异化视角：利用 Rust 的脚本化能力来优化 Agent 架构。通过官方的 rus...
Lily 编程语言亮相：融合脚本灵活性与类型安全，试图定义下一代开发工具
在 Hacker News 社区，一款名为 Lily 的新型编程语言引发了开发者的关注。该项目托管于 GitLab，定位为一种解释型语言，核心设计理念在于平衡代码的表达能力与类型安全。针对社区关于“为何创造新语言”的讨论，支持者指出，具备强...
静态类型语言 Tomo 亮相：跨编译至 C，旨在兼具底层控制力与安全性
Tomo 是一款新发布的静态类型、命令式编程语言。其核心特性是能够交叉编译为 C 语言，这使得它既能保持 C 语言的高性能和底层控制能力，又能提供更现代的内存管理机制（垃圾回收 GC）。虽然社区评论指出其目前缺乏泛型支持可能限制了通用性，使...