Metaprog: универсальная графическая среда программирования [в разработке] часть 3

http://www.gtk-server.org/intro.html

Как тут модераторов кастануть? Автор - тролль, и котечка - его клон.

Альтернативные площадки, вали туда.

No need to learn C or C++, you can stick to your favorite programming language

Мне как раз нужны сишные интерфейсы, так что лучше уж сишные библиотеки.

Внес ТС-а в игрнор за засорение трекера по тегу c. Модераторы, забаньте этого пиарщика уже.

Не нравится - игнорь. А модераторам-то что? Правил-то я не нарушаю.

За бан.

Как психолух тебе пишу - тред уныл, не туда ты внимание направил. Лучше с детей начинай. Как им удобнее строить «будущее» в программировании. По реализации - ГОВНО.

В «похожих» Создайте раздел «Юмор»

Кстати, хорошая идея, ИМХО

Неужели так сложно было кратко описать что это?

Тут и прочитав полную версию не все понимают!

Тут и прочитав полную версию не все понимают!

А вас с раздвоением личности попробуй пойми.

Очень краткое описание: некий анонимный метапрог собирает себе на еду.

А также собираю команду разработчиков.

4.1, 4.2, 4.3, 5.4.

Ещё предлагаю почистить предыдущие темы на предмет 5.1, 5.2, 5.3, 5.4.

Если чистить по-хорошему, то я скорее всего в бан уйду, ну и ладно.

1С: Второе пришествие бухалтерии. Теперь без кода!

Мир ПО ещё очень молод и незрел. Он требует огромнейших ресурсов, чтобы сделать качественный переход от низкоуровнего по своей структуре софта к нормальным многоуровневым архитектурно проработанным решениям.

Ещё миллионы и миллионы человекочасов придётся программистам вложить, чтобы изменив мир ПО, повернуть человечество немного в более плодородное направление деятельности и мышления.

Попутно придётся совершить пару серьёзных и множество мелкий революций, отказываясь от некогда цветших парадигм, на развитие которых было положено ровно столько усилий, сколько нужно, чтобы превратить сказочный и прекрасный дворец в неработоспособную разваливающуюся систему, недостатки которой очевидны даже адептам.

А вы тут... блоки мышкой таскаете.

Ты про лямбда-счисление в курсе, кстати? Можешь попробовать вложить его в свои блоки. Чисто чтобы обломиться сразу и пойти почитать про interaction nets, например. Это поможет как-то приблизиться к осознанию реальности.

Лябда исчесление выдумали только чтобы было на чем диссер защитить. Оно НЕ НУЖНО и нигде НЕ ИСПОЛЬЗУЕТЬСЯ. Поэтому ваш аргумент это пук в лужу. Впрочим как и всегда со стороны так называемых программистов. Вы просто боитесь за свое место

Да как вы смеете?! Мои любимые лябда вычисления используются в ядре, в браузерах, в движке лора!!! Во всем!!! Стоп, как не используется, не может этого быть, ведь они есть в хескеле!!! На хескеле же написанно много программ, квиксорт в строчку например!!!

Ради квиксорта в строчку уже можно было придумать лямбда-исчисление.

Алсо, в джаваскрипте ЛОРа есть лямбды :)

Алсо, в джаваскрипте ЛОРа есть лямбды :)

Но нужен ли JS если подумать?)

Очевидно, что не нужен. Вообще ничего не нужно кроме C и metaprog, причём когда metaprog будет написан сам на себе и компилироваться в себя, от C мы тоже избавимся!

P.S. в движке ЛОРа тоже есть лямбды. Я удивлён!

P.S. в движке ЛОРа тоже есть лямбды. Я удивлён!

Ну это скалисты притащили!

Ради квиксорта в строчку уже можно было придумать лямбда-исчисление.

Это можно и без лямбдочислений сделать, да и квик-сорт в одну строчку на хескеле можно написать только медленный, насколько я помню...

Нет, с современным GHC это - настоящий логарифмический квиксорт! Оверхеда почти нет, по времени разница с квиксортом на C почти константная.

Ну молодцы, жаль только код на Haskell по читаемости хуже Perl %) Я думал с расширениями переписать на С, но не понял что там происходит.

Ради квиксорта в строчку уже можно было придумать лямбда-исчисление.

А понимать потом это как? Я лично нихрена не понял из этой одной строчки. Я и Си с трудом понимаю, при том что он - самый знакомый мне текстовый язык, но его я б еще с трудом да понял. А вот квиксорт в одну строчку - то вообще взрыв мозга.

