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

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

Это да

13:33пожаловаться #1

YS

Yaroslav Schekin in Compiler Development

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

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

> А хоть каких-то статей / исследований и даже других мнений на эту тему (есть две категории "необучаемых") Вы не видели, кстати?

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

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

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

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

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

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

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

> Пффф! Вы либо не знаете формальной логики, либо программирования.

Пффф! Давайте не переходить на личности, а приводить аргументы, а?
И см. https://t.me/CompilerDev/80424

> Иначе какая это демократизация?

А почему нет? Может, стоит задуматься, хороши ли сами методики и обучающие (несмотря на то, что целевая аудитория у них правильная)?

MaxGraey in Compiler Development

13:36пожаловаться #2

AG

Не знаю насчёт фундамента, но "сверху" систему типов (с зав. типами, по слухам) они накручивают. Ждёмс результатов. 😊

ну вот то-то что "сверху", т.е. "графичность" им никаких бонусов вероятнее всего не даст

Alexander Tchitchigi... in Compiler Development

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

AT

Alex Gryzlov

ну вот то-то что "сверху", т.е. "графичность" им никаких бонусов вероятнее всего не даст

Это да. В смысле нет. 😒

16:07пожаловаться #4

AG

Peter Sovietov

А с «фундаментом» смешно и грустно, как одни алгебраисты в упор других не видят. Почему одни вещи модны в тусовке, а другие — нет, это загадка.

если вы про "струнных" категорщиков, то не сказал бы, там активно перемешиваются идеи из пл, квантов, теории управления и какой-нибудь, скажем, эпидемиологии

16:07пожаловаться #5

DF

Dollar Føølish in Compiler Development

Что такое струнный категорщик

16:44пожаловаться #6

s

suhr in Compiler Development

Категорщик, вооружённый струнными диаграммами.

Виталий Медоваров... in Compiler Development

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

ВМ

Alex Gryzlov

вообще если кому интересно это направление, рекомендую начать с https://graphicallinearalgebra.net/, и дальше смотреть на работы Sobocinski и Piedeleu

Graphical Linear Algebra

Visit the post for more.

Спасибо за ссылку! Очень нравится как пишет автор

17:13пожаловаться #8

AG

Dollar Føølish

Что такое струнный категорщик

примерно до середины нулевых в теории категорий было принято работать в "вычислительном" стиле, грубо говоря составляя уравнения, а с недавних пор стал понемному брать вверх графический подход с использованием струнных диаграмм

17:16пожаловаться #9

AG

что примерно и соответствует программированию текстом и графически

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

M

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

source traile

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

M

Начать лучше не с графого программирования а хотя бы с графовой визуализации

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

M

Потому что иначе все это сведеться к node base ue like редакторам

17:18пожаловаться #13

M

А впрочем оно максимум и нужно но я бы выкинул и его

17:18пожаловаться #14

M

Был один шизик, написал holly C, известный мем, но к слову у него в коде была визуализация

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

M

Тоесть изображения к примеру показывалось частично такое и в JB продуктах есть, типа редеринга комментов к примеру, вроде в VS code тоже экспериментально завезли на самом деле будуюшее не в граф языках явно, но встраивание рано или поздно дойдет до обычных языков я видел плагинов 12 точно начиная с простых collor select заканичивая визуализацией дебега

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

M

Но LabView ровно что и другие потуги полностью соорудить графический язык это нежизнеспособный мусор imh

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

M

Yaroslav Schekin

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

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

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

Для того что бы его соорудить иногда нужно, вопрос не в том какое будет апи вопрос в том работает ли оно теоретические работы нужны не для того что бы их все понимали а к примеру что бы сушествовали веши типа React

17:23пожаловаться #18

M

> А хоть каких-то статей / исследований и даже других мнений на эту тему (есть две категории "необучаемых") Вы не видели, кстати?

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

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

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

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

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

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

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

Давно подружили же уже, многие вещи формализируют, smt решатели жи продукт логики, нет?

17:24пожаловаться #19

M

Alex Gryzlov

ну вот то-то что "сверху", т.е. "графичность" им никаких бонусов вероятнее всего не даст

Дает