Ок. Если хочется статической типизации + option, either, task... То допустим Rescript. А как на нем бек писать (реально хочется узнать)? Да, typescript не идеален. Конечно минусы есть и не мало. Но это если эти минусы важнее плюсов. Генерит не мономорфный код? Хотелось бы разобрать на примерах. Увеличивает время написания фичи? Да. Ускоряет рефактор? Да. Его надо учить? Несомненно. Местами кривоват? Да. Хуже, чем js? Как по мне нет, т. к. они очень похожи. Стадия компиляции? Да, нужна, да минус по потере качества кода и времени, он же и плюс для тайп чека. Привычки от бабеля пихать фичи раньше времени? Ну вроде только декораторы. Стоит его пихать в стоп лист? Не стоит. Активно развивающаяся экосистема? Да. Помогает фиксить ошибки ещё до запуска тестов? Да. На нем можно писать плохой код? Однозначно. Хорошая проверка dto с гарантией типов? Io-ts. Помогает писать доменную логику? Можно брендированные типы заиспользовать если очень хочется. Чтобы не сложить километры с милями.
А то что-то про него только в одну сторону пока, решил набросить.
