Лол, у Скалы даже сайтик есть, который просто зав. типы объясняет

Лол, двухмесячный курс по Скале?

За столько можно книгу толстенную прочитать

Если только для начинающих, ХЗ

Угу, с дальнейшим трудоустройством, (плюс там практика и насиавники)

и зачем вам эта экзотика?

Ну там с 0, да

Просто искал нормальный и стабильный ФП + ООП язык

Скала вроде подходит

чем сишарп не устраивае?

Экзотика - это F* с алгебраическими эффектами

Тем, что параша

обоснуй

1) Непроверяемые исключения
2) Nullable типы
3) Type-driven development на нём вроде не получится нормальный

С первым пунктом не знаешь какие исключения кидает функция, приходится в документации описывать (которой почти всегда нет), ну и тогда в исходниках шариться или catch (Exception e). А можешь просто пропустить поставить try-catch блок и всё, дядя, прощай.

Со вторым пунктом вроде все знакомы, тоже порождает ошибки, когда по null-ссылке вызываешь метод. Была статья от создателя null, называлась "Ошибка на миллиард долларов", как-то так, где он приносил свои извинения)

Ну а третий пункт позволяет больше вещей на этапе компиляции проверять.

Правда Scala по-моему с небезопасным многопоточным программированием, но я это могу пережить. Зато стабильный и с огромным кол-вом унаследованных Java-библиотек

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

А всякая экзотика вроде Idris, F* - это больше эксперимент, чем языки программирования, готовые к применению. Haskell мне не хочется учить, не знаю почему