@scala_ru
Vladimir28.04.2018
09:24:39
09:24:39
но тут монада, т.ч. без вариантов
Oleg28.04.2018
09:35:44
09:35:44
Просто для правильной монады её инстанс аппликатива должен быть согласованефм с инстансом монады
А если у тебя аппликатива параллельная для монады легко получить говно
GoogleOleg28.04.2018
09:37:36
09:37:36
В качестве альтернативы придумали связку монады с каким-то возможно отличающимся типом, с параллельной аппликативой
И это даёт кучу ништяков, не только для конкаренси
пытаюсь быть модным и затащить Parallel (потому что Лука сказал, что все свои траверсы на аппликативах я могу выкинуть, т.к. параллелиться они больше не будут)
я же все правильно делаю?
Я вроде экспериментально делал чото типа
trait Paralleled[F[_]]{
type G[_]
def parallel: Parallel[F, G]
}
Чтобы не завязываться явно на совпаденин типов, но и доп. параметр не тащитьпытаюсь быть модным и затащить Parallel (потому что Лука сказал, что все свои траверсы на аппликативах я могу выкинуть, т.к. параллелиться они больше не будут)
я же все правильно делаю?
Приходится синтаксис дописывать, но его там и так немногоVladimir28.04.2018
09:45:06
09:45:06
а бывали случаи несовпадения типов:?
Oleg28.04.2018
09:45:41
09:45:41
Either Validated
List ZipList
Vladimir28.04.2018
09:47:22
09:47:22
тэк, т.е. List[Task[T]] сам по себе мне не даст параллельность?
Oleg28.04.2018
09:48:53
09:48:53
Task, Task.Par
Что это List[Task[T]]
Vladimir28.04.2018
09:49:58
09:49:58
это херня, на которой я вызываю parTraverse
GoogleOleg28.04.2018
09:50:18
09:50:18
Т.е. твоя монада Task?
Oleg28.04.2018
09:52:12
09:52:12
Ну тогдп сначала в листе это замаппится в List[Task.Par[T]], на нём вызовется sequence, а потом обратно транспортнётся Task.Par ~> Task
Так работает parSequence
Vladimir28.04.2018
09:52:59
09:52:59
он догадается, что надо использовать Task.Par, учитывая, что я фиксируюсь на F = Task?
Oleg28.04.2018
09:53:05
09:53:05
Хотя Task.Par - это ньютайп над Task
он догадается, что надо использовать Task.Par, учитывая, что я фиксируюсь на F = Task?
Task.Par явно прописан в инстансе Parallel[Task, Task.Par]Vladimir28.04.2018
09:53:48
09:53:48
щекарно, спасибо
я не доехал до просмотра дефолтных инстансов в новом мониксе
Oleg28.04.2018
09:54:25
09:54:25
Моникс хочет вроде переехать на симметричный инсианс
Daniel28.04.2018
09:54:30
09:54:30
А давно из котов выпилили параллельный аппликатив для Future?
Oleg28.04.2018
09:54:31
09:54:31
Но пока Par
Daniel28.04.2018
09:54:36
09:54:36
Раньше жн был
Даже пример помню был в чате с ним
Когда обсуждали фьючи в ридерах
Oleg28.04.2018
09:55:15
09:55:15
А давно из котов выпилили параллельный аппликатив для Future?
Ну предположу, что теперь он внутри инстанса ParalllelVladimir28.04.2018
09:56:42
09:56:42
о! т.е. все же получается, что старый код на аппликативах после переезда станет не параллельным
GoogleDaniel28.04.2018
09:56:55
09:56:55
Спасибо @odomontois
Vladimir28.04.2018
09:56:58
09:56:58
йё, т.е. и mapN можно выкинуть
Daniel28.04.2018
09:57:09
09:57:09
о! т.е. все же получается, что старый код на аппликативах после переезда станет не параллельным
Да, я уже запустил тот примерВсё плохо
Vladimir28.04.2018
09:57:28
09:57:28
лол, можно уходить переписывать проект
хоть бы scalafix какой-нить дрянной сделали (да-да, опенсорс, тебе нажо, ты и делай)
Oleg28.04.2018
09:58:01
09:58:01
Ну сейчас проблема, что вот как раз когда List[Task] превращается в List[Task.Par] есть лишний map
Для избегания этого нужен либо специальный субтайп Parallel[F, F] либо специальный субтайп с Coercible1 ну или как он там, наверное
Leibniz1 или типа того
https://github.com/typelevel/cats/pull/2019
Третий аппроч
Mikhail28.04.2018
11:06:52
11:06:52
@odomontois гист обновил, сайд эффект с попаданием методов в область видимости компилятора убрал. Имплиситы и имплиситконвершины по прежнему работают без импорта.
Alexander28.04.2018
11:38:42
11:38:42
как в сбт отключить попытку скачивания javadoc у зависимостей?
Alexander28.04.2018
11:39:53
11:39:53
@odomontois гист обновил, сайд эффект с попаданием методов в область видимости компилятора убрал. Имплиситы и имплиситконвершины по прежнему работают без импорта.
а чего добиваешься? (за дискуссией не следил)Mikhail28.04.2018
11:50:37
11:50:37
а чего добиваешься? (за дискуссией не следил)
implicits & implicit conversions for newtypes without import
Andrey28.04.2018
11:52:02
11:52:02
Как я понял затирание типов редкая вещь и можно вообще не думать про неё, если что скала подскажет
NickAndrey28.04.2018
11:54:17
11:54:17
Ну в смысле я редко столкнусь с необходимостью ClassTag добавлять в сигнатуру
В finatra 8 раз используется
Mikhail28.04.2018
12:06:30
12:06:30
Ну в смысле я редко столкнусь с необходимостью ClassTag добавлять в сигнатуру
Это напрямую зависит от того, какой код ты нашлепаешь)Google
Юрий28.04.2018
12:08:12
12:08:12
Как я понял затирание типов редкая вещь и можно вообще не думать про неё, если что скала подскажет
Это не так. ClassTag != ErasureOleksandr28.04.2018
12:08:27
12:08:27
/stat@combot
Combot28.04.2018
12:08:27
12:08:27
combot.org/chat/-1001034178083
Andrey28.04.2018
12:08:33
12:08:33
М?
Grigory28.04.2018
12:28:01
12:28:01
Как я понял затирание типов редкая вещь и можно вообще не думать про неё, если что скала подскажет
все дженерики стираютсянаверное редко если их не использовать
AdminERROR: S client not available
Mikhail28.04.2018
12:38:18
12:38:18
наверное редко если их не использовать
Если что, скала подскажет -
вот этот кусок удаляй, здесь еражура происходит
. Даже опция же есть специальная у компилятора -
-Ywarn-type-erasureGrigory28.04.2018
12:44:34
12:44:34
угу, да вроде даже по дефолту чтото умеет делать в изысканных случаях
Victor28.04.2018
12:55:23
12:55:23
Люди, что делать. Вот например пользователь редактирует сложный объект на форме. Что-то пользователь обновит, что-то нет.
Потом все это летит на бэкенд. И как это все обновлять?
(ps. MongoDb, ReactiveMongo) данные летят json-ом.
чем не подходит вариант в тупую переписать данные в базе прилетевшим json-ом?Daniel28.04.2018
13:08:10
13:08:10
Почему скала может ругаться при вызове public джазового конструктора?
Джавового*
Grigory28.04.2018
13:08:54
13:08:54
ошибку скинь чтоли
Daniel28.04.2018
13:09:50
13:09:50
С ошибкой Symbol *** inaccessible from this place
Джава уже модульная, может быть из за этого?
Вместо звездочек название класса
GoogleGrigory28.04.2018
13:11:34
13:11:34
два Данилы чет строчат
Daniel28.04.2018
13:11:36
13:11:36
модульная она начиная с 9ки, а запускаешь на какой?
ну и опять же смотря какой класс, если модуль дефолтный то нет проблем
Daniel28.04.2018
13:11:46
13:11:46
Библиотека в идейке в зависимости подрузилась
Grigory28.04.2018
13:11:55
13:11:55
попробуй не идеей собирать
Daniel28.04.2018
13:12:00
13:12:00
На 9
Grigory28.04.2018
13:12:13
13:12:13
а версия скалы какая?
Daniel28.04.2018
13:28:53
13:28:53
2.12.6
Я хотел попробовать свичнуть проект на другую либо units of measure
Library
Щас скину пример билда
Без *либо
https://scastie.scala-lang.org/daniil-timofeev/VkI1Vtz6R561TvKnUJyxig/2
Конструктор в файле Quantities
Mikhail28.04.2018
13:49:56
13:49:56
https://scastie.scala-lang.org/daniil-timofeev/VkI1Vtz6R561TvKnUJyxig/2
пользуясь случаем, напомню про https://github.com/rudogma/scala-superquantsDaniel28.04.2018
13:50:08
13:50:08
Надо попробовать API добавить в зависимости будет, когда приеду
Я помню о ней
Сейчас используется units.karols, и мой древний ноут периодически уходит в запой вместе с Идеей, которая пытается все семантически подсветить
Боюсь, что твоя либа из того же класса
Открыть в Telegram