Проблема(одна из) для современных путей развития в том, что
стековая архитектура плохо уживается с кэшами. Хорошие статьи на
хабре-> . Про Forth отдельно: проще уж Си-исходник
компилировать в стековый код, чем вырастить школу программистов для
стековых языков. Для управления телескопом или запуска хоть чего-то
на голом железе - уместен, но следующий шаг обычно: "а давайте
напишем Си". Тут тогда встаёт вопрос, а не проще ли 8 или 16 RISC
втиснуть? https://habr.com/ru/post/278575/
Стековые процессора - идея красивая, сам бредил; однако вижу, что в современных реалиях она очень уж далеко от мэйнстрима (вспоминая тезисы Скрипача). Если интересно, поинтересуйтесь языком Factor Одна из плюшек - введена типизация. Подробней не интересовался.
Ещё: поищите в сети Андрея Черезова, он автор SPF, очень крут в этой теме.