David Gregory @DavidGregory084 17:59 Is there any plan to implement syntactic / untyped macros as part of the new macro system? Guillaume Martres @smarter 18:25 @DavidGregory...
@sugakandrey Как там прогресс в идее по новому тайперу с нуля для скалы 3?
@sugakandrey А почему идея перестала обращать внимание на не найденные имплиситы для конверсий в авто-комплите экстеншн методов? Раньше (~ полгода назад) все отлично работало ...
Еще кстати: package mypkg { trait Functor[F[_]] { def map[A, B](fa: F[A])(f: A => B): F[B] } final class FunctorOps[F[_], A](private val fa: F[A]) extends AnyVal { ...
Я не хочу вводить огромное количество новых сущностей. так у тебя на каждый PersonDAO по четыре сущности: PersonDAO PersonDAOImpl PersonDAOModule PersonDAOModuleImpl Плюс нуж...
https://github.com/TinkoffCreditSystems/tofu/blob/master/core/src/main/scala/tofu/Guarantee.scala Хмм, а зачем два компаньона и параметризирование супертипом? object Guarantee...
С одной стороны это кстати есть, есть ModuleRequirements как часть статического чекера - https://github.com/7mind/izumi/blob/1cc1e85af1b3da105d00b1dacef02cf4e3f4b2b9/distage/d...
А че пакеты?
А так можно? enum Free[+F[+_], +A] { case FlatMap[+F[+_], A, +B]( lhs: Free[F, A] | F[A], rhs: A => Free[F, B] | F[B] ) extends Free[F, B] }
Кто здесь использует хаскелль в продакшене – я или ты? (Можно не отвечать) Вырывка из продакшен кода: class GetConstr (Deps m) => CollectionModule m where type Coll m coll...
Но как он имплементировал свой бан? Ботом каким-то или в самом твиттере есть фичи для этого?
Ну вроде все по спеку, во всяком случае паттерн package object { type X = ... val X = ... } Очень частый, а если вал, то почему не деф, а если деф, то почему не имплисит д...
Интересно, а код для арестовывания счетов предприятий написан на акке или на монадках? 🤔
А RepresentableK можно юзать чтобы автоматически имплементить контрамап для сервисов?
v projektore ili v scale 3?
@odomontois У вас там реально проблемы с бинкомпатом внутри орги или это чисто для опенсорсных либ-поверх-либы?
В чем отличие Free[F, A] от Either[Free[A], F[A]]/Free[A] | F[A]? EDIT: Без параметра F, Free.FlatMap не может продолжатся с включением в себя F...
То есть опять совершенно несемантическое буквоедство. Ты вообще пейперы читаешь не обливаясь кровью оттого как авторы каверкают святую (неформальную кстати) терминологию?
1.0-RC11 ?
А аммонит для дотти когда?