Первомайка норм как раз

Ну да. Первомайские у вам на заработки ездили)

Ну это все мимо меня прошло. Я скорее наблюдателем был и пару тройку раз естествоиспытателем :)

https://blog.merovius.de/2017/09/12/diminishing-returns-of-static-typing.html

Есть json4s за обёрткой, от json4s нужна лишь сериализация compact(render(x)). Что-то ни как не могу проковырять дырку в этой обёртке для того, чтобы передать туда объект и не тащить импорт от json4s, так как render принимает JValue как параметр. Там без тайптэгов и других вариантов передачи класса как второго параметра вообще ни как не обойтись? Что-то не могу сообразить как сделать в обёртке функцию всего с одним параметром для этого.

Есть json4s за обёрткой, от json4s нужна лишь сериализация compact(render(x)). Что-то ни как не могу проковырять дырку в этой обёртке для того, чтобы передать туда объект и не тащить импорт от json4s, так как render принимает JValue как параметр. Там без тайптэгов и других вариантов передачи класса как второго параметра вообще ни как не обойтись? Что-то не могу сообразить как сделать в обёртке функцию всего с одним параметром для этого.

Возьми circe)

/toxic

https://blog.merovius.de/2017/09/12/diminishing-returns-of-static-typing.html

the marginal benefit of making user-defined containers type-safe simply seems pretty low

Из понравившегося. А вообще какой-то однобокий взгляд на сильные типы. Как же "self documenting", вывод свойств всяких полезных, оптимизации времени компиляции?

На HN правильно заметили, что автор вращается в среде не лучших представителей динамически и статически типизированных языков, поэтому сравнение у него достаточно неполное.

Возьми circe)

Взял, грабли примерно теже, по ощущению.

На самом деле я не понял как оно работает. В доках примеры: val intsJson = List(1, 2, 3).asJson Открываю asJson, a там базовый класс AnyVal. https://github.com/circe/circe/blob/master/modules/core/shared/src/main/scala/io/circe/syntax/package.scala

Взял, грабли примерно теже, по ощущению.

вызвать decode теже грабли?

AnyVal, не AnyRef

вызвать decode теже грабли?

Что именно там вызывать если изначально тип неизвестен? Я уже наверное туплю

ты хочешь лист в строку превратить?

List как пример, там будут потомки от AnyRef

json.noSpaces ?

нет, просто asJson пробовал вызывать, я так подозреваю оно где-то в compile-time подбирает нужный тип, пока не освоил эти особенности scala-компиля

а, понял, там был asJson.pretty(Printer.spaces4)

Main.scala:19: could not find implicit value for parameter encoder: io.circe.Encoder[AnyRef]

покажи код

Hay.addConfiguration("test", (a:AnyRef) => a.asJson.noSpaces)

ну конечно ж он тебя пошлет)

Могу туда Serializable засунуть, так как AnyRef уж слишком тупо

хотя вряд ли поможет

я вообще не понимаю что там должно делаться

Есть классы, которые надо сериализовать, json или xml, технически я могу объявить для них общий базовый класс

Но я же уповал на магию скалы)

Чтобы что-то сериализовать - нужно знать его тип

т.е. даже конкретный тип, а не некоторый базовый? Нельзя ли подсунуть что-то вроде Serializabe, прописать какие-то контракты, чтобы иметь хоть какую-то вариативность в рантайме?

если говорить о circe то там как раз главная идея - использование информации о типах

Посоны хотел бы спросить по поводу такого типа https://github.com/mandubian/khats/blob/master/src/main/scala/data/FunctorK.scala

Но только если вообразить его кайнда не [T[F[_],_]]], а просто [T[F[_]]]

Представим, что есть у меня какой-то Service[F[_]], и все методы у него навроде def foo(x: T1, y: T2): F[R]

Представим, что есть у меня какой-то Service[F[_]], и все методы у него навроде def foo(x: T1, y: T2): F[R]

это ты все апишку развиваешь?

Логично же было бы сделать для него инстанс FunctorK[Service], чтобы можно было просто сконвертить имеющееся решение из базовой монадки в специализированную?

это ты все апишку развиваешь?

Не понял вопроса

Не понял вопроса

ты на митапе презенташку делал, про поделку для тайпсейф апи. вот и вопрос - этот сервис с методами является продолжением развития того направления?

ты на митапе презенташку делал, про поделку для тайпсейф апи. вот и вопрос - этот сервис с методами является продолжением развития того направления?

неа. Никак не связано

Логично же было бы сделать для него инстанс FunctorK[Service], чтобы можно было просто сконвертить имеющееся решение из базовой монадки в специализированную?

с моей нубской колокольни выглядит логично, но не понятен прок (не осилил придумать)

с моей нубской колокольни выглядит логично, но не понятен прок (не осилил придумать)

Ну вот есть у меня Storage[F[_]], с методами put(key, value): F[Unit] и get(key): F[Value], я сделал для него реализацию, которая у меня возвращает Future или Task. Но теперь каждый раз когда юзаю в контексте со своей монадкой приходится делать там lift или fromTask. Ну и самое главное, его уже ьак просто в final tagless не упомянешь в зависимостях

