Slap: Functional Concatenative Language with a Borrow Checker? (taylor.town)

The article introduces “Slap,” a small functional, stack-based language combining APL-like terseness with Rust-inspired linear/borrow-checker-style type safety. It explains how Slap prevents type mismatches and unsafe memory behavior using parametric and linear types, plus “stack effects” for type-checking control and data flow. It also shows examples of managed effects for interacting with the host (e.g., for games/demos) and notes the interpreter/compiler is a compact C program with working native and WebAssembly builds.