CV
👆 прячут от Джека, чтобы не сломал
Они сами хорошо ломают все
Size: a a a
2020 May 12
JC
Что за система типов? Инты флоаты и тд что-ли?
А еще struct, union, параметризованые функции, параметризованные типы, структурный полиморфизм (аля наследование)
A
А еще struct, union, параметризованые функции, параметризованные типы, структурный полиморфизм (аля наследование)
У llvm же она есть, соответственно все языки, юзающие llvm, соблюдают стандарт
JC
Ну llvm есть union?
JC
И это я только до второго слова дошел
A
Ну llvm есть union?
Начнём с другого - зачем нужен юнион?
JC
Чтоб не делать if err != nil
JC
А так же чтоб компилятор мог проверить, что все ошибки обработаны
A
The answer is that in LLVM there are no unions; there are only structs that can be cast into whichever type the front-end want to cast the struct into.
JC
Ну, вот
JC
То есть пока что у нас из системы типов есть только система размеров данных и их расположения
A
Потому что типы должны быть только для самых простых данных
A
А юнион - сложная штука
JC
Очень сложная
r
кто блин такой юнион в питоне?
JC
enum + байты
JC
Просто пиздец
JC
Потому что типы должны быть только для самых простых данных
Это не типы, это "размеры данных"
JC
Типы это когда посмотрел на програму и сказал, корректная она или нет.