I am a Lisp, April, APL/J/BQE, and Forth[2] aficionado. I did some file munging programs in Factor back in 2012 at my job to sort through theater attendance logs in Word to compile statistics.
Same taste here, although I have the quirk that I also like types & proofs.
Because of Lips, APL(ish) & Forth are so nice and terse, I feel the need, every so many years, to try to combine them. Usually I quickly build something (I build a lot of Forth-likes for embedded and other compiled languages to speed up work without having to compile) that combines these 3. Usually I find that Arthur already did that kind of with Shakti and before with k. For my, however, APL chars are better. Since recently, I use the BQN keymappings to create new things.
So then I go into struggling how to add types to something like the above (outside Lisp/Scheme as that has been done). Most people think it's nonsense anyway [0], so i'm not quite looking to have the user add actual types (mostly), but more-so with global static analysis.
Anyway, bit offtopic, but nice to see there are more people (outside Arthur [1]) who like some of these combinations of languages.
[0] https://www.youtube.com/watch?v=z8MVKianh54 [1] https://kparc.com/lisp.txt
BQN: finally, an APL for your flying saucer
https://mlochbaum.github.io/BQN/
Terse: a language where the fundamental type is an n-dimensional array, so integers are a subtype.