Size: a a a

2020 July 30

(

( in pro.jvm
Iaroslav Orlov
в котлине для этого юзают просто класс без сигнатуры типа Option (без параметра), но нормальным был бы bottom type
Что? Нет же, в котлине есть боттом тип

sealed class Option<T> {
 data class Some<T>(...) : Option<T>()
 object None : Option<Nothing>()
}
источник

US

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

Набор писанины
 sealed trait A
 case object B extends A
 case object C extends A

Вместо лаконичного  
 type A = B | C
источник

IO

Iaroslav Orlov in pro.jvm
(
Что? Нет же, в котлине есть боттом тип

sealed class Option<T> {
 data class Some<T>(...) : Option<T>()
 object None : Option<Nothing>()
}
есть. но у тебя List<Nothing> компилируется в List
источник

AD

Apache DOG™ in pro.jvm
Uladzislau Safronau
видили мы вашу скалу без бойлерплейта

Набор писанины
 sealed trait A
 case object B extends A
 case object C extends A

Вместо лаконичного  
 type A = B | C
потерпи, будет дотте будет тебе A|B|C
источник

SP

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

ZM

ZLoyer Matveev in pro.jvm
Apache DOG™
потерпи, будет дотте будет тебе A|B|C
а скок терпеть? там дед с синтаксисом уже определился?
источник

AD

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

AD

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

(

( in pro.jvm
Iaroslav Orlov
есть. но у тебя List<Nothing> компилируется в List
Все листы<...> компилируются в листы, речь-то про тайп-чеки и как выражать well-behaved конструкции
источник

IO

Iaroslav Orlov in pro.jvm
(
Все листы<...> компилируются в листы, речь-то про тайп-чеки и как выражать well-behaved конструкции
так в байт-коде есть сигнатуры дженериков на уровне переменных, классов и сигнатур функций.
источник

IO

Iaroslav Orlov in pro.jvm
поле List<Nothing> котлина будет именно полем List
источник

SP

Sergey Potekhin in pro.jvm
Для математики, вероятно, вместо java нужно просто использовать другой более подходящий язык. Например, Julia. вот если там чего-то не хватает, то да, есть тема для критики
источник

(

( in pro.jvm
Iaroslav Orlov
поле List<Nothing> котлина будет именно полем List
Так, и что?
источник

ZM

ZLoyer Matveev in pro.jvm
Sergey Potekhin
Для математики, вероятно, вместо java нужно просто использовать другой более подходящий язык. Например, Julia. вот если там чего-то не хватает, то да, есть тема для критики
Почему Джулиа более подходящий язык для математики?
источник

SP

Sergey Potekhin in pro.jvm
Синтаксис языка схож с синтаксисом других математических языков (например, MATLAB и Octave),
источник

US

Uladzislau Safronau in pro.jvm
Sergey Potekhin
Для математики, вероятно, вместо java нужно просто использовать другой более подходящий язык. Например, Julia. вот если там чего-то не хватает, то да, есть тема для критики
А как доказать теорему на Julia?
источник

AD

Apache DOG™ in pro.jvm
Sergey Potekhin
Синтаксис языка схож с синтаксисом других математических языков (например, MATLAB и Octave),
проблема в том что в этих всех коллайдерных науках нужно колупать от терабайтов данных, а где и больше
источник

DK

Dmitry Kiselyov in pro.jvm
а я ждал доводов про скорость расчетов и прочее...
источник

D

Dima in pro.jvm
источник

D

Dima in pro.jvm
что происходит?
источник