Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Вт мар 19, 2024 07:20

...
Google Search
Forth-FAQ Spy Grafic

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 16 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: Язык или подход к программированию?
СообщениеДобавлено: Пт янв 07, 2022 02:46 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7958
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Еще раз посмотрим на Форт со стороны подхода к программированию. Я не пишу такие неоднозначно понимаемые термины, как "метод", "методология" (и уж тем более "парадигма" или "философия"). Это создает атмосферу чего-то возвышенного, а нужно как раз окунуться в практику.

Итак, сравним два стиля кода.
Код:
a = f1(b, c, d);
e = f2(a, f);
f3(&data, e, g);

Теперь второй стиль:
Код:
setup_data(); // задаются начальные состояния переменных
f1();
f2();
f3();


Во втором стиле нет ничего необычного. Немного настораживает, что функции работают с какими-то данными в области их видимости, т.е. явно имеют побочные эффекты. Однако же, это может быть и не так плохо, если набор функций спроектирован грамотно, и "побочные эффекты" на деле являются прогнозируемыми. Зато это дает возможность оперировать данными в том самом глобальном контексте - например, после setup_data() сделать еще какой-нибудь convert_data(), а остальные функции оставить теми же самыми. То есть в целом этот стиль годится для работы с машиной состояний, где данные имеют глобальную область видимости и доступны для модификации со стороны множества простых функций. При этом можно выстраивать иерархию функций, создавая списки обработки, включая туда структуры управления (циклы, условные вызовы и т.д.).

Получился Форт. Написанный на <любимом языке>, но тем не менее внутри отражающий общие подходы к реализации Форт-машины.

Что это дает? Теперь можно попробовать не рассматривать Форт как язык программирования в общепринятом смысле и, соответственно, искать у него библиотеки, IDE, пресловутую "поддержку из коробки" и прочее. Ясно же, что этого нет, а усилия по реализации в итоге приведут только к тому, что будет "как у всех". Вместо этого стоит попробовать поставить Форт в один ряд с такими понятиями, как алгоритм суммирования элементов массива, сортировки пузырьком, или программу рисования графиков. Тогда вопрос будет не "программируем ли мы на Форте?", а "используются ли фортоподобные алгоритмы при построении программного приложения?".


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Пт янв 07, 2022 05:55 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
Может не в тему топика
такой комментарий
одного разработчика встраивающего Форт в свои корпоративные проекты.

P.S. Автоперевод вопроса https://coderoad.ru/11745658/Как-бы-можно-было-закодировать-приложение-в-Forth-или-Factor :)


Последний раз редактировалось KPG Пт янв 07, 2022 13:46, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Пт янв 07, 2022 12:12 
Не в сети

Зарегистрирован: Пн янв 28, 2019 03:10
Сообщения: 174
Благодарил (а): 20 раз.
Поблагодарили: 13 раз.
Цитата:
"используются ли фортоподобные алгоритмы при построении программного приложения?"

Что тогда относить к фортоподобным алгоритмам? Конкатенативную компиляцию и поиск по словарю или последовательность простых функций (процедур?), работающих с глобальными данными? И насколько данный подход применим за пределами собственно Форта (с постфиксной записью и стеками)? Понятно, что искусственно можно реализовать приведённый пример, но применяется ли такое на практике?


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Сб янв 08, 2022 01:53 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7958
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Стек и конкатенативная компиляция видятся как технические способы организации вот этой самой последовательности функций. Ну или можно оттолкнуться от конкатенативной компиляции ("видим токен - компилируем вызов"), тогда стек - это просто способ передачи данных между вызовами, а словарь на основе связанного списка - один из вариантов соотнесения имен и адресов.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Ср авг 03, 2022 03:06 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
"Неожиданно", топик обсуждения Форт на zx-pk.ru (05.07.2022)
FORTH vs компилятор бейсика vs C++/Pascal/остальное

