P
для этого математика не нужна (с)
ну, тут либо арифметика, либо спуск по градиенту, либо генетические алгоритмы, даже плохие (поменять что-то и посмотреть что вышло), мне кажется, арифметика всё же проще
Size: a a a
2020 April 08
AZ
как будешь считать, сколько оперативы/серверов ещё докинуть тогда? (
просто говори "два раза по сколько вы сказали"
AZ
ну или просто выучи слово "двести пятьдесять шесть гигабайт"
P
просто говори "два раза по сколько вы сказали"
и сразу задел на будущее
AZ
и говори его всегда
P
и говори его всегда
не всегда хватит
AZ
не всегда хватит
тогда юзаешь предыдущее
AZ
пока не начнет хватать
DS
а есть линк на то как там это работает?
Пока работает тупо как обычный монадический синтаксис, будет в следующей версии что-то про переписывание в стейт машины.
За подробностями вроде на мсдн можно
За подробностями вроде на мсдн можно
P
тогда юзаешь предыдущее
тогда через буквально два раза упрёшься в макс инстанс авс и надо будет горизонтально скейлиться
P
но можно взять блок-схему
AZ
Пока работает тупо как обычный монадический синтаксис, будет в следующей версии что-то про переписывание в стейт машины.
За подробностями вроде на мсдн можно
За подробностями вроде на мсдн можно
ну дай линк на мсдн то)
DS
ну дай линк на мсдн то)
AZ
спасибо
AZ
Очень похоже на процедурные макросы
AZ
Do you have to be a functional programming expert to understand all this?
No. As John says in his talk, you don’t need to understand what a trifunctor is, why ZIO[R, E, A] forms a profunctor on its R/E and R/A type parameter pairs, or what a profunctor even is to use ZIO. I would argue that the same is true for Final Tagless: to use it as a way to constrain effect wrappers, you don’t need to have a thorough understanding of type classes, higher kinded types or the Monad typeclass hierarchy.
It’s sufficient to understand why coding to an interface, instead of an implementation is preferable. And being open to alternative ways of expressing dependencies (in this case: not as a parameter, but as an implicit type constraint).
No. As John says in his talk, you don’t need to understand what a trifunctor is, why ZIO[R, E, A] forms a profunctor on its R/E and R/A type parameter pairs, or what a profunctor even is to use ZIO. I would argue that the same is true for Final Tagless: to use it as a way to constrain effect wrappers, you don’t need to have a thorough understanding of type classes, higher kinded types or the Monad typeclass hierarchy.
It’s sufficient to understand why coding to an interface, instead of an implementation is preferable. And being open to alternative ways of expressing dependencies (in this case: not as a parameter, but as an implicit type constraint).
DS
Очень похоже на процедурные макросы
Только это не они, даже не близко
RP
Я предлагал тебе на пьянке)
AZ
я помню
RP
Только рейты у них в статье сильно низкие