если язык динимический - то только FP

только хардкор

На ML подбных языках хорошо писть писать парсеры для других ML подобных языков=) Потому что в ML языках рекурсия - это все!

Этот круче: https://racket-lang.org/

да, но clojure - уже готово

и развивается

и пользователей - тьма

У Racket история начинается аж с 1990 года)

ага

что там с STM?

кароче идея (свежак): прошивка для железа на wasm. Есть у меня JBL Pulse 3. Постоянно бесило то что идея пиздатая, но мало прошивок: буквально 7 паттернов только. Было бы круто иметь маркет с разными кастомными прошивками.

Одна из возможностей реализации это взять и определить хочт интерфейс васма: например включить выключить лампочку, получение текущих параметров звуковой волны и тд. Потом пишешь клиент для маркета, который качает .wasm проишвки и компилирует его из wasm в C при помощи wasm2c (wabt). Дальше пишем wasm-rt и реализацию вышеописанного интерфейса тоже на C. Берешь это кросс компилишь скажем с arm-none-eabi-gcc (или другой компайлер для платформы используемого железа) в прошивку для девайса. Потом прошивку заливаешь на девайс (можно по юсб или бт). Профит.

железо нужно будет получше правда, нужен будет arm с более чем 64k памяти.

плюсы в том что: wasm проще освоить, wasm не позволит сломать пользовательское оборудование. Соответственно можно сделать пользовательский маркет для прошивок. Эмулятор просто написать.

минус в том что: дебагера нет и сложновато написать. Однако думаю можно написать какой нить общий инструмент.

Зачем такие сложности? Ты ведь писать будешь на том же Rust или C++, не на чистом же wat синтаксисе) Так зачем делать C++ -> wasm -> C. Если можно сразу из Rust/C/С++ в arm-none-eabi-gcc?

И потом wasm2c это вообще костылище. Он очень неэфективно это делает

LLVM можно подцепить, но так с wasm2c проще. Откуда информация о его не эффективности? Есть пару моментов конечно но они патчатся легко.

Можно напрямую компилить и есть преимущество готовой экосистемы, да. Но при этом я бы не стал делать маркет на этом, тк можно легко сломать девайс. В случае васма можно предоставить безопасный интерфейс, есть возможность компилить под разные целевые девайсы.

Плюс надежда на экосистему. Можно в конце концов писать на разных языках в перспективе.

Как по мне лучше научить оборудование хотя бы интерпретировать microwasm. Тогда во всем этом есть еще какой то смысл