P.S. Из развиваемых проектов Форт для Z80 M4 FORTH: A Forth compiler for the Z80 CPU and ZX Spectrum
и много Z80 Форт и для ZX programandala-net


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Ср авг 03, 2022 03:59 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7958
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
На Спектруме я Форт впервые попробовал "вживую". И надо сказать, что именно на Спектруме он был действительно удобнее и быстрее других компиляторов. Встроенный Бейсик не в счет, и слишком медленный, а остальные языки, от ассемблеров, до расширений Бейсика, а также Си и Паскаля мгновенно съедали память на компилятор, а ведь нужно было еще текст набрать и скомпилированный код куда-то положить. В этом смысле спектрумовский Форт был не только практичнее, поскольку позволял набирать программу и не особо следить за ее размером, но еще и по какой-то причине быстрее. Видимо, на тот момент компиляторы особых оптимизаций и не проводили. До сих пор помню, что пробовал тогда поиск совершенных чисел. В диапазоне от 1 до 10000 Бейсика вообще было не дождаться, а вот Форт оказался быстрее, чем Си.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Пн авг 08, 2022 17:24 
Не в сети

Зарегистрирован: Пт янв 06, 2017 14:57
Сообщения: 365
Благодарил (а): 17 раз.
Поблагодарили: 1 раз.
Думаю, очень многие ломали головы что же такое Forth, какое положение он занимает в привязанности к машинному коду и т.д.
В целом, на Forth можно смотреть с разных точек зрения, поэтому можно предположить, что это скорее набор принципов.
Не ясно можно ли назвать это парадигмой, ведь в Forth-системах применяется стеково-ориентированное программирование или, например, контекстно-ориентированное программирование [1].
Да что вообще можно сказать про Forth? Есть ли у него синтаксис? Ответ: нету :) Весь код, кроме метаданных, состоит из названий определений.
Помимо этого, Forth явных типов данных не имеет. Т.е. смысл определений и их названия определяют как и что на этом языке можно писать.
Можно сказать, что Forth это подход по созданию метаязыка. А стек оказался лишь более удобным способом работы с данными в таких языках.
А какой это будет язык, на чём написан и какие решения будут использованы для разработки – решать разработчикам.
В итоге, получается, что многие Forth-системы, это лишь диалекты базового языка, что предлагают нам стандарты.



Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Ср авг 10, 2022 04:37 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
Заметка о языке :Firth сделанного в рамках Lua.
:Firth pre-alpha 1– a Forth-like language for DSL creation.

P.S. Тут, ещё подумалось, что можно использовать отдельно библиотеку LibJit
для повышения производительности Форт программ при стековом байт коде VM (может и для МК может сработать при наличии ресурсов в необходимой мере)
Библиотека нормально собралась и отработала тесты под Linux 32 (правда не последняя её версия)
В примере библиотеки "скриптовый" Паскаль Dpas с выполнением кода во время загрузки его с исходника.
На Github есть некоторое количество отдельных языков в привязкe к этой библиотеке.

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

https://ru.bmstu.wiki/LibJIT
...
Основы программного моделирования ЭВМ.pdf
Интерпретаторы байт-кодов своими руками (из 3-ёх статей)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Чт авг 11, 2022 11:56 
Не в сети
Аватара пользователя

Зарегистрирован: Ср июл 03, 2019 11:10
Сообщения: 460
Откуда: Москва
Благодарил (а): 57 раз.
Поблагодарили: 22 раз.
KPG писал(а):
"Неожиданно", топик обсуждения Форт на zx-pk.ru (05.07.2022)
FORTH vs компилятор бейсика vs C++/Pascal/остальное
Забавно, пробежался по обсуждению. Оберонщики гребни топорщат, утверждают, что на Форте нормальных игр нет и быть не может, и приводят в пример с десяток игр, написанных на Обероне - без слез не взглянешь :)
И неожиданно много защитников Форта :)


А, кстати, есть нормальные игры на Форте-то? :) Я особо не интересовался никогда...


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Чт авг 11, 2022 14:11 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
Total Vacuum писал(а):
А, кстати, есть нормальные игры на Форте-то? :) Я особо не интересовался никогда...

