@kotlin_lang
Ivan31.03.2018
17:45:48
17:45:48
Надо посмотреть, как в Arrow это решается
Mikhail31.03.2018
17:46:08
17:46:08
Семен31.03.2018
17:46:33
17:46:33
я же не предлагаю писать getOne()!!
GoogleСемен31.03.2018
17:46:52
17:46:52
я к тому, чтобы перенести проверку на null туда где она реально нужна
зависит от контекста конечно
Mikhail31.03.2018
17:47:13
17:47:13
У тебя не получится сделать ту же логику без фабричного метода
Ivan31.03.2018
17:47:54
17:47:54
Option.monad().binding {
val a = Some(1).bind()
val b = Some(1 + a).bind()
val c = Some(1 + b).bind()
a + b + c
}
//Some(value=6)
Boris31.03.2018
17:48:03
17:48:03
val val1 = one()
val val2 = two()
val val3 = three()
if (val1 != null && val2 != null && val3 != null) {
DataContainer(val1, val2, val3)
}
Семен31.03.2018
17:48:25
17:48:25
нет, просто параметры DataContainer будут nullable типов, а проверять на null их будешь там, где используешь поля
это может оказаться как удобнее, так и кошмаром
зависит от ситуации)
Ivan31.03.2018
17:48:50
17:48:50
Я как раз этого избежать хочу
Чтобы на выходе либо точно получились нормальные данные, либо по пути оно отвалилось, не сконструировавшись
GoogleIvan31.03.2018
17:49:27
17:49:27
Причем каждый следующий шаг не имеет смысла без успешного завершения предыдущего
В чем как раз состоит минус ручной проверки в if всех трех значений на null. Ленивости нет.
Ну, не говоря уже о том, что это выглядит не очень красиво
Boris31.03.2018
17:50:28
17:50:28
Причем каждый следующий шаг не имеет смысла без успешного завершения предыдущего
тогда самый первый код с `let`-ами нормIvan31.03.2018
17:51:16
17:51:16
Функционально да, но лесенка выглядит уродливо. Я думал, может есть какой-нибудь способ, о котором я не знаю.
Семен31.03.2018
17:51:25
17:51:25
пиши кароч икстеншн функцию )
Берял31.03.2018
17:52:40
17:52:40
попробуй накостылить через корутины
Boris31.03.2018
17:52:47
17:52:47
тогда придется выполнить все методы, чтобы передать значения в экстеншн, а тут выяснилось, что следующий шаг имеет смысл только если предыдущий выполнился
Igor31.03.2018
17:53:00
17:53:00
https://www.youtube.com/watch?v=ocS-UVZG5iE
Microsoft приложило руку к созданию котлина ? (шок-сенсации)Семен31.03.2018
17:53:42
17:53:42
Igor31.03.2018
17:55:14
17:55:14
Кстати, интересно, а откуда команда-котлина взяла свои офигеные suspend функции?
Прям не верится что они первые это придумал, такой подход.
Quantum Harmonizer31.03.2018
18:03:52
18:03:52
Gleb31.03.2018
18:04:56
18:04:56
Кстати, интересно, а откуда команда-котлина взяла свои офигеные suspend функции?
Прям не верится что они первые это придумал, такой подход.
Мне верится. Идея взять async из какого-нибудь жса или сишарпа и сделать await по умолчанию лежит достаточно на поверхностиIgor31.03.2018
18:07:19
18:07:19
Я кстати вспомнил, Роман как-то в докладе ссылался на корутины в lisp
и типа первоночально (вроде) вместо suspend было что-то прям из лиспа
Bogdan31.03.2018
18:07:38
18:07:38
Кстати, интересно, а откуда команда-котлина взяла свои офигеные suspend функции?
Прям не верится что они первые это придумал, такой подход.
ну вроде это придумал элизаров,, +- я про саспенд, да и думаю раньше в эпоху одноядерности много что придумывалось, может с тех временMikhail31.03.2018
18:34:50
18:34:50
Я кстати вспомнил, Роман как-то в докладе ссылался на корутины в lisp
и типа первоночально (вроде) вместо suspend было что-то прям из лиспа
CPS из, кажется, SchemeМне верится. Идея взять async из какого-нибудь жса или сишарпа и сделать await по умолчанию лежит достаточно на поверхности
Ну такое, как то все использовали async/await особо ничего не изменяя, (см. питон, js)Option.monad().binding {
val a = Some(1).bind()
val b = Some(1 + a).bind()
val c = Some(1 + b).bind()
a + b + c
}
//Some(value=6)
там проще был вариант через applicative, а не monadIvan31.03.2018
20:11:02
20:11:02
Удалось ужать до такого состояния:
maybe { getOne() } add
{ getTwo() } add
{ getThree() } map
{
DataContainer(
one = yield(),
two = yield(),
three = yield()
)
}
GoogleIvan31.03.2018
20:11:26
20:11:26
Имплементация: https://pastebin.com/sySH33vb
Получилось кривовато, но приятнее, чем с кучей коллбеков, на мой взгляд
Boris31.03.2018
20:13:19
20:13:19
Очевидность такого решения очень низкая, я бы такое не стал использовать
Руслан31.03.2018
20:37:31
20:37:31
Roman31.03.2018
20:48:50
20:48:50
Идеоматично такой код вынести в фунцию и писать:
```
val one = getOne() ?: return null
val two = getTwo() ?: return null
val three = getThree() ?: return null
return DataContainer(one, two, three)
```
Dibro31.03.2018
20:49:04
20:49:04
Удалось ужать до такого состояния:
maybe { getOne() } add
{ getTwo() } add
{ getThree() } map
{
DataContainer(
one = yield(),
two = yield(),
three = yield()
)
}
почему не просто
DataContainer(
getOne() ?: return null,
getTwo() ?: return null,
getThree() ?: return null
)
Назар31.03.2018
20:52:08
20:52:08
Привет всем. Помогите плиз, кто шарит. Есть базовая модель в которой есть филда вложеной модели. Но эта байда не хочет мапиться. Компилятор предлагает кастить к Nothing?..Не помогает, естественно.
Quantum Harmonizer31.03.2018
20:57:17
20:57:17
там где-то out variance
Dibro31.03.2018
20:58:46
20:58:46
попробуй генерик наследовать не от Any?, а от Any
Dibro31.03.2018
21:00:43
21:00:43
типа BaseModel<*>
Назар31.03.2018
21:15:28
21:15:28
Дженерики всегда чет с приключениями даются
Ivan31.03.2018
21:18:22
21:18:22
@relizarov @Dibro Спасибо за ответ.
Google
Maxim01.04.2018
09:02:08
09:02:08
Кто может помочь в лс с одним вопросом?
Boris01.04.2018
09:06:12
09:06:12
Если вопрос по котлин, то можно и здесь спросить
Maxim01.04.2018
09:08:53
09:08:53
Не могу понять почему при объявлении функции, когда я даю ей своё имя, ide ругается и пишет что это имя нигде не используется. Вот например простейшая функция:
fun max(a:Int, b:Int):Int
{
return if (a>b) a else b
}
Boris01.04.2018
09:10:34
09:10:34
Может дело в том, что она нигде не используется?
Даниил01.04.2018
09:13:12
09:13:12
лол
IvanAlbert01.04.2018
11:28:59
11:28:59
Не могу понять почему при объявлении функции, когда я даю ей своё имя, ide ругается и пишет что это имя нигде не используется. Вот например простейшая функция:
fun max(a:Int, b:Int):Int
{
return if (a>b) a else b
}
Эта функция нигде не используется, ide тебе это и говорит, намекая на то, что она бесполезная
Kirill01.04.2018
11:57:03
11:57:03
Вроде не оффтоп: https://twitter.com/shipilev/status/980388506244612096
:)
Руслан01.04.2018
11:57:44
11:57:44
Мне кажется или Леша зазнался, и считает что работа над Kotlin/Js куда менее важная и интересная чем его?
Kirill01.04.2018
12:00:06
12:00:06
Мне кажется или Леша зазнался, и считает что работа над Kotlin/Js куда менее важная и интересная чем его?
Но ведь его работа и правда важнее? С точки зрения "impact'a"(как по-русски?) на остальных.Руслан01.04.2018
12:01:18
12:01:18
Ну прям сейчас - нет, кажется шенадой пользуется примерно столько же сколько kotlin/js
Quantum Harmonizer01.04.2018
12:02:48
12:02:48
Мне кажется или Леша зазнался, и считает что работа над Kotlin/Js куда менее важная и интересная чем его?
Ну JS это нечто смехотворное, а JVM — штука серьёзная.Руслан01.04.2018
12:02:59
12:02:59
Ага, я ж говорю - элитарность
Quantum Harmonizer01.04.2018
12:17:07
12:17:07
@aleksey_shipilev ты зазнался короч
Pavel ?01.04.2018
12:18:50
12:18:50
Леша нормально троллит))
Boris01.04.2018
12:23:21
12:23:21
Я бы в это не поверил даже если бы было не 1 апреля, кстати всех с праздником! ?
Ну JS это нечто смехотворное, а JVM — штука серьёзная.
В этой сентенции я бы согласился с тем, что жс местами очень смешной
Valentin01.04.2018
12:51:25
12:51:25
заскринил
Kirill01.04.2018
13:27:55
13:27:55
оперативно :)
GoogleOleksandr01.04.2018
13:54:42
13:54:42
А императивных языка придумали писать последовательно код, одна строчка за другой. Это и есть do-нотация.
не совсем, в do поток выполнения может прерываться, корректнее будет "do можно записать в императивном стиле, если руками расставить все проверки"Ключевая разница в том, что императивные языки "из коробки" поддерживают фиксированный набор монад над которыми работает их "do нотация". Обычно это IO и Try монады. Такой выбор определяется прагматикой (это то, что программистам нужно чаще всего). В функциональных языках общий синтаксис для любой монады. Однако, известно что "continuation is the mother of all mondas", так что с поддержкой корутин в котлине любители побаловаться экзотическими монадами могу легко сделать для них do-нотацию поверх корутин (в Arrow это успешно реализовано).
нет, не поддерживают, тк императивные операции не есть монадами в строгом смысле
обзывать "обычные строчки кода" ио нельзя ещё и потому, что теряется главный смысл всех плясок с монадами -- отделение pure кода
дальше, кому это "всем известно" ?
аналогия "монада -- это буррито" где-то такая же точная и верная, как это высказывание в статьеэто ж не фейк акк, надеюсь?
и я даже могу ожидать нормальную дискуссию?
Kirill01.04.2018
14:10:06
14:10:06
это ж не фейк акк, надеюсь?
и я даже могу ожидать нормальную дискуссию?
Это не фейк.
"Нормальность" дискуссии будет зависеть от тебя :)
Открыть в Telegram