аренд сложный и кок сложный

а идрис простой

сейчас бы по вакансиям измерять🌚

ну спорно, просто для кого? для тех кто угорает по фп и любит ML-семейство? простой это всякие пистон и го

для тех, кто хочет, чтобы система типов проверяла немного больше, чем что стрингу в инт пихают

Я вот хочу попробовать прикрутить реакт к идрису и поверх написать систему для верифицируемого TEA

а чего не так? самая адекватная метрика, имхо. смотреть технологию по вакансиям, это как смотерть отель по отзывам, ничего криманльного в этом нет и лучше метрику не найти скорей всего

а смысл верификации в чём, что повысить надёжность ПО суммарно?

да

но тут вопрос тогда, а проще ли и быстрее это, чем взять обычный простой язык и накатать тесты (собственно как и делает сейчас подавляющая часть разработки)

А CI еще нет в облаке. Может просто не выкатили

Я не знаю, поэтому я и занимаюсь этой хуйней

смотреть по вакансиям всё равно что смотреть по курсам "вайтивайти"

По-меньшей мере, засчёт системы типов можно будет полностью исключить некорректные состояния юая. Насколько это сложно будет - хз

неа. смотреть по вакансиями - это смотреть насколько технология живая, насколько много людей её используют, чем больше использования, тем лучше будет развиваться, будет больше либ, доков итд.
если нет вакансий - технология либо сырая, либо мёртвая. в довесок ты ещё и людей на неё не найдёшь нормально, а те сычи которые придут будут иметь офигенный bus factor. в общем вне пет проекта и R&D нет_вакансий == нинужно

Если бы люди не страдали такой "хуйней", то гохи, пистоны и прочие не увидели бы свет

В каком смысле верифицируемого?

Ну например если у тебя есть три таба на экране, ты не мог случайно включить четвертый

В общем случае я хочу свалить все то, что у меня в редьюсере сейчас кидает IllegalStateException, на тоталити чекер

ну хз. это ты сейчас в общем про CS говориш?