Slap: 函数式连接式语言 + 借用检查器

concatenativeplt ★★★★☆ 4/5★

核心概念

Slap 是一种独特的编程语言，结合了多种范式：

• 简洁如 APL/J/K - 后缀表达式，代码极短
• 安全如 Rust - 线性类型系统，借用检查
• 简单如 Lisp/Forth - 极简规范
• 快速如 C/Zig - 手动内存管理
• 易用如 Elm/Roc - 管理化副作用

关键创新：借用检查器

这是 Slap 最独特的地方 —— 将 Rust 的借用检查器引入函数式连接式语言：

-- 指针(box)不能复制或丢弃
42 box dup
-- TYPE ERROR: dup requires copyable type, got box

42 box drop
-- TYPE ERROR: drop requires copyable type, got box

-- 必须使用 lend, mutate, clone, or free
[1 2 3] box (len) lend 3 eq assert free

这防止了经典问题：double-free, use-after-free, forgot-to-free。

性能数据

前 10 个 Project Euler 问题：大部分 3ms 内完成，无垃圾回收。

为什么重要

Slap 展示了类型系统与低层控制的创新结合。它证明了函数式语言可以不依赖 GC，同时保持内存安全。对于追求极致性能的系统编程者，这是一个值得关注的新方向。