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

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

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

2020 January 02

AT

Alexander Tchitchigin in Compiler Development

tag нужен, чтоб "матчиться" по вариантам, это делает match в Rust

Как известно, это не на 100% так. 😉
Вы же помните про трюк с Option от non-nullable types? На голых структурах с юнионами это крайне сомнительное дело. Т.е. ADT всё-таки образуют более высокоуровневую абстракцию, которая может по-разному реализовываться, в том числе - в одной и той же программе.

источник

11:32пожаловаться #1

G

Gymmasssorla in Compiler Development

Alexander Tchitchigin

Как известно, это не на 100% так. 😉
Вы же помните про трюк с Option от non-nullable types? На голых структурах с юнионами это крайне сомнительное дело. Т.е. ADT всё-таки образуют более высокоуровневую абстракцию, которая может по-разному реализовываться, в том числе - в одной и той же программе.

Это ведь про оптимизации?

источник

11:33пожаловаться #2

AT

Alexander Tchitchigin in Compiler Development

Это ведь про оптимизации?

Это как посмотреть. А то оптимизации - это тоже такая штука, которая "не меняет поведение программы, но..." 😉

источник

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

G

Gymmasssorla in Compiler Development

Alexander Tchitchigin

Это как посмотреть. А то оптимизации - это тоже такая штука, которая "не меняет поведение программы, но..." 😉

Вот я и говорил, что спор об определениях)

источник

11:35пожаловаться #4

AT

Alexander Tchitchigin in Compiler Development

Вот я и говорил, что спор об определениях)

Тогда что Вы пытаетесь доказать? 😉

источник

11:36пожаловаться #5

G

Gymmasssorla in Compiler Development

Alexander Tchitchigin

Тогда что Вы пытаетесь доказать? 😉

enum в Rust - сахар. Но это я не буду продолжать, не вижу особо смысла

источник

11:37пожаловаться #6

NV

Nikita Vilunov in Compiler Development

enum в Rust - сахар. Но это я не буду продолжать, не вижу особо смысла

Сахар — это часть языка, которую можно убрать не навредив экспрессивности языка. Убрав enum’ы из Раста, экспрессивность сильно упадёт, потому что их нельзя в полной мере заменить никакими другими фичами языка

источник

11:40пожаловаться #7

AT

Alexander Tchitchigin in Compiler Development

enum в Rust - сахар. Но это я не буду продолжать, не вижу особо смысла

Сахар - не сахар - без разницы как назвать. Факт в том, что енамы (а точнее, ADT) формируют новую абстракцию, которую можно по-разному реализовывать (aka оптимизировать), в том числе потому, что она накладывает определённые ограничения, из которых вытекает и pattern matching, и exhaustiveness.

источник

11:42пожаловаться #8

G

Gymmasssorla in Compiler Development

Alexander Tchitchigin

Сахар - не сахар - без разницы как назвать. Факт в том, что енамы (а точнее, ADT) формируют новую абстракцию, которую можно по-разному реализовывать (aka оптимизировать), в том числе потому, что она накладывает определённые ограничения, из которых вытекает и pattern matching, и exhaustiveness.

Согласен

источник

11:43пожаловаться #9

AT

Alexander Tchitchigin in Compiler Development

А под данное выше определение "сахара" попадают вообще все конструкции языков программирования - while-циклы всего лишь сахар над джампами. Кому это интересно? Так что определение выглядит разумно, но по факту - бессмысленно.

источник

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

NV

Nikita Vilunov in Compiler Development

Так это некорректное определение синтаксического сахара

источник

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

AT

Alexander Tchitchigin in Compiler Development

https://youtu.be/43XaZEn2aLc - вот тут правильное определение синтаксического сахара. 😉

On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]

PWLConf 2019 Link: https://pwlconf.org/2019/shriram-krishnamurthi/ Slides / Captions: https://github.com/papers-we-love/pwlconf-info/tree/master/2019/shriram...

источник

11:49пожаловаться #12

NV

Nikita Vilunov in Compiler Development

Alexander Tchitchigin

https://youtu.be/43XaZEn2aLc - вот тут правильное определение синтаксического сахара. 😉

On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]

PWLConf 2019 Link: https://pwlconf.org/2019/shriram-krishnamurthi/ Slides / Captions: https://github.com/papers-we-love/pwlconf-info/tree/master/2019/shriram...

А из-за длины видео никто так и не узнает что же такое синтаксический сахар

источник

11:53пожаловаться #13

M

MaxGraey in Compiler Development

Yuriy Syrovetskiy

или аналогов (Сhurch encoding, например)

Серьезно?)

https://github.com/MaiaVictor/ultimate-calculus

MaiaVictor/ultimate-calculus

Contribute to MaiaVictor/ultimate-calculus development by creating an account on GitHub.

источник

11:55пожаловаться #14

AT

Alexander Tchitchigin in Compiler Development

А из-за длины видео никто так и не узнает что же такое синтаксический сахар

А те, кто не могут смотреть длинные видео и читать длинные тексты, а пуще всего - долго думать про одну и ту же тему, вообще мало чего интересного узнают в этой жизни, и ещё меньше - сделают. Ну и пусть, зачем кого-то заставлять? 😄

источник

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

꧁

꧁Станцуем жизнь꧂ in Compiler Development

Alexander Tchitchigin

А те, кто не могут смотреть длинные видео и читать длинные тексты, а пуще всего - долго думать про одну и ту же тему, вообще мало чего интересного узнают в этой жизни, и ещё меньше - сделают. Ну и пусть, зачем кого-то заставлять? 😄

Ты зло

источник

12:03пожаловаться #16

꧁

꧁Станцуем жизнь꧂ in Compiler Development

Теперь придется смотреть все видео(

источник

12:04пожаловаться #17

AT

Alexander Tchitchigin in Compiler Development

꧁Станцуем жизнь꧂

Ты зло

"Не мы такие - жизнь такая." 😂

источник

12:04пожаловаться #18

M

MaxGraey in Compiler Development

MaxGraey

Серьезно?)

https://github.com/MaiaVictor/ultimate-calculus

MaiaVictor/ultimate-calculus

Contribute to MaiaVictor/ultimate-calculus development by creating an account on GitHub.

А вообще все это можно переписать и в стиле ООП вот так:
https://softwareengineering.stackexchange.com/a/163987

Software Engineering Stack Exchange

How do you encode Algebraic Data Types in a C#- or Java-like language?

There are some problems which are easily solved by Algebraic Data Types, for example a List type can be very succinctly expressed as:

data ConsList a = Empty | ConsCell a (ConsList a)

consmap f E...

источник

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

AT

Alexander Tchitchigin in Compiler Development

꧁Станцуем жизнь꧂

Теперь придется смотреть все видео(

И даже более того, по-уму, нужно ещё и статью прочитать и разобраться в доказательствах! 😉

источник

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