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

Size: a a a

Compiler Development

1017 membersпожаловаться на группу

2021 March 23

smthidk in Compiler Development

MaxGraey

Если хотите про формальную логику и философию то есть соответствующий чат

а можно ссылочку?

источник

14:03пожаловаться #1

Александр in Compiler Development

MrSmith

А зачем, что бы в ушанке сидя, и не чувствовать себя не уютно, почему нельзя слово вообще не переводить и курсивом выделить.
P.S. а потом колиззия будет с оператором в с++

Эмм "оператором С++" это каким ? Это который operator при перегрузке ? Если так, то разночтения нет.

источник

14:03пожаловаться #2

MaxGraey in Compiler Development

smthidk

а можно ссылочку?

@GabrielFallen думаю подскажет если посчитает нужным

источник

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

Alexander Tchitchigi... in Compiler Development

smthidk

а можно ссылочку?

https://t.me/symboliclogic

Symbolic logic for math and destroy

Быть может, все грёзы запишутся

источник

14:05пожаловаться #4

smthidk in Compiler Development

благодарю!

источник

14:05пожаловаться #5

MrSmith in Compiler Development

Александр

Эмм "оператором С++" это каким ? Это который operator при перегрузке ? Если так, то разночтения нет.

Не считая того что это мембер и функция, а любой мембер это декларация а не стейтмент

источник

14:05пожаловаться #6

Александр in Compiler Development

MrSmith

Не считая того что это мембер и функция, а любой мембер это декларация а не стейтмент

Это совмещение ролей, а не коллизия. И обычно само использование соответствующего слова сразу несёт в себе контекст. И как раз "любой мембер это декларация а не стейтмент" - не верно и объявление - это "стейтмент"-утверждение, более того вроде у них даже в грамматике "declaration-statement" было.

источник

14:16пожаловаться #7

MrSmith in Compiler Development

Кто пробывал lean?

источник

14:23пожаловаться #8

кана in Compiler Development

источник

15:56пожаловаться #9

alez in Compiler Development

MrSmith

Кто пробывал lean?

я, но не понял как стратегии работают и вернулся в агду)

источник

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

Alex Gryzlov in Compiler Development

лучше в завтипах такое обсудить :)

источник

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

Alex Gryzlov in Compiler Development

https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Zависимые типы в массы!

https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ

Idris Slack (EN): #idris @ https://fpchat-invite.herokuapp.com/

Idris1 online REPL: tio.run/#idris

Topics: dependent types, theorem proving, formal verification. Please refrain from using stickers/memes.

источник

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

2021 March 24

K R in Compiler Development

@true_grue Возвращаясь к переводам и статьям - у вас на Вики есть раздел по терминам?

Если нет, то можно его забабахать?

источник

19:05пожаловаться #13

Vladimir Kazanov in Compiler Development

K R

https://github.com/true-grue/Compiler-Development/blob/master/docs/dictionary.md

вы про это?

GitHub

true-grue/Compiler-Development

Что читать о разработке компиляторов. Contribute to true-grue/Compiler-Development development by creating an account on GitHub.

источник

19:07пожаловаться #14

K R in Compiler Development

Vladimir Kazanov

https://github.com/true-grue/Compiler-Development/blob/master/docs/dictionary.md

вы про это?

GitHub

true-grue/Compiler-Development

Что читать о разработке компиляторов. Contribute to true-grue/Compiler-Development development by creating an account on GitHub.

О! Спасибо. Туда нужно ещё терминов добавить, но более программистских. Наподобие того, что обсуждалось позавчера.

источник

19:11пожаловаться #15

Alexander Tchitchigi... in Compiler Development

Johannes Mey, Thomas Kühn, René Schöne, and Uwe Assmann, Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars. https://programming-journal.org/2020/4/15/

The Art, Science, and Engineering of Programming

Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars

Context: Domain-specific languages (DSLs) enable domain experts to specify tasks and problems themselves, while enabling static analysis ...

источник

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

Peter Sovietov in Compiler Development

Кто-то нам тут недавно рассказывал, что Кнут, дескать, неплохой алгоритмист, но, увы, к теории ЯП не имеет ни малейшего отношения :)

источник

21:07пожаловаться #17

David Kravets in Compiler Development

Peter Sovietov

Кормен тоже хорош