Dv
Фантом - это у которого persistent model, т.е. операционка прячет от приложений факт включения\выключения железа?
Да. Он классный.
Size: a a a
2020 June 15
AK
Да. Он классный.
Концепция очень интересная. Читал на Хабре еще давным-давно заметки о том, как она проектировалась
AK
Хотя это конечно мега оффтоп для данного чата
AG
концепция из 70х, и была неоднократно реализована, уже обсуждали в другом чате :)
AK
ага, все уже было в симпсонах %)
Dv
Ну, в соседнем чате было прям вчера, по-моему :)
AT
ФантомОС? KaiOS?
Inferno. 😉
2020 June 16
PS
Declarative Language Definition with Spoofax Tutorial. Скоро начнется!
https://www.youtube.com/watch?v=TMhjttXnN54
https://www.youtube.com/watch?v=TMhjttXnN54
МБ
Подскажите, пожалуйста, где, кроме исходников, можно почитать об алгоритме вывода типов в Rust? Интересует именно алгоритм, а не сами правила.
IK
Думаете он сильно отличается от вывода типов в более традиционных языках?
МБ
Не знаю. Вот и хочу посмотреть
AT
Подскажите, пожалуйста, где, кроме исходников, можно почитать об алгоритме вывода типов в Rust? Интересует именно алгоритм, а не сами правила.
Сейчас, скорее всего, нигде, кроме того, лучше и не читать пока они не переехали на Chalk.
IR
Про Chalk можно тут и далее по ссылкам: https://github.com/rust-lang/chalk
А они туда переедут?
IR
Мне показалось это частный эксперимент
AT
А они туда переедут?
Переедут и относительно скоро. Процесс идёт.
AT
Вроде, можно в ночнике включить в режиме эксперимента.
PS
Вроде, можно в ночнике включить в режиме эксперимента.
Только неясно, чего они ждут и что мешает реализовать формальную спецификацию Rust на каком-нибудь другом Прологе прямо сейчас, пока работа над Chalk продолжается. Ведь транслятор из MIR в факты и правила Пролога это достаточно быстро реализуемая вещь.
AT
Только неясно, чего они ждут и что мешает реализовать формальную спецификацию Rust на каком-нибудь другом Прологе прямо сейчас, пока работа над Chalk продолжается. Ведь транслятор из MIR в факты и правила Пролога это достаточно быстро реализуемая вещь.
Отсутствие формальной спецификации Rust? 😄
AT
Кроме того, там в блогпостах есть кое-какие моменты насчёт того почему обычный Пролог не подходит.