Size: a a a

Programming Offtop

2020 October 26

QH

Quantum Harmonizer in Programming Offtop
(
очевидный - когда монада
ну да, я это и сказал.
источник

(

( in Programming Offtop
Andrew Mikhaylov
Да он сингл в корутинах хочет просто.
очень смешно
источник

с#

саша сок #KotlinGang... in Programming Offtop
(
> нужен способ генерализовывать контрол флоу
> есть очевидный, удобный, самый абстрактный способ это делать
> нет! мы особенные!
я вообще не понимаю какая претензия к тому, чтобы оборачивать лямбды в декораторы, чтобы уменьшать вложенность. и как монада это решит тоже не понятно.
источник

AM

Andrew Mikhaylov in Programming Offtop
(
очень смешно
А что, нет? Как выглядит саспенд, но в виде монады?
источник

(

( in Programming Offtop
Andrew Mikhaylov
А что, нет? Как выглядит саспенд, но в виде монады?
источник

QH

Quantum Harmonizer in Programming Offtop
(
очевидный - когда монада
ты в Питер не собираешься? У нас на пирлабе один чувак язык проектирует, где и трай-кетч, и корутины можно будет сделать на уровне библиотек
источник

(

( in Programming Offtop
Quantum Harmonizer
ты в Питер не собираешься? У нас на пирлабе один чувак язык проектирует, где и трай-кетч, и корутины можно будет сделать на уровне библиотек
идрис чтоли?
источник

QH

Quantum Harmonizer in Programming Offtop
(
идрис чтоли?
ниибу, что это
источник

(

( in Programming Offtop
саша сок #KotlinGang
я вообще не понимаю какая претензия к тому, чтобы оборачивать лямбды в декораторы, чтобы уменьшать вложенность. и как монада это решит тоже не понятно.
ты даже не лямбды оборачиваешь, а функции, что ещё один минус текущему апи декораторов
источник

AM

Andrew Mikhaylov in Programming Offtop
А чем это от сингла отличается?
источник

(

( in Programming Offtop
ща, подождите, я раунд доиграю
источник

с#

саша сок #KotlinGang... in Programming Offtop
(
ты даже не лямбды оборачиваешь, а функции, что ещё один минус текущему апи декораторов
всм?

fun a() = launch {
   
}

@launch
fun a() {
   // Фактически это тело лямбды
}
источник

с#

саша сок #KotlinGang... in Programming Offtop
и хорошо бы, если можно не только на функциях ставить такие декораторы, тогда в них очень даже большой смысл
источник

с#

саша сок #KotlinGang... in Programming Offtop
fun a() {
   // Logic
   @transaction
   launch {

   }
}

типо такого
источник

(

( in Programming Offtop
саша сок #KotlinGang
я вообще не понимаю какая претензия к тому, чтобы оборачивать лямбды в декораторы, чтобы уменьшать вложенность. и как монада это решит тоже не понятно.
декораторы выполняют две роли - предоставляют некий контекст R : A1 & A2 & ... &Ak или модифицируют контрол флоу
Испокон веков монады выполняли именно эти функции, например, для контекста см. Reader, для модификации контрол флоу MonadFail
ииии все
источник

(

( in Programming Offtop
саша сок #KotlinGang
fun a() {
   // Logic
   @transaction
   launch {

   }
}

типо такого
ага. Это вот это вот есть в текущем дизайне? Или твои вольные рассуждения?
источник

с#

саша сок #KotlinGang... in Programming Offtop
(
декораторы выполняют две роли - предоставляют некий контекст R : A1 & A2 & ... &Ak или модифицируют контрол флоу
Испокон веков монады выполняли именно эти функции, например, для контекста см. Reader, для модификации контрол флоу MonadFail
ииии все
котлиновские декораторы сейчас - сокращение вложенности. такую проблему обозначили на презентации
источник

(

( in Programming Offtop
Andrew Mikhaylov
А чем это от сингла отличается?
тем, что это не вкорячено в язык в трудноподдерживаемом виде
источник

с#

саша сок #KotlinGang... in Programming Offtop
иначе без доступа к мета информации о функции они бессмысленны
источник

(

( in Programming Offtop
саша сок #KotlinGang
котлиновские декораторы сейчас - сокращение вложенности. такую проблему обозначили на презентации
о, сокращение вложенности - см. do-notation, monad transformers
источник