Size: a a a

2020 September 01

K

KrivdaTheTriewe in pro.jvm
Эх
источник

ПФ

Паша Финкельштейн... in pro.jvm
Слушай, а в скале нормально делаются селфтайпы или тоже через костыли?
источник

GP

Grigory Pomadchin in pro.jvm
Паша Финкельштейн
Слушай, а в скале нормально делаются селфтайпы или тоже через костыли?
зовется F ограниченный полиморфизм
источник

GP

Grigory Pomadchin in pro.jvm
дружить эту глину конкретно жавовую со скалой через экзистенциальные типы надо, потому, что жавовая сигнатура - не очень информативна для компилятора
источник

ПФ

Паша Финкельштейн... in pro.jvm
В этот момент у меня зависла телега…
источник

ПФ

Паша Финкельштейн... in pro.jvm
Grigory Pomadchin
зовется F ограниченный полиморфизм
А как работает в скале на байткода? Ну или ты мне скинь статью, дальше я сам
источник

ПФ

Паша Финкельштейн... in pro.jvm
Grigory Pomadchin
дружить эту глину конкретно жавовую со скалой через экзистенциальные типы надо, потому, что жавовая сигнатура - не очень информативна для компилятора
Там пипец просто. Лучше не знать )))
источник

GP

Grigory Pomadchin in pro.jvm
Паша Финкельштейн
А как работает в скале на байткода? Ну или ты мне скинь статью, дальше я сам
будет как жавовый) все ж заерейзит
источник

GP

Grigory Pomadchin in pro.jvm
зато компилятор нормально позволяет проверять такие типы, а не как жавовый - скипать чеки)
источник

GP

Grigory Pomadchin in pro.jvm
вот так если дизасмебл сделать
scala> trait Foo[T <: Foo[T]]
trait Foo

scala> :javap Foo
 Size 311 bytes
 MD5 checksum 8c45a24ec9d455602f3fdb2334ae0e5b
 Compiled from "<console>"
public interface $line3.$read$$iw$Foo<T extends $line3.$read$$iw$Foo<T>>
 minor version: 0
 major version: 52
 flags: ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
источник

GP

Grigory Pomadchin in pro.jvm
ну а гуглить так и надо F-bounded polymorphism in Scala
источник

ПФ

Паша Финкельштейн... in pro.jvm
Grigory Pomadchin
будет как жавовый) все ж заерейзит
Мало ли какая там магия компилитора. Может реально подтипы подставит, например
источник

ПФ

Паша Финкельштейн... in pro.jvm
Grigory Pomadchin
ну а гуглить так и надо F-bounded polymorphism in Scala
Спасибо
источник

GP

Grigory Pomadchin in pro.jvm
Паша Финкельштейн
Мало ли какая там магия компилитора. Может реально подтипы подставит, например
ну действительно есть, _компилятора_)
попробуй из скалы поработать с какимнить жавовым
interface QueryBuilder<T, R extends QueryBuilder<T, R>>
источник

GP

Grigory Pomadchin in pro.jvm
ну и билдер такой фигни может быть наверное

static <T> QueryBuilder<T, ?> builder()
источник

GP

Grigory Pomadchin in pro.jvm
и вот этот ? как раз все сломает
источник

IR

Ilkin Ramazanov in pro.jvm
Ребят посоветуйте для человека который знает Питон и плюсы хороший курс по джава на анг? в инете ничего толкового не могу найти
источник

K

KrivdaTheTriewe in pro.jvm
Ilkin Ramazanov
Ребят посоветуйте для человека который знает Питон и плюсы хороший курс по джава на анг? в инете ничего толкового не могу найти
источник

IR

Ilkin Ramazanov in pro.jvm
Это же скала. Я просил джаву
источник

K

KrivdaTheTriewe in pro.jvm
Ilkin Ramazanov
Это же скала. Я просил джаву
Better java
источник