Size: a a a

2020 July 30

US

Uladzislau Safronau in pro.jvm
код не компилируется, помогите разобраться почему

class A{}
class B extends A{
   public B(){}
}
public class Main {
   public static void main(String[] args) {
 // write your code here
       B b = new B();
       Optional<B> someB = Optional.of(b);
       Optional<A> someA = someB;
   }
}
источник

ZM

ZLoyer Matveev in pro.jvm
Sergey Potekhin
"нормальным был бы bottom type" Какую проблему это решает? чтобы можно было создавать разновидности сферического вакуума?
Чисто ради любопытства. Есть объяснения того, почему пользы в этом нет? Нет ли в этом пользы всегда или в узком контексте?
источник

IO

Iaroslav Orlov in pro.jvm
Uladzislau Safronau
код не компилируется, помогите разобраться почему

class A{}
class B extends A{
   public B(){}
}
public class Main {
   public static void main(String[] args) {
 // write your code here
       B b = new B();
       Optional<B> someB = Optional.of(b);
       Optional<A> someA = someB;
   }
}
тебе нужен Optional<? extends A> ...= someB
источник

AD

Apache DOG™ in pro.jvm
Iaroslav Orlov
давайте начну: здоровые люди не пишут на джаве, потому что void не работает как unit type
он как раз таки работает как юнит, но не боттои
источник

AD

Apache DOG™ in pro.jvm
Andrey Belyaev
Да ладно вам, может, там вполне конкретная задача, которую спокойно можно решить в Java. Просто надо подсказать, как.
конкретные задачи обсуждать бессмысленно
источник

IO

Iaroslav Orlov in pro.jvm
Apache DOG™
он как раз таки работает как юнит, но не боттои
но он недоделанный
источник

IO

Iaroslav Orlov in pro.jvm
нельзя написать void a = void;
источник

AD

Apache DOG™ in pro.jvm
Iaroslav Orlov
но он недоделанный
в смысле, Void это тип у которого доно значение и выше его только топ
источник

AD

Apache DOG™ in pro.jvm
т.е. полноценный Unit, но его значение ведёт себя как скаловский ???
источник

AD

Apache DOG™ in pro.jvm
Andrey Belyaev
Это не отвечает на вопрос, какая задача решается, но, наверное, так не выйдет. Можно поиграться с <? extends > и <? super >, но что у вас там за ситуация - не знаю.
затем же что и комплексные числа в математике
источник

IO

Iaroslav Orlov in pro.jvm
Apache DOG™
затем же что и комплексные числа в математике
ну так по сути только один элемент добавлен
источник

NG

Nikita Gryzlov in pro.jvm
Iaroslav Orlov
очень даже лямбды, просто громоздко объявляются. и реализованы прилично (metafactory+invokedynamic)
у вас вот на сообщение выше указано про несоответствие ФП и математики)
источник

IO

Iaroslav Orlov in pro.jvm
Apache DOG™
затем же что и комплексные числа в математике
к тому же, у них есть применения
источник

IO

Iaroslav Orlov in pro.jvm
квантмех весь, например
источник

MO

Max Olsson in pro.jvm
Dreamerinnoise
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)); // упс
источник

SP

Sergey Potekhin in pro.jvm
А для чего в языке для бизнес-логики мне нужны комплексные числа или квантовая механика?
источник

IO

Iaroslav Orlov in pro.jvm
Sergey Potekhin
А для чего в языке для бизнес-логики мне нужны комплексные числа или квантовая механика?
если бизнес логика - это обработка данных с датчиков элементарных частиц, например, то очень нужны
источник

AD

Apache DOG™ in pro.jvm
Sergey Potekhin
А для чего в языке для бизнес-логики мне нужны комплексные числа или квантовая механика?
чтоб не писать бойлерплейт. Зачем мне в телефоне для лайкания котиков нанотехнологии?
источник

SP

Sergey Potekhin in pro.jvm
Iaroslav Orlov
если бизнес логика - это обработка данных с датчиков элементарных частиц, например, то очень нужны
Можете привести реальный пример такой задачи?
источник

IO

Iaroslav Orlov in pro.jvm
Sergey Potekhin
Можете привести реальный пример такой задачи?
эксперимент троицк ню-масс. там для обработки данных используется тонна кода на джаве/котлине
источник