я вот навскидку могу назвать только одно погодное приложение под андроид, vscode, еще парочку текстовых редакторов, realworld project

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

HelloWord, и то что это читается лучше - чистая субъективщина, уже не раз выясняли

я вот навскидку могу назвать только одно погодное приложение под андроид, vscode, еще парочку текстовых редакторов, realworld project

ну кто чем интересуется :)

я бы поглядел

накинь

https://gist.github.com/eld0727/79714d2d79a21785ddf02b7c7e63648d

Подставьте сюда реальную сессию и ваш любимый jOOQ и вперёд

я вот навскидку могу назвать только одно погодное приложение под андроид, vscode, еще парочку текстовых редакторов, realworld project

зайдите в аккаунты jetbrains/jboss/hibernate/spring/oracle/jee/drools

да того же мелкософта

тогоже jooq или querydsl

естественно если ходить по репам хеловордов, то ничего кроме них не увидеть...

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

да вроде никто и не переходит)

зайдите в аккаунты jetbrains/jboss/hibernate/spring/oracle/jee/drools

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

и которые не являются просто семплами технологий

окей) т.е. фреймворки монадами не пишутся?)

т.е. подход - не торт?)

окей) т.е. фреймворки монадами не пишутся?)

Почемы бы и нет

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

Просто люди еще не готовы

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

если подход отличный - где фреймворки? народ будет использовать. ФП же не вчера рожден? :)

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

на джаве такого не будет

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

Вот тут пример, как при помощи монад можно держать контекст и не прокидывать его через все сервисы https://gist.github.com/eld0727/79714d2d79a21785ddf02b7c7e63648d

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

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

ну не используй, а в интернете плеваться тем что не нравится - не надо

Опять эти "войны" "остроконечников" и "тупоконечников"

Опять эти "войны" "остроконечников" и "тупоконечников"

Да как будто бы в этом чатике по-другому бывает

Опять эти "войны" "остроконечников" и "тупоконечников"

просто не надо плеватьяс на другие подходы и продвигать свое) тогда священных вой не будет)

https://gist.github.com/eld0727/79714d2d79a21785ddf02b7c7e63648d

Не могу найти доку на KleisliMtlContext

Да как будто бы в этом чатике по-другому бывает

я про то и говорю

просто не надо плеватьяс на другие подходы и продвигать свое) тогда священных вой не будет)

Это почему же не надо продвигать своё?

Коо там говорил что чат "ламповый" ?

Не могу найти доку на KleisliMtlContext

я тоже не нашёл

просто не надо плеватьяс на другие подходы и продвигать свое) тогда священных вой не будет)

хм, а кто то плевался на обычный DI?

хм, а кто то плевался на обычный DI?

я

хм, а кто то плевался на обычный DI?

и не раз

в этом конкретном треде

Это почему же не надо продвигать своё?

при этом не стоит обсерать остальное, как это происходит часто)

в этом конкретном треде

да

пруфы?

при этом не стоит обсерать остальное, как это происходит часто)

Я не увидел обсёра, например.

при этом не стоит обсерать остальное, как это происходит часто)

обсирать не плохо, плохо когда не видишь нормальную аргументацию)

я тоже не нашёл

Я пытаюсь понять как оно соотносит вызов session в многопоточной среде с текущей сессии, и какие там накладные раскходы возникают. Потому что сейчас выглядит как магия

Монады не слишком удобны без monad comprehension (do нотация) и monad transformers. И то, и другое в Java/Kotlin не поддерживается. При этом, если monad comprehension в Kotlin можно эмулировать, так как в самом языке есть нотация последовательного исполнения инструкций, то monad transformers без higher order kinds я как-то себе не представляю. BTW, без higher order kinds сам интерфейс функтора и монады не объявишь в общем виде.

обсирать не плохо, плохо когда не видишь нормальную аргументацию)

ну так и аргументации нет

ну так и аргументации нет

ну тогда можно и обсирать)

Монады не слишком удобны без monad comprehension (do нотация) и monad transformers. И то, и другое в Java/Kotlin не поддерживается. При этом, если monad comprehension в Kotlin можно эмулировать, так как в самом языке есть нотация последовательного исполнения инструкций, то monad transformers без higher order kinds я как-то себе не представляю. BTW, без higher order kinds сам интерфейс функтора и монады не объявишь в общем виде.

Однако в arrow есть трансформеры

Однако в arrow есть трансформеры

В Arrow эмулируются higher order kinds через конвенции, что тоже несколько криво.

ну тогда можно и обсирать)

ну вот и просто обсирают, без приведения аргументов)

Я пытаюсь понять как оно соотносит вызов session в многопоточной среде с текущей сессии, и какие там накладные раскходы возникают. Потому что сейчас выглядит как магия

Там просто берётся ссылка на session и пихается в каждую функцию одна и таже

Однако в arrow есть трансформеры

но это же не language feature

но это же не language feature

