да, про акторов модель на ютубе есть как раз

Вот тут надо про заговоры иллюминатов начинать разговор. Что тогда все были умные и много чего придумали, но потом их всех глобальный заговор схавал и мы сейчас используем их наработки, а новых нет.... ну и все в таком духе)))

https://pdfs.semanticscholar.org/7626/93415b205b075639fad6670b16e9f72d14cb.pdf так просто что-то в гугле первое попалось. есть библиография с отсылкой к старым трактатам по разным моделям конкуренси, может кому пригодится)

Вот тут надо про заговоры иллюминатов начинать разговор. Что тогда все были умные и много чего придумали, но потом их всех глобальный заговор схавал и мы сейчас используем их наработки, а новых нет.... ну и все в таком духе)))

ну почему же, вот модные CRDT в 2011 придумали

Да акторам уже много лет, акторы всплыли в первую очередь потому что достигнут предел техпроцесса, и как следствие появления большого кол-ва ядер. Хочешь быстрее и больше - выполняй задачи параллельно. У меня есть давний друг, инженер компании Intel, мы с ним частенько беседуем на эту тему... его команда работает над новым компилятором который будет автоматически распараллеливать legacy (однопоточный) код. Так вот он говорит что в принципе всё движется в сторону увеличения кол-ва ядер, но и тут тоже есть предел. Различные квантовые процессоры и триарные системы команд - пока что в жопе и не стоит их ждать в ближайшем будущем. Пару лет назад, в аналах интернета я нашёл статью РосНИИ Искусственного Интелекта, которая была написана в конце 80-х годов, она немного пафосная, там сформулированны основы новой парадигмы программирования, которая может стать приемником ООП методологии, она более высокоуровнева, и базируется на реактивном подходе. Эта система даёт принципиально новые качества системы ! Она перевернула моё восприятие, немножко вытащила из ООП болота, и показала что можно делать системы которые будут гораздо гибче и обучаемы. Я показывал её своему другу, и другим ребятам, уровня синьёр дев, из других компаний, но которые довольно консервативны по своей сути, и все говорят "что за дичь" ! ) Я не знаю стоит ли постить её здесь... Всё таки Скаланы тем и сильны что используют как ООП подход так и ФП и с реактивным манифестом знакомы.

Пости конечно, интересно же

да, давай, очень интересно

http://dm-lihachev.livejournal.com/1630266.html

Зацените онион архитектуру с использованием Finally Tagless и Liberator

https://gist.github.com/notxcain/7dc83acf08b94dcaaa436a12dbcf5df8

def transpile[M[_[_]], N[_[_]], F[_]: Monad](mtn: M[Term[N, ?]], nf: N[F])(implicit ev: FreeAlgebra[M]): M[F]

niec

Это дико круто ) реально Finally Tagless это dual of Free Monad

Там где во фримонадах Inject тут Project

Там Coproduct тут Product

object FooServiceInTermsOfComponent1AndComponent2 extends FooService[Term[ProductKK[FooServiceComponent1, FooServiceComponent2, ?[_]], ?]] это даже покруче чем AbstractSingletonProxyFactoryBean

да ладно тебе

Это написано специально чтобы понятно было )

Могу просто написать DefaultFooService

да просто dfs напиши

чтоб точо не понятно стало :)

ну я не про название, а про дженерики

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

а что дженерики ? там тупо Foo[F[_]]

ну почему же, вот модные CRDT в 2011 придумали

crdt это полурешетки, известные века с 18-19 :)

type F[A] = Term[ProductKK[FooServiceComponent1, FooServiceComponent2, ?[_]], A]

?[_] ?

Название ProductKK мне не нравится

Это так kind-projector сделано

Интересно только, зачем это делать? Чтобы разводить помои из 100500 библиотек делающих одно и тоже, не совместимых друг с другом, как в JS. Чтобы можно было писать кучи статей на тему "почему в на этой неделе модно А вместо Б" и раздувать свое ЧСВ, от осознания того, что ты знаешь 47 библиотек для любого действия?

акторы не типизируются и плохо анализу поддаются, у Роланда Куна, бывшего лида акки недавно были посты как раз про то, как сделать акку более процесс-калкулюс-образной

