М
начали выпадать KotlinFrontEndException после добавления arrow
Size: a a a
2020 March 19
AO
Тащить arrow только ради Either - странное решение, тем более, что сейчас Result общедоступен. Опшены в котлин вообще не нужны. И да, это не про ФП, это про один конкретный стиль пробрасывания ошибок
Ну эт не правда, Result всё еще падает на компайл тайме
AO
опшен не нужен, у котлина же для этого есть свой тип
Сто раз уже обсуждали, что это не эквивалент
BV
Сто раз уже обсуждали, что это не эквивалент
именно, что эквивалент, да он другой, но это эквивалент. Более того, экстеншенами можно из него сделать точную копию, только без дополнительной обертки
BV
более того, этот опшнл поддерживается стдлибом, так что вообще не вижу смысла использовать какой-то другой
AO
именно, что эквивалент, да он другой, но это эквивалент. Более того, экстеншенами можно из него сделать точную копию, только без дополнительной обертки
val flag = true
fun <A> foo(f: () -> A): A? = if(flag) f() else null
fun <A> bar(f: () ->A): A = foo(f).let { res -> if(res == null) throw Exception("shit happens) else res }
val res = bar<Int?> { null } //oops expected null but exception was thrown
AO
В каком месте это эквивалент то ну?
AO
С Option такого быть не может, потому что Option - это тип данных, а nullable - это объединение типов A | Null
BV
val flag = true
fun <A> foo(f: () -> A): A? = if(flag) f() else null
fun <A> bar(f: () ->A): A = foo(f).let { res -> if(res == null) throw Exception("shit happens) else res }
val res = bar<Int?> { null } //oops expected null but exception was thrown
Не понял, если ты бросаешь эксепшн, то с чего вдруг null?
BV
Или я не понял, что ты хочешь сделать
AO
Представь что там написано Option вместо nullable
BV
Представь что там написано Option вместо nullable
Ну, если ты на None кидаешь эксепшн и потом его передашь в параметр, то тоже эксепшн будет
AO
Ну, если ты на None кидаешь эксепшн и потом его передашь в параметр, то тоже эксепшн будет
Я про нормальный Option, а не про жавовый
AO
В случае Option foo вернёт Some(None) и в итоге None вернётся из bar и не будет никаких исключений, в случае с nullable так нельзя
BV
Я про нормальный Option, а не про жавовый
Ну, ты напиши как этот же код с опшнл будет выглядеть
BV
В случае Option foo вернёт Some(None) и в итоге None вернётся из bar и не будет никаких исключений, в случае с nullable так нельзя
Ты в том смысле, что опшнлы можно друг в друга заворачивать?
AN
Всем идти читать Елизарова на эту тему
M
Судя по разговорам пора уже сделать light arrow библиотеку где есть только option да either
AO
Всем идти читать Елизарова на эту тему
Да хоть сколько ты зачитайся, сути это не поменяет
BV
Да, и правда мы это обсуждали