> Для истинных ценителей даже на сишке есть встройщино-подобные именования типов вроде uint8

Капитан, залогинтесь - вы это махровому сишнику рассказали. И таки вот как раз явный размер дает компилеру возможность оптимизнуть это - без огромного анализа всех изменений переменной по всей программе, в попытках понять какой у нее де-факто будет размер и куда ее такую оптимальнее, соответственно :). В WASM правда с этим будут определенные проблемы но вон то выглядит как прострел пяток сразу на старте.

> Ынтыпрайзные фермы порой могут напрягаться даже на сборке веб-морды, ведь иногда
> являют собой несколько полудохлых компов 20-летней давности,

На LTO по всей площади штуки с линукскернел - потребуется ...цать гигов оперативы чтобы процессить одним чихом СОТНИ кода да и проц оно использует весьма прилично, на компе 20-летней давности даже если ухитриться набить туда столько оперативы, ждать результата придется довольно долго. Тем более что LTO в силу своей природы не очень хорошо палаллелизуется и все упрется в производительность 1 ядра. Которая 20 лет назад была - "не очень". Когда-нибудь оно конечно скомпилится. Вопрос в том не задолбаетесь ли вы до этого момента.

>> Хунбо Чжан (Hongbo Zhang), основной разработчик языка программирования ReScript,
> Впервые слышу и о хунбо и о рескрипте

И я тоже. Видимо, известный Неуловимый Джо - изобретатель велосипедов.

> окамл - порой мелькает, но на кой чёрт нужен в проде так никто и не понял

Эзотеричная штука. Единственное от мира сего что на нем попадалось - авторефакторы линуксного ядра, но эту черную магию понимает лишь 1 некая Julia Lawall или как там ее, с неким coccinelle, который вроде бы на вот этом вот. Но это какой-то нишевой вспомогательный тул на какие-то очень разовые вещи, явно не продакшн.

> флоу - была такая библиотека для проверки типов в жс, развиваемая фейсбуком

Еще есть TypeScript, но половинчатый и не особо популярный.

>> представил новый язык программирования Moonbit
> Ещё один даром ненужный ЯП

Надо было moonspeak называть, был бы хитом у аниме-извращенцев :)

>> доступ к которой осуществляется через web-браузер

[...]
> Уже очевидно, что проект изначально создан не под самоокупаемость

Как же не хайпануть то за инвесторский счет? Впрочем сейчас инвесторы имхо инвестиции порежут и получит чувак фигу в кармане. Там вон в прошлом году 200К таких супернужных корпы уволили немного. И продолжают тренд в этом году. В общем немного опоздал чувак с хайпом.