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

Кек, я уверен что придётся прыгать с бубном оч много, потому что неявное прокидывание тред локалей - это та еще боль

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

Что люди только не делают лишбы не использовать reader monad или агрументы функции ?

Что люди только не делают лишбы не использовать reader monad или агрументы функции ?

что люди не делаю лишь бы заставить попробывать сделать монаду :D

другой интересный момент, getCurrentSession() как хачить ?, только тредлокал тоскать

другой интересный момент, getCurrentSession() как хачить ?, только тредлокал тоскать

бинго

что люди не делаю лишь бы заставить попробывать сделать монаду :D

?

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

Что люди только не делают лишбы не использовать reader monad или агрументы функции ?

сгинь, сгинь ничистая, не нужны эти все ваши монады ?

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

выкинуть весь jee, ммм, вкусно)

Да

Стоит понимать что все наработки прошлых 10-20 лет на java были направлены на поддержания инфраструктуры апликейшен серверов, а там по дефолту сингл тред и jep'ы с аннотациями

А многопоточка этого всего не любит

я бы так громко не говорил

Она любит иммутабельность и явный код

выкинуть весь jee, ммм, вкусно)

Вы тут шутки шутите, а в каком-нибудь условном Чили эта тема (j2ee) на подъеме и имеет жуткий спрос - напоминает то, что было у нас в середине нулевых и то что Отт сейчас написал

тредлокалы был достаточно хороший способ поддержания контекста

тредлокалы был достаточно хороший способ поддержания контекста

в то время это казалось хорошей идеей, да

в то время это казалось хорошей идеей, да

Ты так говоришь как будто сейчас в джаве бы отказались от тредов.

Она любит иммутабельность и явный код

не совсем это связано, шарить данные между потоками проще иммутабельные. Ну и полноценные треды уже уходят на системный уровень, на прикладном появляются солидные абстракции

Что люди только не делают лишбы не использовать reader monad или агрументы функции ?

+1

Ты так говоришь как будто сейчас в джаве бы отказались от тредов.

Ну если они захотят в многопоточку, то откажутся. А так я про то, что не стоит всё это болото нести в новый язык

Как будто монады это рокет сайенс

В 2к18

Да 3 закона прочитать это явно рокет сцайнс

Ну если они захотят в многопоточку, то откажутся. А так я про то, что не стоит всё это болото нести в новый язык

Если они захотять в многопоточку (multithread) то откажуется от потоков (thread)?

Если они захотять в многопоточку (multithread) то откажуется от потоков (thread)?

Речь шла про тредлокали ?

Да 3 закона прочитать это явно рокет сцайнс

Причем первых два из них можно в один запихнуть

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

что за "зконы" монад?

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

ну ну, хипстерскими фреймворками спринг не подвинешь

что за "зконы" монад?

бан в гугле?

monad laws

бан в гугле?

проф лень, когда просто интересно, но не понадобится

Ну если они захотят в многопоточку, то откажутся. А так я про то, что не стоит всё это болото нести в новый язык

Надо для любителей чистого фп выделить чатик, где они выдумают идеальный язык для 2к18) Правда на нем никто писать не будет, потому что голый язык никому не нужен (Ceylon это доказал) как и чистые фп языки (Доля хаскелей и скалаз мала) . ThreadLocal решает проблемы, которые может не решать контекст(ваши монады, и т.д.), например как не создавать Random в каждом контексте, а использовать один на поток. Поэтому я и спросил про потоки.

В любом случае джависты не будут упарываться по явной передачи этого контекста вглубь, только для того чтобы там иметь доступ к юзер сессии. Как вариант можно юзать DI Container вместо ThreadLocal в этом месте, но и тут нам скажут что контейнеры это плохо)

И все это не отменяет действительности где есть либы с ThreadLocal и с ними нужно жить, как она бы вам не нравилась.

Надо для любителей чистого фп выделить чатик, где они выдумают идеальный язык для 2к18) Правда на нем никто писать не будет, потому что голый язык никому не нужен (Ceylon это доказал) как и чистые фп языки (Доля хаскелей и скалаз мала) . ThreadLocal решает проблемы, которые может не решать контекст(ваши монады, и т.д.), например как не создавать Random в каждом контексте, а использовать один на поток. Поэтому я и спросил про потоки.

