ΑZ
есть какие-то прям убойные аргументы, в стиле генериков против копипасты?
Size: a a a
2020 November 25
IK
а какие плюсы хкт? А то у меня как раз щас разгвоор с командой одного языка, и меня спрашивают "а че толку с него, все равно нужно делать специализации чтобы не тормозило, а раз так то и обобщать смысла нет если тебя не хачкель"
Так и есть, против копипасты
IK
и композируемость
ΑZ
Так и есть, против копипасты
ну нужны какие-то конкретные примеры. Потому что мне говорят "а у нас хкт нет и копипасты тож нет. Врёте всё"
IK
в кратце - можно абстрагироваться от контекста вычислений
ΑZ
единственное что мне в голову приходит, можно писать абстрагированный от той же асинхронности код:
Foo[M]: M[Int] = ...
Foo[Id]
Foo[Async]ΑZ
но этого мало
IK
type MyF[A] = IO[Either[MyErr, A]]IK
type MyF[A] = State[MyState, A]
Foo[MyF]IK
type MyF[A] = Reader[MyEnvironment, A]ΑZ
я москвина на степике всего прослушал, я прекрасно представляю себе и зачем MTL нужен икак это все делается. Вопрос именно в том, как для обычного среднего джависта получить с этого пользу. Как пример, если из СТД языка уйдет дублирование апишек вызванное тем что без хкт их не обобщить, то это профитно
IK
я москвина на степике всего прослушал, я прекрасно представляю себе и зачем MTL нужен икак это все делается. Вопрос именно в том, как для обычного среднего джависта получить с этого пользу. Как пример, если из СТД языка уйдет дублирование апишек вызванное тем что без хкт их не обобщить, то это профитно
Синтаксис котов используете?
ΑZ
ну лично мне синтаксис не важен, я все равно его странслирую во что мне нужно. Но ML воспринимать проще
IK
ну типа
(aO: Option[A], bO: Option[B]).mapN { case (a, b) => ... } ?S
я москвина на степике всего прослушал, я прекрасно представляю себе и зачем MTL нужен икак это все делается. Вопрос именно в том, как для обычного среднего джависта получить с этого пользу. Как пример, если из СТД языка уйдет дублирование апишек вызванное тем что без хкт их не обобщить, то это профитно
Оч сложно. В моем проекте челик сказал "все эти технологии cats оч сырая хрень"
S
чтож тут с ними поделаешь
S
/shrug
IK
Saitama
Оч сложно. В моем проекте челик сказал "все эти технологии cats оч сырая хрень"
насттолько сырая, что версия 2.2.0 бинарна совместима с 1.0 и куча scala-либ на них завязаны :)
IK
ну лично мне синтаксис не важен, я все равно его странслирую во что мне нужно. Но ML воспринимать проще
Я к тому, что синтаксис появляется для Option, Vector, Whatever вне зависимости от их внутреннего типа. Без HKT такое описать очень сложно, а так - Applicative[F[_]] - пожалуйста
S
насттолько сырая, что версия 2.2.0 бинарна совместима с 1.0 и куча scala-либ на них завязаны :)
эт к тому, что убедить среднего джависта, особенно старого, сложно.