AG
Size: a a a
2021 January 30
Oℕ
@odomontois если я правильно понял, это у тебя было интервью на канале ит борода. Можешь подсказать где можно посмотреть кейс проблемный который ты упоминал в котором компилятор скалы реагирует положительно, а в рантайме некорректно кастяться типы (я надеюсь я не ошибся с никнеймом)
Точно не помню, но скорее всего это было про работу Нады Амин, которая дала толчок созданию DOT и как следствие dotty/scala 3
http://io.livecode.ch/learn/namin/unsound
http://io.livecode.ch/learn/namin/unsound
AG
Точно не помню, но скорее всего это было про работу Нады Амин, которая дала толчок созданию DOT и как следствие dotty/scala 3
http://io.livecode.ch/learn/namin/unsound
http://io.livecode.ch/learn/namin/unsound
Спасибо. Выше ссылку скинули там тоже хорошее описание
AG
Точно не помню, но скорее всего это было про работу Нады Амин, которая дала толчок созданию DOT и как следствие dotty/scala 3
http://io.livecode.ch/learn/namin/unsound
http://io.livecode.ch/learn/namin/unsound
Я так понимаю в Дотти не планируется идти путём джавы и размазывать дженкрики в рантайм?
Oℕ
Я так понимаю в Дотти не планируется идти путём джавы и размазывать дженкрики в рантайм?
Что такое "размазывать дженерики в рантайм"?
AG
Что такое "размазывать дженерики в рантайм"?
Что конвертится в object. Из того что я посмотрел добавили специализацию
Oℕ
Что конвертится в object. Из того что я посмотрел добавили специализацию
Всё ещё не понял
AG
На сколько я понял что так будет для все типов
Oℕ
Что значит "размазывать"
AG
Всё ещё не понял
В джава при указания типов в рантайме это становится типом object
AG
List<T> == List<Object> byte code
Oℕ
В scala то же самое
AS
В джава при указания типов в рантайме это становится типом object
А в скале?
AG
А в скале?
Сейчас тоже самое
Oℕ
Вы, скорее всего, про автоспециализацию
AG
Но в Дотти видел введения специализации
AS
Сейчас тоже самое
Тогда в чем вопрос?
AG
Вы, скорее всего, про автоспециализацию
Именно
Oℕ
Но человек, который ей занимался три года назад ущёл делать типизацию в руби и прогресса никакого нет по этому направлению и будет ли когда-нибудь непонятно
AG
Тогда в чем вопрос?
Вопрос в том специализация будет для всех типов таким образом разворачивать сигнатуру тем самым оставляя конкретный тип из исходника