标签
An exploration of multistack concatenative programming languages, discussing how auxiliary stacks and dynamic bindings like Factor's namespaces and PostScript's dictionaries can ease data stack management without sacrificing concatenative composition.
作者讨论了在Python聚会上的一次演讲，内容是关于2026年他们不再使用Python的项目，概述了其局限性和替代方案，同时也承认Python在某些领域仍然表现出色。
A tutorial on using PLT Redex to model ISWIM, the first part of a series on modelling actor-like systems.
对 Lua 创造者 Roberto Ierusalimschy 的采访，涵盖 Lua 独特的面向嵌入的设计、它与 Python 的差异、LuaJIT 的工作原理，以及对 AI 对编程语言影响的预测。
文章讨论了最近通过 Fil-C 提出的 Zig 内存安全方案，比较了 Fil-C 与 Rust 对内存安全的定义，并主张内存安全是一个具有实用定义的频谱，同时使用了一个 Fil-C 仍然不安全的具体示例。
C++26 引入了减少未定义行为的更改，特别是使删除指向不完整类型的指针成为格式错误，从而提高了程序安全性。
本文通过将类型视为构造新值的正空间而非限制值的负空间，结合积类型和和类型，可以精确建模数据的不变量，避免与类型检查器的斗争。建议使用简单类型组合而不是复杂类型系统特性。
文章探讨了编程语言中并发、交互性和可变性之间的固有权衡，通过Common Lisp、Python、Ruby和Erlang的例子说明没有语言能完全优化这三者。
本章节选自《Let Over Lambda》，探讨如何使用宏在 Lisp 中实现 Forth 编程语言，强调语法的二元性和元编程技术。旨在向 Lisp 读者教授 Forth 概念，并讨论 Forth 设计背后的哲学。
本文批评了编程语言辩论中的内存安全绝对主义，认为像 Fil-C 这样的新方法也有权衡，而将 Rust 视为不安全忽略了实际好处。
HOPL 是一部在线历史百科全书，收录了从18世纪至今的8,945种编程语言，包含影响链接和引用，但目前显示内部数据库错误。
一篇反思性文章，论证编程语言是平台的创作工具，通过IBM和Microsoft等历史实例，阐述语言如何塑造生态系统和开发者社区。
在AI辅助编程的时代，作者认为深入理解编程语言概念对工程仍然至关重要，并列出来自不同语言的关键思想，这些思想扩展了解决问题的思维模型。
这篇博客文章详细介绍了Futhark类型检查器的演变和最近的重构，从简单的类型检查器到Hindley-Milner推理，以及添加独特类型和大小类型等特性的复杂性。
讨论两种并行化编译的方法：多进程（单线程编译器与构建系统生成多个实例）和进程内多线程（Rust和Zig使用）。比较了语言设计的权衡。
关于 CoSy 语言的邮件交流，其创建者批评 Git 对个人生产力而言过于复杂，并对比了 CoSy 基于目录的简洁方法。
本文探讨了Rust中显式捕获子句作为move表达式的替代方案，提出了一种将引用转换为所有权值的一等语言特性，并分析了多种闭包捕获模式。
一篇博客文章，讨论了各种编程语言中整数类型的设计，认为 Rust 强制要求显式指定大小和符号的做法优于那些有默认 `int` 类型的语言。
本文介绍了一种针对 Morello 能力硬件架构修改的 Rust 编译器，通过利用硬件能力，实现即使在非安全代码中也始终在线内存安全。
OCaml 的创始人 Xavier Leroy 在一次播客采访中讨论了 OCaml 相对于 Rust 和 JavaScript 的特性、形式化验证、类型推断以及 LLM 对编程的影响。