Глянуть бы какие-то примеры такого безобразия, в теории то понятно, как это делается, но пока не посмотришь на примеры на практике, в голову ничего особо не лезет

это к @notxcain :)

он дегусову луковицу реализовывал помнится

Я всех достал уже наверное с либератором, вот программа в стиле finally tagless (https://github.com/aecor/liberator/blob/master/tests/src/main/scala/io/aecor/liberator/tests/TestApp.scala#L124), вот ее материализация на основе Free (https://github.com/aecor/liberator/blob/master/tests/src/main/scala/io/aecor/liberator/tests/TestApp.scala#L175) вот на основе Term (https://github.com/aecor/liberator/blob/master/tests/src/main/scala/io/aecor/liberator/tests/TestApp.scala#L160), Term вдохновлен (https://pchiusano.github.io/2014-05-20/scala-gadts.html). Вот композиция и транспиляция интерпретаторов (https://github.com/aecor/liberator/blob/master/tests/src/main/scala/io/aecor/liberator/tests/TestApp.scala#L178)

а для mtl-образного не планируешь ничего? :)

или этот терм по сути не слишком отличается?

хотя нет, он вроде тоже вариация на тему free

Да это вариация на тему Free

в чем то двойник

отличается тем как эффект кодируется

Вчера бы интересный разговор с Edmund Noble, у него есть похожая штука https://github.com/edmundnoble/atlast/blob/master/core/shared/src/main/scala/atlast/ATL.scala

Только вместо List подобного ProductKK, у него реализация на основе Vector

Я хотел на выхах побенчмаркать

А так тот же Term https://github.com/edmundnoble/atlast/blob/master/core/shared/src/main/scala/atlast/ATL.scala#L20

а для mtl-образного не планируешь ничего? :)

по-моему то, программа "в стиле finally tagless" уже довольно mtl -образна

только нужно саммонеры заменить на нормальный DSL

т.е. какие-то readLn[F: UserInteraction](promt: String): F[String]

да можно

или импортнуть имплиситы

надо смотреть как вывод себя поведет

или импортнуть имплиситы

довольно геморно при такой нотации, придётся на каждый эффект писать val userInteraction = UserInteraction[F] import userInteraction._

ну стандартный ответ завернуть все во фриманатку или теглес и клепать интерпретаторы для тестов и прода

кстати, а чем это концептуально лучше интерфейсов и перегрузки методов?

ну оно поверх работает :)

более высокий уровень абстракции

типа депенденси инжекшон на стероидах

довольно геморно при такой нотации, придётся на каждый эффект писать val userInteraction = UserInteraction[F] import userInteraction._

при такой да, но можно явно объявить в неявных параметрах

а не через context bounds

кстати, а чем это концептуально лучше интерфейсов и перегрузки методов?

более высокий уровень полиморфизма

более лучший

точно, перегрузка лишь на нодах аст

кстати, а чем это концептуально лучше интерфейсов и перегрузки методов?

ты можешь одну программу скомпилить и во Future[Unit] и в RWST[Config, Log, AppData, Eval, Unit]

exit <- UserInteraction[F].readLn("Exit? (y/n): ").map(_ == "y") _ <- if (exit) { ().pure[F] } else { program[F] } https://github.com/typelevel/cats/blob/01711b0063b7949de8a503b833777fafba6c3a9b/core/src/main/scala/cats/syntax/flatMap.scala#L30

ура сахарок

уиии

в scalaz ещё нормальные whenM, unlessM были

ватрушка

а есть какой-то очень монадный способо преждевременного прерывания итерации по коллекции?

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

для сверток есть foldM ?

свежеее описание этих схем https://www.youtube.com/watch?v=6m0J_XllHqQ

для сверток есть foldM ?

https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Foldable.scala#L183

https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Foldable.scala#L183

Там вопрос случайно оказался ) да оно

А можно тут устроить опрос по возрасту?

Если не токсичный то можно :)

вангую средний возраст в 30+-2

запилите опрос

Ваш возраст 26-30 – 28 ??????? 53% 20-25 – 16 ???? 30% 31-35 – 7 ?? 13% 36-40 – 2 ? 4% <20 ▫️ 0% 41-45 ▫️ 0% >45 ▫️ 0% ? 53 people voted so far.

индустрия старее потихоньку

интересно такой опрос в других чатиках профильных провести

это еще чата для C++ нету :D

индустрия старее потихоньку

Нет же. Молодёжь пишет на го и не читает этот чат

во во )

Внезапно студентов 30%

26-30 уже старые?

Это чо получается, закончил институт, 3-4 года попрограммил и уже на пенсию? :D

не, просто раньше не было тех, кто институт закончил не 3-4 года назад. Программировали единицы, а не как сейчас - в каждом подъезде.

раньше телеграма не было и сидели в шарашках

раньше было лучше

раньше было лучше

трава зеленее

26-30 уже старые?

а ты не замечал сыплющегося песочка сзади еще, не?

а ты не замечал сыплющегося песочка сзади еще, не?

я только шею поворачиваю, темно в глазах становится

ну вот не надо экстраполировать на всех

ну вот не надо экстраполировать на всех

ну я не в курсе, я еще не такой старый, но говорят, что таки у всех.

ну я не в курсе, я еще не такой старый, но говорят, что таки у всех.

таки говорят? а если не секрет вам сколько?

ERROR: S client not available

я просто

чтобы знать что меня ждет

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

значит меня ждет лысина =)

хотя я думаю все будет хорошо, я же завязал с плохими привычками, с явой например =)

лысина либо ждет либо нет

хотя я думаю все будет хорошо, я же завязал с плохими привычками, с явой например =)

логично, конечно, что лысина от явы.

логично, конечно, что лысина от явы.

ну, а не стоит конечно же от функторов =)

ну, а не стоит конечно же от функторов =)

стоит только на функторы

ну, а не стоит конечно же от функторов =)

a.asInstantOf[Any]

https://github.com/holdenk/spark-testing-base/blob/master/mini-cross-build.pl

Ну зачем питон

посоветуйте платформу для блога, чтобы код красиво показывался и всё такое

medium + gist

посоветуйте платформу для блога, чтобы код красиво показывался и всё такое

diary.ru

вангую средний возраст в 30+-2

Проигрываешь!

Почитал тут про https://ru.wikipedia.org/wiki/Android_Runtime, а есть что нибудь чтобы компилировать во время упаковки в докер имадж? Просто интересно

Почитал тут про https://ru.wikipedia.org/wiki/Android_Runtime, а есть что нибудь чтобы компилировать во время упаковки в докер имадж? Просто интересно

Скомпилированную программу в образ?

в врем сборки образа прогонять компилятором для target платформы

Есть образы с дев окружением для андройда.

а я не про андроид

я про простые JVM приложения

сама идея что В отличие от Dalvik, который использует JIT-компиляцию (во время выполнения приложения), ART компилирует[1] приложение во время его установки.

есть ли смысл делать нечто похоже при сборки имаджа контейнера с серверным приложением

Я не понял как ты хочешь это сделать. Обычную джава апликуху прогнать через ART AOT компилятор?

через какой то AOT да

Ну это же ток на андройде работать будет.

через какой то AOT да

если бинарник - то всякие excelsior jet, я полагаю, я не помню есть ли живые и адекватные аот кроме него, если нужен просто АОТ - то в 9-ке будет АОТ компилятор

Нужно теперь джавы 10 ждать.

Ну иди да, экселсиор

Нужно теперь джавы 10 ждать.

вроде в 9ке будет же, и все равно запускать все равно через java -jar