Как определиться с понятием нормальная? (примеры каких то игр в демо примерах той или иной Форт системы Win32Forth ... имеются, и были всякие топики и на местном форуме по поводу игр)
То, что игры написанные в рамках Форт есть - это неоспоримый факт, а какие конкретно продаваемые игры, к примеру, были сделаны на Форт когда либо и под какое железо немного исследовал tru-grue
Старые игры на языке Форт

На Github можно в связке Forth game тоже посмотреть вывод.

P.S. GlForth (расширение gForth для игр) :)
Изображение

Grobots
Изображение

ИзображениеИзображениеИзображение

Windows applications
Изображение
...
Для Pocket PC кто то из фортёров делал игры на DsForth (Delo Soft Forth)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Чт авг 11, 2022 20:02 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
Upd: По последней ссылке позапускал игры в Linux 32 (там же и Windows не проверял)
в CoeurForth
в скрипте для запуска указал ./ текущий путь запуска скрипта
и в оконной оболочке выбрал одним из пунктов навигации по директории методом тыка и загрузил игру и также её можно стартануть из её меню или при введении слова её запуска.

P.S. Показалось, что, к примеру Тетрис тормозит, но игра по отбиванию шарика и разрушения блоков/кирпичей вполне нормально играется в рамках моего бука под Linux 32. Pacman тоже неспешно играется.
Исходников Форт системы не увидел, а эмулятор PIC32 также запускается правкой в скрипте пути для текущей директориию.
Скачал образ сайта утилитой: wget -m <url>

Как понял, автор этого Форта, отрисовывает интерфейсы программ с помощью прямого управления OpenGL.

Ради интереса прогнал в Ida 6.8 файл MicroForth бинарника из Linux и на нём не выявил невозможности реверса, что асм, что Си псевдокод отобразились с сигнатурами использованных функций.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Чт авг 11, 2022 20:37 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
Total Vacuum писал(а):
Оберонщики гребни топорщат, утверждают, что ...

Такое ощущение, что они сами себе дoказывают значимость своих инструментов не вдаваясь в суть аргументов другой стороны и не поинтересовавшись в том, почему же Форт до сих пор находит своих пользователей при всех ужасах при программировании на нём в их глазах.
А, у страха, как известно, глаза большие. :)

P.S. Вот от таких непытливых глаз Форт и защищён при его непонимании.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Сб авг 13, 2022 10:29 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
Заметки о Форт из блога инженера Михаила Киселёва
https://www.mnlist.ru/tags/#Форт

P.S. Уже было и известно :) Easy Forth (с примером игры Змейка на Форт)

Forth на STM32F103C8T6 — настоящие динозавры не вымирают

post4 (Реализация Форт ядра в Си)
в небольшрм количестве примеров есть игра Life в терминальном выводе. :)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Сб авг 13, 2022 19:38 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7958
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
KPG писал(а):
аметки о Форт из блога инженера Михаила Киселёва
https://www.mnlist.ru/tags/#Форт


https://www.mnlist.ru/blog/2020/forth-sites
Поискать русские ресурсы по Форту человек не догадался? :)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Язык или подход к программированию?
СообщениеДобавлено: Вт авг 23, 2022 16:41 
Не в сети

Зарегистрирован: Пн янв 07, 2013 22:40
Сообщения: 2141
Благодарил (а): 8 раз.
Поблагодарили: 74 раз.
Задачи и решения из серии Компиляторостроения на rosettacode.org
Compiler

P.S. На Форт тоже приведены решения (возможнa их критика или познавательное осмысление)

Rosetta Code: Popular Programming Languages
Форт в топ 50-ти языков решения задач на rosettacode.org, Factor на 22, Quackery - 61, oForth - 85 ...

А, Бейсик языков в этом рейтинге предостаточно. :)

Глава из книги "Python for Fun"
FORTH - A simple stack oriented language


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 16 ]  На страницу 1, 2  След.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
phpBB сборка от FladeX // Русская поддержка phpBB