I wrote a lot of PostScript but #imho PN/concatenative langs don't seem to add the kind of expressive leverage that lambda calculus or backtracking and unification do. I've also been curious about array languages. BQN is highly regarded. But I've never taken them very far.
