AS
какая интересная и новая тема! 😁
Size: a a a
2020 September 23
Oℕ
почему всем так больно с этого? Где это реально мешает писать рабочий код? Я чет за полтора года заметил только, что нужно иногда дописать пару тайп-параметров, что в общем-то читаемости не мешает
ну это потому что сначала было мучительно больно авторам библиотек, которые выискивали такое АПИ, чтобы тайппараметры не нужно было писать на каждом шагу
а потом стало больно юзерам, но они не знают почему, ведь это боль от пустоты, от фич, которые так и не появились в библиотеках от проблем с выводом типов
а потом стало больно юзерам, но они не знают почему, ведь это боль от пустоты, от фич, которые так и не появились в библиотеках от проблем с выводом типов
OO
почему всем так больно с этого? Где это реально мешает писать рабочий код? Я чет за полтора года заметил только, что нужно иногда дописать пару тайп-параметров, что в общем-то читаемости не мешает
просто у команды Мартина ушла хренова куча ресурсов на попытки подружить тот же сабтайпинг с выводом типов
Oℕ
ну это потому что сначала было мучительно больно авторам библиотек, которые выискивали такое АПИ, чтобы тайппараметры не нужно было писать на каждом шагу
а потом стало больно юзерам, но они не знают почему, ведь это боль от пустоты, от фич, которые так и не появились в библиотеках от проблем с выводом типов
а потом стало больно юзерам, но они не знают почему, ведь это боль от пустоты, от фич, которые так и не появились в библиотеках от проблем с выводом типов
@kai_neko требую подтверждения
ΛВ
ну это потому что сначала было мучительно больно авторам библиотек, которые выискивали такое АПИ, чтобы тайппараметры не нужно было писать на каждом шагу
а потом стало больно юзерам, но они не знают почему, ведь это боль от пустоты, от фич, которые так и не появились в библиотеках от проблем с выводом типов
а потом стало больно юзерам, но они не знают почему, ведь это боль от пустоты, от фич, которые так и не появились в библиотеках от проблем с выводом типов
а разве уже появились системы и с сабтайпингом, и с выводом типов?
Oℕ
да, в scala
ΛВ
да, в scala
с нормальным, чтобы не было пустоты
Oℕ
scala 3 - стейт оф зе арт вывода типов с вездесущим скаловым субтайпингом, велкам
Oℕ
есть системы типов с маленьким номинальным субтайпингом, там лучше гораздо, типа окамля
Oℕ
Но это не то, что в скале хочется всем
𝛈µ
почему всем так больно с этого? Где это реально мешает писать рабочий код? Я чет за полтора года заметил только, что нужно иногда дописать пару тайп-параметров, что в общем-то читаемости не мешает
Везде, к примеру, где тебе приходится обкостыливать инференс через ()()
ΛВ
Везде, к примеру, где тебе приходится обкостыливать инференс через ()()
не было ни разу, повезло
𝛈µ
было сто раз
𝛈µ
в последний год не было, т.к. я только бл пишу
𝛈µ
а в библиотечном коде - дык постоянно
VC
3ю скалу уже в продакшне использовать можно или еще сырая поддержка библиотек?
λ
Victor Chugunov
3ю скалу уже в продакшне использовать можно или еще сырая поддержка библиотек?
Уже у всех в проде
λ
С подключением
AS
/toxic
VC
Спасибо