Телеграмм чат группы compilerdev страница 1748

Если и кидали, то явно ошиблись чатом. Хорошо, что очередную библиотеку переписали по каким-то причинам на Rust, но зачем эта информация здесь? Вы даже не представляете на скольких ЯП уже успели реализовать parser combinators! Но «благую весть» почему-то все время несут адепты одного и того же языка :)

источник

20:20пожаловаться #3

AT

Alexander Tchitchigi... in Compiler Development

Более того, на Rust и так была (минимум одна) библиотека комбинаторов парсеров. 😊

источник

20:41пожаловаться #4

M

MrSmith in Compiler Development

restricted generics, правильная перегрузка и лукап, наследование интерфейсов и явный dyn, язык проектируется максимально близко к абстракциям компилятора, почти все есть instrisic или трейт для for к примеру, верно сделанная дедукция типов.
А да еще, уникальная ситема владения и автоматического вывода времен жизни
Хорошо проработанное метапрограммирование - те же макросы гигиеничны

источник

20:44пожаловаться #5

AT

Alexander Tchitchigi... in Compiler Development

MrSmith

restricted generics, правильная перегрузка и лукап, наследование интерфейсов и явный dyn, язык проектируется максимально близко к абстракциям компилятора, почти все есть instrisic или трейт для for к примеру, верно сделанная дедукция типов.
А да еще, уникальная ситема владения и автоматического вывода времен жизни
Хорошо проработанное метапрограммирование - те же макросы гигиеничны

"Хорошо проработанное метапрограммирование" -- это в Racket. Две (sic!) системы макросов в Rust (с третьей на подходе, если правильно помню), как бы намекают. 😉

источник

20:49пожаловаться #6

M

MrSmith in Compiler Development

Alexander Tchitchigin

"Хорошо проработанное метапрограммирование" -- это в Racket. Две (sic!) системы макросов в Rust (с третьей на подходе, если правильно помню), как бы намекают. 😉

Надо поправить, хорошо относительно других сис языков

источник

20:49пожаловаться #7

M

MrSmith in Compiler Development

Одни макросы как паттерны, одни вроде как function like с tokenstream, а какие третьи на подходе?

источник

20:50пожаловаться #8

M

MrSmith in Compiler Development

Не уж то наконец то о чем я мечтал типа HIR

источник

20:50пожаловаться #9

AT

Alexander Tchitchigi... in Compiler Development

"Уникальная система владения", видимо, уникальна тоже относительно системных языков? А то Clean уже лет 25? 😊

источник

20:51пожаловаться #10

AT

Alexander Tchitchigi... in Compiler Development

MrSmith

Одни макросы как паттерны, одни вроде как function like с tokenstream, а какие третьи на подходе?

А что там за Macro-by-example или как-то так?

источник

20:51пожаловаться #11

AT

Alexander Tchitchigi... in Compiler Development

Ещё не постили тоже? 😊

источник

20:55пожаловаться #12

AT

Alexander Tchitchigi... in Compiler Development

Крис Латтнер предлагает добавить в Swift трейт Send из Rust: https://forums.swift.org/t/pitch-protocol-based-actor-isolation/41677/36 😄
На самом деле крайне интересное обсуждение, включая то, что дальше по ссылкам.

Swift Forums

Pitch: Protocol-based Actor Isolation

One thing that I'd like to dig deeper on is about is the signature of unsafeActorSendable. The way I see it, sending a value from one actor to another is not exactly the same thing as sending it to a different thread. Indeed, If we do right thing from a performance perspective, many or most "sends" should end up scheduled on the same thread. The way this protocol is designed, we would have to be defensive and treat any value sent across actor contexts as though it will be accessed from a differe...