Есть же либа ) у эдмунда нобеля

Вот я и подумал, коли я знаю, как конвертить Task в MyMonad, может сразу сделать, чтобы все подобные инстанмы можно было конвертить

Или у кого еще из кэтс тусовки

Есть же либа ) у эдмунда нобеля

Какая? Не та, что я кинул?

не khats?

Там автовывод функторК

Как раз для этих целей

Ща

не khats?

https://github.com/kailuowang/mainecoon

Сталкивался с таким же вопросом. Решения не нашел. Было бы круто имя S[F[_]] и F~>G получить S[G[_]]

да, то что надо

В либераторе есть mapK :)

А либератор на cats 1.0 переедет?

Да конечно

В либераторе есть mapK :)

А если сервис не ковариантен относительно эффекта?

Там все инвариантно

В либераторе есть mapK :)

а внутри там реализация через фри? я слегка обеспокоен производительностью если для такой трансформации использовать фри

так как работает mapK?

зависит от либы? )

а внутри там реализация через фри? я слегка обеспокоен производительностью если для такой трансформации использовать фри

Есть там с этим проблема, я хочу в следующей версии через кодогенерацию сделать, через инстанс

инстанц чего?

а внутри там реализация через фри? я слегка обеспокоен производительностью если для такой трансформации использовать фри

Там не через фри, а через алгебру только

ага... ну все равно достаточно большой должен быть оверхед по сравнению с просто вызовом функции

Я щас с телефона ) чуть попозже объясню

ок

ага... ну все равно достаточно большой должен быть оверхед по сравнению с просто вызовом функции

Согласен

вот как сделано в маинкуне - https://github.com/kailuowang/mainecoon/blob/master/macros/src/main/scala/mainecoon/autoFunctorK.scala

Там хорошо сделано

context.flush() https://www.fpcomplete.com/blog/2017/06/readert-design-pattern

context.flush() https://www.fpcomplete.com/blog/2017/06/readert-design-pattern

ого я не знал, что lens TH умеет typeclass ы генерить

Надо в монокль запилить

а мне понравился момент про "юзайте мутабельные переменные и почти никогда StateT"

а мне понравился момент про "юзайте мутабельные переменные и почти никогда StateT"

А мне кажется, это и так всем понятно было

возможно если писать на хацкеле те отголоски жизни скаловых радикалов, что до меня долетают ничего такого не подразумевают.

тут момент что я не осбо этим и пользуюсь оно относительно нормально легло только в одном кейсе у меня (ReaderWriterStateT) и то райтер бы я выкинул

возможно если писать на хацкеле те отголоски жизни скаловых радикалов, что до меня долетают ничего такого не подразумевают.

ну достаточно очевидно, что если ты напишешь приложение с каким-то повсеместно юзающимся StateT, любой кусок кода будет исполняться строго последовательно

тут момент что я не осбо этим и пользуюсь оно относительно нормально легло только в одном кейсе у меня (ReaderWriterStateT) и то райтер бы я выкинул

про локальное использование никто не спорит. У меня тоже несколько кусков со StateT и RWST

Мало ли, может сегодня кто-то зайдет, кто сможет ответить... Есть задача - подключить в scala проект kotlin (достаточно - в виде модуля), либо наоборот - в kotlin проект модуль на scala. Система сборки - gradle. Может быть кто-то преуспел в подобном, без создания отдельно одного приложения и второго, и описания их коммуникации локальной?

фу

по-моему на скале можно как на котлине писать

toxic ?

Мало ли, может сегодня кто-то зайдет, кто сможет ответить... Есть задача - подключить в scala проект kotlin (достаточно - в виде модуля), либо наоборот - в kotlin проект модуль на scala. Система сборки - gradle. Может быть кто-то преуспел в подобном, без создания отдельно одного приложения и второго, и описания их коммуникации локальной?

а где возникает затык?

с мавеном у меня точно проблем не было

toxic ?

слабовато

а где возникает затык?

Ни одной статьи в сети на эту тему и (или) примера намекают на то, что это может быть проблематично.

слабовато

:3

Ни одной статьи в сети на эту тему и (или) примера намекают на то, что это может быть проблематично.

Ты реально ищешь статьи и пишешь в чат перед тем, как просто написать двухмодульный хелловорлд?

по-моему на скале можно как на котлине писать

Есть Очень много полезностей, написанных на котле, и хочу сделать роутинг на скале под это все дело (удобнее).

Ты реально ищешь статьи и пишешь в чат перед тем, как просто написать двухмодульный хелловорлд?

Если бы это был хэллоуворлд - я бы не е*ал ни вам, ни себе мозги

Если бы это был хэллоуворлд - я бы не е*ал ни вам, ни себе мозги

тогда тем более возьми да сделай ещё один модуль и попробуй

если уже есть проект

тогда тем более возьми да сделай ещё один модуль и попробуй

Интересовал опыт тех, кто это делал. Зачем тратить время впустую, если можно спросить?

Интересовал опыт тех, кто это делал. Зачем тратить время впустую, если можно спросить?

чтобы не е*ть мозни ни нам ни себе

никто не пишет статьи, потому что это просто работает