Ладно, это я свои субъективные впечатления описал. А ты вот понял лабвью-схему квиксорта, которую я давал? По-моему ее очень легко понять даже неспециалисту. По правде, я долго курил вики пытаясь понять алгоритм. Но найдя готовую функцию в лабвью быстро понял в чем суть.

Проблема Project Euler (который мне кидали) в том, что мне необходимо сначала врубиться в сам алгоритм, а с заумными абстракциями, как уже говорилось выше, я дружу плохо)))

Но не думаю, что это помешает мне сделать Метапрог!

Вот уж про читаемость вы зря - на Хаскеле сложно писать, а вот читать довольно легко, ибо он заставляет писать хорошо. Мой пример с квиксортом можно прочитать как

1. Если отсортировать пустой список, получится пустой список.
2. Сортировка списка (x:xs) с первым элементом x и оставшейся частью xs: сначала отсортируем все элементы xs, меньшие x, потом добавим x, прибавляем в отсортированном виде все элементы xs, большие x.

Это наверное связано с тем, что у вас вообще с пониманием теста проблемы. Вот я из той схемы понял только самое начало, дальше какая-то лютая ерунда.

На форуме писаться хватает, на книгу Линуса хватило. Но на Гегеля или Достоевского уже вряд ли хватит)))

Трудно читать, это как код на J.

А пример на Лабвью читать надо? К нему надо пояснения?

Да, ничего не понятно кроме первых двух блоков.

Алсо, жду Манакера на лабвью или метапроге. После этого с меня манакер на Хаскеле. Для сравнения, так сказать.

Прочитал синтаксис J - прочитал квиксорт на нём. Довольно элегантный язык, жаль, что много визуального мусора в виде небуквенных операторов.

Скоро не обещаю, ведь надо вкуривать сам алгоритм, понимание его... Может другие сделают, или я доберусь на досуге, когда скучно будет.

В chromium полно лямбда-функций. Специально скачал исходники.

https://i.postimg.cc/wj9jcdgz/quicksort.png

Меряется размер массива, если он равен 1 или 0 - просто проходитна выход (проводок на другой поддиаграмме).

Если 2 и больше - размер нацело делится на 2 (чуток пришлось прочитать хелп, чтоб понять суть), удаляется элемент (фактически посередине) и потом цикл. Если что больше него - во второй массив, меньше - в первый. Дальше 2 массива подаются на рекурсию и после нее складываются.

Благодарю Лабвью и копирастов из NI, что я понял идею квиксорта:)

Это другое!

Что другое? Для того, чтобы язык или проект «использовал» лямбда-исчисление, достаточно трёх вещей:

1. Наличие переменных и выражений, содержащих переменные) - есть в C++
2. Наличие лямбда-функции (т.е. возможности из выражения с переменной получить функцию, при аргумент которой подставляется вместо переменной) - есть в C++
3. Наличие аппликации - применения функции к переменной - есть в C++

Все три вещи используются в chromium, поэтому там используется лямбда-исчисление.

Из-за наличия кучи стрелочек, расходящихся в разные стороны, довольно сложно понять эту задумку. Даже после вашего объяснения я 5 минут сидел и вдумчиво разбирался, что, откуда и куда идёт.

Что другое?

Да это я так слился. Ну я проблем не вижу в лябдачислениях и схемах все равно!

Радует, что хотя бы один человек в треде умеет признавать ошибки.

И это по-вашему куча? Видели б вы мои исходники!

https://postimg.cc/xqbqZWBN

Кстати, не открываю я их в основном потому что вряд ли кто будет туда контрибутить, едва ли у кого здесь есть Лабвью.

Это нечитаемо. Я сомневаюсь, что даже если был бы лабвью, нашлось бы много контрибюторов. Лабвью знают в основном студенты и школьники, и они точно не смогут это читать.

Диаграммы хороши для высокоуровневых вещей (см. UML), так как делают архитекруру понятнее, а здесь даже квиксорт визуально больше того же квиксорта на C, не говоря уже про серьёзные вещи.

Ладно. Расскажи доступными словами про лямбда-исчисления. Чтоб уже я понял что это и зачем:)

Доступными - это на уровне первоклассника?

Нет, примеры для первоклассника мне не понятны. Для лабвью-программиста, знакомого с понятиями поток, функция, сишной системой типов, но не переваривающего заумные абстракции из царства высшей математики.

Почитайте про interaction nets, это лямбда-исчисления на диаграммах. Не уверен, что станет понятнее, но если вы так хорошо понимаете картинки…