Slap: Functional Concatenative Language… with a Borrow Checker?
Slap: Functional Concatenative Language… with a Borrow Checker? Behold, Slap! It’s a language chimera: terse: tacit like APL, J, K safe: strong linear type system like Rust small: simple spec like Lisp, Forth fast: manual memory like C, Zig easy: managed effects like Elm, Roc Terse Slap is a stack language. Postfix syntax is ugly, but powerful: — twenty fibonacci numbers (no recursion) 0 1 20 (swap over plus) repeat drop 6765 eq assert I’ll eventually add Uiua-esque glyphs so you can feel like a wizard: 0 1 20 (: ↷ +) ⍥ ↘ 2765 = ! Those who abhor tacit stack manipulation can use let instead: — sum of squares (tacit) [1 2 3 4 5] (sqr) map sum 55 eq assert — sum of squares (explicit) [1 2 3 4 5] 0 (‘x let ‘y let x x mul y plus) fold 55 eq assert Safe Slap’s true power is…
