IC
Size: a a a
2020 April 28
DB
> In 1970, graphic designer Tom Doerr selected the lower-case Greek letter lambda to be the symbol of the New York chapter of the Gay Activists Alliance.
IC
В скала чате дошли до осуждения перегрузок. Держу в курсе.
VP
а их там нет разве?
AH
а их там нет разве?
Есть
IC
Есть. Но всё равно осуждают. Предлагают указывать тип параметра в имени метода.
AH
Обсуждение вялое. Пара людей пытаются сказать что иногда это проще чем лепить тип сумму на вход и матчить, а догматики говорят что перегрузки зло
DS
Есть. Но всё равно осуждают. Предлагают указывать тип параметра в имени метода.
Ну это чьё-то личное мнение, так перегрузок везде в любой либе скаловской дофига
IC
Очень хочется влезть с вопросом про методы с несколькими параметрами.
AH
Очень хочется влезть с вопросом про методы с несколькими параметрами.
Делаешь тип сумму с нужным списком параметров в каждом кейсе
IC
Ну это чьё-то личное мнение, так перегрузок везде в любой либе скаловской дофига
Да понятное дело. Но выглядит всё равно забавно.
DS
Да понятное дело. Но выглядит всё равно забавно.
С перегрузками в скале и джаве правда можно получить прооблемы из-за особенностей рантайма, ну это не то чтобы часто стреляет
DS
Обсуждение вялое. Пара людей пытаются сказать что иногда это проще чем лепить тип сумму на вход и матчить, а догматики говорят что перегрузки зло
Так там не про тип сумму на вход, а про подход а-ля любимый в расте From и Into:
// вместо такого:
def createFromString(s: String): MyType = ???
def createFromInt(i: Int): MyType = ???
// делаем вот так:
trait From[T, K] {
def from(t: T): K
}
given From[String, MyType] { def from(s: String): MyType = ??? }
given From[Int, MyType] { def from(s: Int): MyType = ??? }
AH
Так там не про тип сумму на вход, а про подход а-ля любимый в расте From и Into:
// вместо такого:
def createFromString(s: String): MyType = ???
def createFromInt(i: Int): MyType = ???
// делаем вот так:
trait From[T, K] {
def from(t: T): K
}
given From[String, MyType] { def from(s: String): MyType = ??? }
given From[Int, MyType] { def from(s: Int): MyType = ??? }
Вот расскажи мне чем объявление двух тайпклассов проще чем объявление двух функций?
AH
Это же просто лишние приседания на ровном месте
AH
С тем же эффектом
DS
Вот расскажи мне чем объявление двух тайпклассов проще чем объявление двух функций?
Эти тайпклассы берутся один раз из библиотеки
AH
Эти тайпклассы берутся один раз из библиотеки
точно так же перегруженная функция можеть быть импортирована один раз из библиотеки
DS
точно так же перегруженная функция можеть быть импортирована один раз из библиотеки
Ты не можешь абстрагироваться от перегруженной функции. Т.е. посмотри для примера как оно в расте сделано с Into/From:
https://doc.rust-lang.org/std/convert/trait.Into.html
https://doc.rust-lang.org/std/convert/trait.From.html
https://doc.rust-lang.org/std/convert/trait.Into.html
https://doc.rust-lang.org/std/convert/trait.From.html
AH
Ты не можешь абстрагироваться от перегруженной функции. Т.е. посмотри для примера как оно в расте сделано с Into/From:
https://doc.rust-lang.org/std/convert/trait.Into.html
https://doc.rust-lang.org/std/convert/trait.From.html
https://doc.rust-lang.org/std/convert/trait.Into.html
https://doc.rust-lang.org/std/convert/trait.From.html
это несуществующая проблема