Size: a a a

Compiler Development

2021 February 25

SD

Sergej Durmanov in Compiler Development
Voffka kozhaev
Вот что у меня уже есть сейчас
Эта схема не соответствует ГОСТ/ISO
источник

s

suhr in Compiler Development
Кроме «демократизации», приятно ещё программировать не в слепую.
источник

s

suhr in Compiler Development
А так, чтобы видеть промежуточные результаты, да ещё чтобы и отобразить их можно было нормально.
источник

Vk

Voffka kozhaev in Compiler Development
Sergej Durmanov
Эта схема не соответствует ГОСТ/ISO
А мне и не надо. Я делаю лучше.
источник

VS

Victor Shamparov in Compiler Development
Peter Sovietov
Вот в Spoofax тех самых графов нет для оптимизации. Впрочем, пусть автор вопроса уточнит, что бы ему хотелось :)
Начну с мотивации: заметил, что в лично моём случае суть применения оптимизации к компилируемому коду - преобразования нескольких графов (CFG, Def-Use, иных). На C/C++ описывать эти преобразования не очень легко. Поэтому возник вопрос (на будущее, в текущих моих проектах пока не требуется): есть ли способы это дело более удобно описать хотя бы для одного графа?
UPD. Нашёл что-то похожее в проекте Coccinelle: https://coccinelle.gitlabpages.inria.fr/website/cocci_internals.pdf https://coccinelle.gitlabpages.inria.fr/website/papers/popl09.pdf
источник

YS

Yaroslav Schekin in Compiler Development
И что? Я лично знаком с несколькими бизнес-аналитиками, не говоря уже о датасатанистах и т.п., которые пользуются.
И даже курсы для обучения основам и т.п. есть для таких людей.
источник

s

suhr in Compiler Development
Yaroslav Schekin
И что? Я лично знаком с несколькими бизнес-аналитиками, не говоря уже о датасатанистах и т.п., которые пользуются.
И даже курсы для обучения основам и т.п. есть для таких людей.
Людей на курсах можно обучить любому языку.
источник

YS

Yaroslav Schekin in Compiler Development
suhr
Людей на курсах можно обучить любому языку.
Любых людей?
Некоторых людей (понятия не имею, какова их доля) невозможно обучить программировать вообще, независимо от языка, вот в чём проблема, IMHO.
источник

s

suhr in Compiler Development
Такие люди и SQL не осилят.
источник

YS

Yaroslav Schekin in Compiler Development
suhr
Такие люди и SQL не осилят.
Да. Но эти всякие "визуальные", "графовые" и какие там ещё языки они не осилят тоже.
источник

AT

Alexander Tchitchigi... in Compiler Development
suhr
А так, чтобы видеть промежуточные результаты, да ещё чтобы и отобразить их можно было нормально.
Это немного ортогонально графовому представлению программы. Было популяризировано Light Table и Swift Playground, но встречается во многих экспериментальных разработках в этой области.
источник

s

suhr in Compiler Development
Alexander Tchitchigin
Это немного ортогонально графовому представлению программы. Было популяризировано Light Table и Swift Playground, но встречается во многих экспериментальных разработках в этой области.
Так, но luna делает и то, и другое.
источник

AT

Alexander Tchitchigi... in Compiler Development
suhr
Такие люди и SQL не осилят.
Не факт. По-моему есть две категории "необучаемых": те, кто не понимают (формализованную) логику вообще (ну, их и логике не обучали и не пытались), и те, кто не может уложить в голове конкретно императивное mutable state-based программирование, хотя логику в целом понимают. Соответственно, вторая группа вполне обучаема SQL/"графическому" программированию. Вероятно, (высокоуровневому) функциональному/логическому программированию тоже.
источник

AT

Alexander Tchitchigi... in Compiler Development
suhr
Так, но luna делает и то, и другое.
Что как бы подтверждает мой тезис об ортогональности. 😊
источник

AT

Alexander Tchitchigi... in Compiler Development
У меня закрадывается подозрение, что "графическое программирование" строят на уровне "классов", но на уровне "объектов" было бы полезнее/понятнее. С другой стороны, "объекты" нужны тоже более высокоуровневые, наверно.
источник

YS

Yaroslav Schekin in Compiler Development
Alexander Tchitchigin
Не факт. По-моему есть две категории "необучаемых": те, кто не понимают (формализованную) логику вообще (ну, их и логике не обучали и не пытались), и те, кто не может уложить в голове конкретно императивное mutable state-based программирование, хотя логику в целом понимают. Соответственно, вторая группа вполне обучаема SQL/"графическому" программированию. Вероятно, (высокоуровневому) функциональному/логическому программированию тоже.
А хоть каких-то статей / исследований и даже других мнений на эту тему (есть две категории "необучаемых") Вы не видели, кстати?

И понимание формальной логики не нужно для тривиального "программирования", нет? ;)

И разве нет категории, которая не может уложить в голове что-то отличное от "императивного mutable state-based программирования"? Если да, то направление "демократизации" должно зависеть от соотношений этих категорий, по-хорошему.
источник

M

MaxGraey in Compiler Development
> И понимание формальной логики не нужно для тривиального "программирования", нет? 😉

Нет. Достаточно иметь ограниченную среду с конечным числом сущностей и иметь мгновенный фидбек. Собственно так дети и програмиируют в том же blockly
источник

M

MaxGraey in Compiler Development
MaxGraey
> И понимание формальной логики не нужно для тривиального "программирования", нет? 😉

Нет. Достаточно иметь ограниченную среду с конечным числом сущностей и иметь мгновенный фидбек. Собственно так дети и програмиируют в том же blockly
А художники и vfx-дизайнеры в The Foundry Nuke или Blackmagic Fusion
источник

AT

Alexander Tchitchigi... in Compiler Development
Yaroslav Schekin
А хоть каких-то статей / исследований и даже других мнений на эту тему (есть две категории "необучаемых") Вы не видели, кстати?

И понимание формальной логики не нужно для тривиального "программирования", нет? ;)

И разве нет категории, которая не может уложить в голове что-то отличное от "императивного mutable state-based программирования"? Если да, то направление "демократизации" должно зависеть от соотношений этих категорий, по-хорошему.
> А хоть каких-то статей / исследований и даже других мнений на эту тему (есть две категории "необучаемых") Вы не видели, кстати?

Мнений-то на эту тему полно, а статьями я не интересовался. Утверждать, что "есть только две категории" я не берусь — исследований не проводил, просто грубое обобщение личного опыта.

> И понимание формальной логики не нужно для тривиального "программирования", нет? ;)

Пффф! Вы либо не знаете формальной логики, либо программирования. Последние новости: качественно их подружить до сих пор не удаётся.

> И разве нет категории, которая не может уложить в голове что-то отличное от "императивного mutable state-based программирования"?

Так эта категория вокруг нас — это просто большинство программистов, нет?

> Если да, то направление "демократизации" должно зависеть от соотношений этих категорий, по-хорошему.

Направление "демократизации" должно быть в направлении тех, кто не может научиться существующим практикам по существующим методикам. Иначе какая это демократизация?
источник

AT

Alexander Tchitchigi... in Compiler Development
MaxGraey
> И понимание формальной логики не нужно для тривиального "программирования", нет? 😉

Нет. Достаточно иметь ограниченную среду с конечным числом сущностей и иметь мгновенный фидбек. Собственно так дети и програмиируют в том же blockly
Да 90% профессиональных программистов обходятся без формальной логики вообще. 🤷‍♀️
источник