При чем тут вообще фп (чистое/грязное)? Речь шла про многопоточность, и что с ней жить в текущем стеке почти нереально

В Kotlin корутинах вот есть неявный контекст и это удобно, я его использую для request-scope. В джаве с тредами для этого годится ThreadLocal, и его там используют. Просто покажите нам пример с reader monad на джава/котлин вместо голосвных "глупцы, используйте монады"

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

Иначе опять будет бла-бла

Надо для любителей чистого фп выделить чатик, где они выдумают идеальный язык для 2к18) Правда на нем никто писать не будет, потому что голый язык никому не нужен (Ceylon это доказал) как и чистые фп языки (Доля хаскелей и скалаз мала) . ThreadLocal решает проблемы, которые может не решать контекст(ваши монады, и т.д.), например как не создавать Random в каждом контексте, а использовать один на поток. Поэтому я и спросил про потоки.

ReaderMonad (она же функция от одного аргумента) как раз и использутеся для прокидывания контекста

ReaderMonad (она же функция от одного аргумента) как раз и использутеся для прокидывания контекста

Отлично, пример приложения на java/kotlin пожалуйста. Вы же пишите код, наверняка можете хотя бы скрин прислать где вы используете этот подход.

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

+1 пример с thread local random

Отлично, пример приложения на java/kotlin пожалуйста. Вы же пишите код, наверняка можете хотя бы скрин прислать где вы используете этот подход.

Ну приложения я конечно не могу дать, но синтетический пример, по поводу того как прокидывать туже сессию, вот: https://gist.github.com/eld0727/42b9a42d92c8e20dac552c177a67cdff Но можно ещё жестче абстрагироваться от всего этого, если делать так как рассказал чувак про arrow.kt на конфе Подход называется taggless final

+1 пример с thread local random

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

+1 пример с thread local random

Но вообще это чутли не единственный случай где локаль имеет право жить, и то только потому что Random - не threadsafe

Ну приложения я конечно не могу дать, но синтетический пример, по поводу того как прокидывать туже сессию, вот: https://gist.github.com/eld0727/42b9a42d92c8e20dac552c177a67cdff Но можно ещё жестче абстрагироваться от всего этого, если делать так как рассказал чувак про arrow.kt на конфе Подход называется taggless final

Шо за чувак?

На основном треке был

Он тут есть https://www.youtube.com/playlist?list=PLQ176FUIyIUbVvFMqDc2jhxS-t562uytr ?

Он тут есть https://www.youtube.com/playlist?list=PLQ176FUIyIUbVvFMqDc2jhxS-t562uytr ?

Он вроде на втором дне был

Ну приложения я конечно не могу дать, но синтетический пример, по поводу того как прокидывать туже сессию, вот: https://gist.github.com/eld0727/42b9a42d92c8e20dac552c177a67cdff Но можно ещё жестче абстрагироваться от всего этого, если делать так как рассказал чувак про arrow.kt на конфе Подход называется taggless final

Спасибо, принцип я понимаю, причем не обязательно называть это монадой, потому что контекст может быть и просто объектом. А hello world пример не катит, нужно какое-то реальное приложение где сразу будет видно какого это жить с явной передачей контекста.

Спасибо, принцип я понимаю, причем не обязательно называть это монадой, потому что контекст может быть и просто объектом. А hello world пример не катит, нужно какое-то реальное приложение где сразу будет видно какого это жить с явной передачей контекста.

у @ikomarov был пример Андроид приложения с ReaderMonad

Спасибо, принцип я понимаю, причем не обязательно называть это монадой, потому что контекст может быть и просто объектом. А hello world пример не катит, нужно какое-то реальное приложение где сразу будет видно какого это жить с явной передачей контекста.

и вот тут есть статья об этом https://medium.com/@JorgeCastilloPr/kotlin-dependency-injection-with-the-reader-monad-7d52f94a482e

и вот тут толк (осторожно, CLR) https://www.youtube.com/watch?v=cxs7oLGrxQ4

А вы пишете так? Можете показать свои примеры?

А вы пишете так? Можете показать свои примеры?

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

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

А я щас доколякаю taggless final hello world

