DC
Хотел опшн как у людей с public class None extends Option<Void>
Звучит, как причина не писать на джаве
Size: a a a
2020 July 30
AB
Хотел опшн как у людей с public class None extends Option<Void>
Это не отвечает на вопрос, какая задача решается, но, наверное, так не выйдет. Можно поиграться с <? extends > и <? super >, но что у вас там за ситуация - не знаю.
AE
Это не отвечает на вопрос, какая задача решается, но, наверное, так не выйдет. Можно поиграться с <? extends > и <? super >, но что у вас там за ситуация - не знаю.
Сейчас будет что то про не соответствие фп и математике
IO
Сейчас будет что то про не соответствие фп и математике
не, это из теории типов
IO
давайте начну: здоровые люди не пишут на джаве, потому что void не работает как unit type
AB
Да ладно вам, может, там вполне конкретная задача, которую спокойно можно решить в Java. Просто надо подсказать, как.
D
Да ладно вам, может, там вполне конкретная задача, которую спокойно можно решить в Java. Просто надо подсказать, как.
задача конкретная — нормальные опшионалы
IO
Да ладно вам, может, там вполне конкретная задача, которую спокойно можно решить в Java. Просто надо подсказать, как.
ну, есть "интерфейс" Option<T>, который реализован двумя типами - None как Option от ничего и Some<T> : Option<T>
IO
и нужен тип, обозначающий ничего
NG
и нужен тип, обозначающий ничего
В джаве это реализовано не на типах, а на объектах. См. Optional.empty()
IO
и нужен тип, обозначающий ничего
в котлине для этого юзают просто класс без сигнатуры типа Option (без параметра), но нормальным был бы bottom type
IO
вот он и спрашивает про j.l.Void
IO
В джаве это реализовано не на типах, а на объектах. См. Optional.empty()
ну так они и подразумевают, что это не нормальный option
SP
"нормальным был бы bottom type" Какую проблему это решает? чтобы можно было создавать разновидности сферического вакуума?
NG
ну так они и подразумевают, что это не нормальный option
Лямбды в джаве тоже не лямбды. Толку от этого знания? Задачу оно не решает
IO
"нормальным был бы bottom type" Какую проблему это решает? чтобы можно было создавать разновидности сферического вакуума?
а вот здесь мы и подходим к несоответствию япов фп и математике. но я действительно не уверен, что это прям нужно, особенно на голой жабе
IO
Лямбды в джаве тоже не лямбды. Толку от этого знания? Задачу оно не решает
очень даже лямбды, просто громоздко объявляются. и реализованы прилично (metafactory+invokedynamic)
SP
все-таки япы для практических целей создаются, а не для высокого искусства
IO
все-таки япы для практических целей создаются, а не для высокого искусства
ну, голый х64 свои практические цели вполне выполняет, и без лишнего искусства
D
все-таки япы для практических целей создаются, а не для высокого искусства
Function<Integer, Optional<Integer>> f = x -> {
if (x == null) {
x = -1;
} else if (x == 2) {
x = null;
} else {
x = x + 1;
}
return Optional.ofNullable(x);
};
Optional.of(1).flatMap(f).equals(f.apply(1)); // ok
Optional.ofNullable((Integer) null).flatMap(f).equals(f.apply(null)); // упс