C
Ещё есть F*, который больше похож на секс-игрушку сатаны
Ну ф# мб тож норм, никогда не пробовал
Size: a a a
2020 January 05
G
Не, F*
G
> F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types.
G
Это конечно всё круто, но я ни слова не понял
G
это типо джерк, только для скала
G
Прочти туториал на офф сайте, что не поймёшь - просто пропускай. он не полноценный вообще. Дальше Functional programming in scala, очень крутая книга
а сразу эту книгу нельзя?
C
а сразу эту книгу нельзя?
Можешь сразу попробовать, думаю проблем быть не должно.
G
Можешь сразу попробовать, думаю проблем быть не должно.
Что-то почитал первую главу, много воды
G
И я не люблю примеры из жизни
C
Тогда не читай
TS
а тут такой скала
скала топик, да
G
скала топик, да
Rust после Скалы как дилдо с шипами)
G
Туториал на сайте прочитал почти
TS
Rust после Скалы как дилдо с шипами)
Кстати, совсем недавно можно было устроиться скала программистом после 2месячного курса
G
Что примечательно, звёзд на ГитХабе у Скалы раза в 4 меньше, чем у Rust, а работы больше))
TS
Что примечательно, звёзд на ГитХабе у Скалы раза в 4 меньше, чем у Rust, а работы больше))
G
Когда умнее стану, то F* выучу, просто ради интереса
TS
Что примечательно, звёзд на ГитХабе у Скалы раза в 4 меньше, чем у Rust, а работы больше))
У раста нет лысого красавчика