Забавно, парень который рассказывает как правильно инжектить манадами использует DI контейенер https://github.com/JorgeCastilloPrz/ArrowAndroidSamples/blob/master/tagless-final/src/main/java/com/github/jorgecastillo/kotlinandroid/tagless/algebras/persistence/HeroesRepository.kt

А вы пишете так? Можете показать свои примеры?

https://gist.github.com/komigor/9ff7a4b16daadae27be03e5ef70537d7 Выглядит как-то так. Это к андроиду конечно имеет мало отношения, но отличий, при проектировании по SOLID не будет особо.

и вот тут есть статья об этом https://medium.com/@JorgeCastilloPr/kotlin-dependency-injection-with-the-reader-monad-7d52f94a482e

Кажется он отказался от того чему в статье учил

короче опять накинули за манады, а аргументов - ноль, пойду писть дальше ООП с АОП и DI

ERROR: S client not available

короче опять накинули за манады, а аргументов - ноль, пойду писть дальше ООП с АОП и DI

Меньше строк (только нужные в функции зависимости), проще читать (если один раз объяснят), нет возможности случайно добавить какой-нибудь мутабельный стейт в класс, и потом от этого страдать.

https://gist.github.com/komigor/9ff7a4b16daadae27be03e5ef70537d7 Выглядит как-то так. Это к андроиду конечно имеет мало отношения, но отличий, при проектировании по SOLID не будет особо.

А тестами это как-то покрывалось?

А тестами это как-то покрывалось?

50/50, я могу показать, как покрывать такое тестами, но это код из моей песочницы, где меня интересовал скраппинг youtube, а не тесты, так что там будет общая идея, дальше вы думаю домыслите)

А тестами это как-то покрывалось?

https://gist.github.com/komigor/4e8db8ee4478916c26fbe9481e2b4fcf Ну, как-то так выглядит тест с kotlintest

сорян ;) на скорую руку писалось, и мне нужно было дебажить, а не залипать в ascii-треш

https://gist.github.com/komigor/4e8db8ee4478916c26fbe9481e2b4fcf Ну, как-то так выглядит тест с kotlintest

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

Меньше строк (только нужные в функции зависимости), проще читать (если один раз объяснят), нет возможности случайно добавить какой-нибудь мутабельный стейт в класс, и потом от этого страдать.

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

тогда поговорим

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

Да без проблем, заплатите мне деньги, чтобы я его вам написал.

Тогда и поговорим)

я бы сказал костыльно, ну да ладно

я бы сказал костыльно, ну да ладно

ну это и подразумевалось

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

Простите, а какая собственно разница, с чем скраппер, если все это "что-то" будет через зависимости кортежем передаваться?

Да без проблем, заплатите мне деньги, чтобы я его вам написал.

ух ё, еще и деньги заплати что бы мне доказали. нет, обойдусь. неужели нет большого opensource проекта на гитхабе, написанного этим замечательным подходом? :)

Простите, а какая собственно разница, с чем скраппер, если все это "что-то" будет через зависимости кортежем передаваться?

Серьезно? Тест без единого ассерта?)

ну это и подразумевалось

сори, не уловил иронии))

Это скрипт, утилита, при этом сильно переинженеренная

Это не приложение, во всяком случае в таком в виде и с таким тестированием

Серьезно? Тест без единого ассерта?)

Как я выше и написал, мне они там были не нужны. Я верю в вас и надеюсь, что вы в состоянии написать then("a result matches some predicate") { assert somePredicate(result) }

Серьезно? Тест без единого ассерта?)

но есть же println!!!

Так, давай-те без прямых оскорблений

Не переходить на личности, а обсуждать код

Не переходить на личности, а обсуждать код

которого нет

https://www.youtube.com/watch?v=a3agLJQ6vt8

там 2й день записи заливают активно

ух ё, еще и деньги заплати что бы мне доказали. нет, обойдусь. неужели нет большого opensource проекта на гитхабе, написанного этим замечательным подходом? :)

а много ли вообще на гитхабе есть больших проектов-продуктов с исходным кодом?

Он вроде на втором дне был

Этот? https://youtu.be/VOZZTSuDMFE

которого нет

Вам там вроде накидали кода оО

Этот? https://youtu.be/VOZZTSuDMFE

ага