Oℕ
Чем для модуляризации
и действительно
https://scastie.scala-lang.org/cHkzmKuFQxitBf5pYv1CSw
осталось только найти откуда для Option брать инстанс
Size: a a a
2020 May 06
АК
можно сделать например
trait Foo[L[_], F[_]]{
def foo(L[String]): F[String]
}
и абстракции поверх него, но мне сомнительная пока ценность такогопонятно, я думал может rabbit hole goes deeper и там есть еще какой-нибуть MonadK, который позволил бы что-то подобное выразить, те интуитивно по анологии с обычным applicative\monad, где последний добавляет дополнительные возможности к аппликативу.
Oℕ
высокородные Монады есть, но они никакого отношения к этому случаю не имеют
Oℕ
Мало того монады высших родов не являются сильными автоматически
Oℕ
Вы запросили контроль одновременно над входом и выходом
Oℕ
По аналогии к тому, как функторы разных сортов дают контроль над выходом.
Профункторы разных сортов могут дать контроль над входом и выходом.
Я и скинул абстракцию профунктора высшего рода, которая могла бы это сделать.
Она в принципе была бы полезна, т.к. рекурсивные "модули" встречаются часто.
Такие как Handle, Local, Bracket и т.п.
Над ними можно было бы восстановить контроль разделив контравариантные и ковариантные позиции параметра на два разных параметра
Профункторы разных сортов могут дать контроль над входом и выходом.
Я и скинул абстракцию профунктора высшего рода, которая могла бы это сделать.
Она в принципе была бы полезна, т.к. рекурсивные "модули" встречаются часто.
Такие как Handle, Local, Bracket и т.п.
Над ними можно было бы восстановить контроль разделив контравариантные и ковариантные позиции параметра на два разных параметра
Oℕ
Собственно примерно этому и посвящена и идея ProK и его потомков.
Где-то посередине между ProK и ProCorepK можно было бы соорудить аналог "моноидального" профунктора и использовать его для композиции реализаций с аспектами, как это делается с помощью tofu.Pre\Post\Mid
Где-то посередине между ProK и ProCorepK можно было бы соорудить аналог "моноидального" профунктора и использовать его для композиции реализаций с аспектами, как это делается с помощью tofu.Pre\Post\Mid
𝛈µ
v01d
overloaded method value getAll with alternatives:
()akka.grpc.scaladsl.SingleResponseRequestBuilder[com.backend.advertisements.AdvertisementsEmptyRequest,com.backend.advertisements.AdvertisementsReply] <and>
(in: com.backend.advertisements.AdvertisementsEmptyRequest)scala.concurrent.Future[com.backend.advertisements.AdvertisementsReply]
cannot be applied to (akka.stream.scaladsl.Source[com.backend.advertisements.AdvertisementsEmptyRequest,akka.NotUsed])
val responseStream: Source[AdvertisementsReply, NotUsed] = client.getAll(requestStream)
()akka.grpc.scaladsl.SingleResponseRequestBuilder[com.backend.advertisements.AdvertisementsEmptyRequest,com.backend.advertisements.AdvertisementsReply] <and>
(in: com.backend.advertisements.AdvertisementsEmptyRequest)scala.concurrent.Future[com.backend.advertisements.AdvertisementsReply]
cannot be applied to (akka.stream.scaladsl.Source[com.backend.advertisements.AdvertisementsEmptyRequest,akka.NotUsed])
val responseStream: Source[AdvertisementsReply, NotUsed] = client.getAll(requestStream)
В акке. Не надо её использовать
АК
По аналогии к тому, как функторы разных сортов дают контроль над выходом.
Профункторы разных сортов могут дать контроль над входом и выходом.
Я и скинул абстракцию профунктора высшего рода, которая могла бы это сделать.
Она в принципе была бы полезна, т.к. рекурсивные "модули" встречаются часто.
Такие как Handle, Local, Bracket и т.п.
Над ними можно было бы восстановить контроль разделив контравариантные и ковариантные позиции параметра на два разных параметра
Профункторы разных сортов могут дать контроль над входом и выходом.
Я и скинул абстракцию профунктора высшего рода, которая могла бы это сделать.
Она в принципе была бы полезна, т.к. рекурсивные "модули" встречаются часто.
Такие как Handle, Local, Bracket и т.п.
Над ними можно было бы восстановить контроль разделив контравариантные и ковариантные позиции параметра на два разных параметра
Но все это все еще будет сомнительньной полезности? Те необходим маппинг из G[_] в F[_] (как в вашем примере выше), в то время как большенстве полезных
трейтов, которые может понадобиться оборачивать, методы имеют вид маппинга из тупла в F[_], и этот тупл в G так просто не соберешь чтобы всю эту профунктор структуру использовать. Правильно ли я понял, что из этого происходит сомнительность их полезности или это из какого-то другого соображения?
трейтов, которые может понадобиться оборачивать, методы имеют вид маппинга из тупла в F[_], и этот тупл в G так просто не соберешь чтобы всю эту профунктор структуру использовать. Правильно ли я понял, что из этого происходит сомнительность их полезности или это из какого-то другого соображения?
Oℕ
Сомнения в полезности только потому, что не видел мест, где это было бы полезно
2020 May 07
P
Как называлась библиотека которая показывала какой код макрос генерирует? Чего-то не могу сходу найти.
DM
Python
Как называлась библиотека которая показывала какой код макрос генерирует? Чего-то не могу сходу найти.
P
IP
Всем привет, не могу правильно сконфигурить сервер http4s BlazeServerBuilder, при отправке запроса в логах пишется Accepted connection from /127.0.0.1:port . При каждом новом запросе запись новая выходит только с другим портом, сервер сам на 80, подскажите плиз, а то уж не знаю куда думать?
λ
что в твоем понимании правильно?
λ
это же пишется адрес откуда приходит запрос
IP
это же пишется адрес откуда приходит запрос
А, ну когда нормальный запрос с curl отправляю сервер падает, тоесть я роуд неверно настроил?
λ
с какой причиной?
IP
с какой причиной?
502