Ну трансформеры нигде и не являются фичей языка. Они везде библиотекой идут.

Там просто берётся ссылка на session и пихается в каждую функцию одна и таже

Т.е. в условном контроллере куда прилетает http запрос я должен вот так писать program.fix().run(DbSession())?

ну вот и просто обсирают, без приведения аргументов)

можно не обращать внимания, пусть кричат)

но это же не language feature

ну так и корутины не language feature по большому счету

Т.е. в условном контроллере куда прилетает http запрос я должен вот так писать program.fix().run(DbSession())?

типо того

Можно синтаксисом обвешать и спрятать пару вызовов

ну так и корутины не language feature по большому счету

false

можно не обращать внимания, пусть кричат)

ну чаще так и происходит)

типо того

Тогда стало совсем непонятно как вся эта магия понимает какую сессию подставить

зато прекращается быстро)

false

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

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

там в @jvmchat есть хейтер, который считает, что корутины нужно было делать библиотекой :)

ну так и корутины не language feature по большому счету

core - language feature, то что идет либой - официально преподносится как одна из реализаций, основанная на базисе из ядра. в шарпе тоже только коровые вещи в ядре

jb говорят что ты можешь взять и сам запилить свои корутины

ERROR: S client not available

там в @jvmchat есть хейтер, который считает, что корутины нужно было делать библиотекой :)

а как он сделает саспенды библиотекой? через декораторы а-ля ркс?

там в @jvmchat есть хейтер, который считает, что корутины нужно было делать библиотекой :)

это Истиный хейтер котлина ии скалист по совместительству ?

jb говорят что ты можешь взять и сам запилить свои корутины

Не сами корутины. А библиотеку для них.

Тогда стало совсем непонятно как вся эта магия понимает какую сессию подставить

Kleisli - это по сути просто функция из A -> B, над некоторым F, F - Deferred, то есть у нас получается что мы стакаем кучу функций A -> Deferred<B>, и в месте вызова подставляем этот A

а как он сделает саспенды библиотекой? через декораторы а-ля ркс?

compiler plugin

а как он сделает саспенды библиотекой? через декораторы а-ля ркс?

типа, надо было аннотейшен процессингом делать

жуть

Не сами корутины. А библиотеку для них.

да, поверх стандартной базы свои мега крутые

это Истиный хейтер котлина ии скалист по совместительству ?

да) Ну а Котлин, конечно же, плох тем, что он не Скала)

типа, надо было аннотейшен процессингом делать

ну suspend это можно сказать и есть аннотация на методе

единственное - компилятор ничего гаратнтировать при этом не сможет

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

типа, надо было аннотейшен процессингом делать

ну сейчас байт код генерится ?

Вот тут пример, как при помощи монад можно держать контекст и не прокидывать его через все сервисы https://gist.github.com/eld0727/79714d2d79a21785ddf02b7c7e63648d

Кстати, очень прикольно) Мне понравилось))

ну одно ключевое слово вместо двух, это неплохой результат

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

ну корутины мощнее горутин, на сколько знаю

учитывая что suspend не так часто используется, как await

Kleisli - это по сути просто функция из A -> B, над некоторым F, F - Deferred, то есть у нас получается что мы стакаем кучу функций A -> Deferred<B>, и в месте вызова подставляем этот A

Все равно магия, можешь слегка аджастнуть код, чтобы было чуть понятнее. Например у нас есть сервер, и реализовать один хендлер который возьмет userId и использует его потом для того чтобы в базу писать: class Request(val userId: Int) class Response { fun send(data: String) = println(data) } typealias RequestHandler = (Request, Response) -> Unit

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

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

А на Java пишешь?

на ABAPе)

на ABAPе)

Ну суть в том, что код должен находиться в методе, а там он лежит прям в теле класса.

рука лицо)) спасибо))

Все равно магия, можешь слегка аджастнуть код, чтобы было чуть понятнее. Например у нас есть сервер, и реализовать один хендлер который возьмет userId и использует его потом для того чтобы в базу писать: class Request(val userId: Int) class Response { fun send(data: String) = println(data) } typealias RequestHandler = (Request, Response) -> Unit

Ну скорее должно быть что то вроде такого: https://gist.github.com/eld0727/58509105f4b77fe7bbc43cd00038c482

Ну скорее должно быть что то вроде такого: https://gist.github.com/eld0727/58509105f4b77fe7bbc43cd00038c482

Сессия как-то магически снаружи забиндилась, я хочу вот этот userId в неё положить

Сессия как-то магически снаружи забиндилась, я хочу вот этот userId в неё положить

Ну ты userId отдал хендлеру, он там у SessionProvider дёрнул session и выполнил запрос

И это всё не запустится до тех пор пока ты не сделаешь fix().run(session).await()

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

Какой-то сессионный объект

Ааааа, ты хотел еще сунуть userId в контекст?

Ну конечно, это же самое интересное