https://github.com/rkuhn/blog

http://dm-lihachev.livejournal.com/1630266.html

у проклятых буржуев такое зовется constraint programming

скажите что Free монады это не сложно

Это не сложно

Это не сложно

Это не сложно, главное не открыть статей про FreeMonad

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

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

А можно эти статьи ?

Кстати нарыл офигенный мониторинг datadoghq.com Saas решение. Не стал заморачиваться grafana + graphit + carbon + python + ещё хер знает что оно хоть и платное 15$ зато на отдельной машине, и она помощьнее чем graphit стек. Есть формулы , интерполяции.., с визуал редактором и евенты

Я обновил гист и вот самое крутое место https://gist.github.com/notxcain/7dc83acf08b94dcaaa436a12dbcf5df8#file-app-scala-L148

То есть теперь реализации сделаны относительно абстрактного F[_] https://gist.github.com/notxcain/7dc83acf08b94dcaaa436a12dbcf5df8#file-app-scala-L135

Я обновил гист и вот самое крутое место https://gist.github.com/notxcain/7dc83acf08b94dcaaa436a12dbcf5df8#file-app-scala-L148

Хорош свою фотку пиарить )

сорян )

Просто хочу поделиться тем что мне кажется дико крутым

Ты безусловно крут )

Я тут не причем, это математика )

Есть похожий PR в Shapeless https://github.com/milessabin/shapeless/pull/657

Это не сложно, главное не открыть статей про FreeMonad

С таким подходом лучше ничего не открывать )

набежало людей откуда-то

https://twitter.com/backendsecret/status/828318128497123328 а, это Марина пиарит)

Там какой то пиар aerospike сегодня

ERROR: S client not available

аэроспайк шиловат

особенно этот их асинк клиент жабный

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

https://twitter.com/backendsecret/status/828318128497123328 а, это Марина пиарит)

Это все фанаты марины? А кто такая марина?

Это все фанаты марины? А кто такая марина?

Marina

С добрым утром! Это все люди, которым scala интересна, про чат мало кто знает, упоминание не вредит, @fomkin ?

С добрым утром! Это все люди, которым scala интересна, про чат мало кто знает, упоминание не вредит, @fomkin ?

Все круто. Чем плотнее наши ряды, тем шире наши морды!

Все круто. Чем плотнее наши ряды, тем шире наши морды!

Отлично!

Эх. Я уже понадеялся на треш и угар. Типа адепты котлина или типа того.

Scalalaz #14 c Дмитрием Петрашко (EPFL, команда Dotty) про DOT, новые коллекции, эффекты и @binaryCompatible http://scalalaz.ru/series-14.html

Scalalaz #14 c Дмитрием Петрашко (EPFL, команда Dotty) про DOT, новые коллекции, эффекты и @binaryCompatible http://scalalaz.ru/series-14.html

Wow!

Scalalaz #14 c Дмитрием Петрашко (EPFL, команда Dotty) про DOT, новые коллекции, эффекты и @binaryCompatible http://scalalaz.ru/series-14.html

ты просто сделал моё утро понедельника :) спасибо!

Scalalaz #14 c Дмитрием Петрашко (EPFL, команда Dotty) про DOT, новые коллекции, эффекты и @binaryCompatible http://scalalaz.ru/series-14.html

??

Эдак до Одерского дойдёт скоро

Эдак до Одерского дойдёт скоро

Ну если он по русски будет говорить?

придется выучить

https://www.infoq.com/articles/more-than-react-part-i

очередной батхерт чувака, который не смог в реакт ?

ReactJS components are difficult to reuse in complex interactive web projects.

Сразу закрываем

Классический довод всех королёвых "Если ваш проект очень большой и сложный, самый популярный подход вам не подойдёт. Чтобы продемонстрировать это, рассмотрим TODO application"

Ну если он по русски будет говорить?

С переводчиком вдвойне круто ж)

“Awesome Scala compares my framework with other counterparts ”

С переводчиком вдвойне круто ж)

вдвойне дольше

Вроде он и на английском умеет