Size: a a a

Compiler Development

2020 June 15

Dv

Dr. Friedrich von Ne... in Compiler Development
Andrei Kurosh
Фантом - это у которого persistent model, т.е. операционка прячет от приложений факт включения\выключения железа?
Да. Он классный.
источник

AK

Andrei Kurosh in Compiler Development
Dr. Friedrich von Never
Да. Он классный.
Концепция очень интересная. Читал на Хабре еще давным-давно заметки о том, как она проектировалась
источник

AK

Andrei Kurosh in Compiler Development
Хотя это конечно мега оффтоп для данного чата
источник

AG

Alex Gryzlov in Compiler Development
концепция из 70х, и была неоднократно реализована, уже обсуждали в другом чате :)
источник

AK

Andrei Kurosh in Compiler Development
ага, все уже было в симпсонах %)
источник

Dv

Dr. Friedrich von Ne... in Compiler Development
Ну, в соседнем чате было прям вчера, по-моему :)
источник

AT

Alexander Tchitchigi... in Compiler Development
Михаил Бахтерев
ФантомОС? KaiOS?
Inferno. 😉
источник
2020 June 16

PS

Peter Sovietov in Compiler Development
Declarative Language Definition with Spoofax Tutorial. Скоро начнется!
https://www.youtube.com/watch?v=TMhjttXnN54
источник

МБ

Михаил Бахтерев... in Compiler Development
Подскажите, пожалуйста, где, кроме исходников, можно почитать об алгоритме вывода типов в Rust? Интересует именно алгоритм, а не сами правила.
источник

IK

Ivan Kochurkin in Compiler Development
Думаете он сильно отличается от вывода типов в более традиционных языках?
источник

МБ

Михаил Бахтерев... in Compiler Development
Не знаю. Вот и хочу посмотреть
источник

AT

Alexander Tchitchigi... in Compiler Development
Михаил Бахтерев
Подскажите, пожалуйста, где, кроме исходников, можно почитать об алгоритме вывода типов в Rust? Интересует именно алгоритм, а не сами правила.
Сейчас, скорее всего, нигде, кроме того, лучше и не читать пока они не переехали на Chalk.
источник

AT

Alexander Tchitchigi... in Compiler Development
Про Chalk можно тут и далее по ссылкам: https://github.com/rust-lang/chalk
источник

IR

IC Rainbow in Compiler Development
А они туда переедут?
источник

IR

IC Rainbow in Compiler Development
Мне показалось это частный эксперимент
источник

AT

Alexander Tchitchigi... in Compiler Development
IC Rainbow
А они туда переедут?
Переедут и относительно скоро. Процесс идёт.
источник

AT

Alexander Tchitchigi... in Compiler Development
Вроде, можно в ночнике включить в режиме эксперимента.
источник

PS

Peter Sovietov in Compiler Development
Alexander Tchitchigin
Вроде, можно в ночнике включить в режиме эксперимента.
Только неясно, чего они ждут и что мешает реализовать формальную спецификацию Rust на каком-нибудь другом Прологе прямо сейчас, пока работа над Chalk продолжается. Ведь транслятор из MIR в факты и правила Пролога это достаточно быстро реализуемая вещь.
источник

AT

Alexander Tchitchigi... in Compiler Development
Peter Sovietov
Только неясно, чего они ждут и что мешает реализовать формальную спецификацию Rust на каком-нибудь другом Прологе прямо сейчас, пока работа над Chalk продолжается. Ведь транслятор из MIR в факты и правила Пролога это достаточно быстро реализуемая вещь.
Отсутствие формальной спецификации Rust? 😄
источник

AT

Alexander Tchitchigi... in Compiler Development
Кроме того, там в блогпостах есть кое-какие моменты насчёт того почему обычный Пролог не подходит.
источник