Forth - язык нового поколения :)

Кирилл>Можно у тебя побольше узнать о потрохах виртуальной .NET-машины (в английском я не силен)?

Можно, а что конкретно тебя интересует?

Все
Хотя бы азы.
Стековая или смешанная (стеково-регистровая) архитектура?
Как передаются входные и выходные параметры процедур?
Что представляет собой вызов процедуры (метода объекта)?

>>Хотя бы азы.

Ну значит так. Весь код описывается метаданными которые хранятся в том же файле что и байт код. Это значит, что каждый метод имеет описание количиства и типа параметров и возвращаемого значения. Во время выполнения VM следит за следующими вещами предоставляемыми методу:

- Указатель на текущую инструкцию (ip)
- Стек
- Массив локальных переменных
- Массив аргументов
- Метаданные
- Локальная память
- Дескриптор состояния возвращения
- Секьрити дескриптор

ip не адресуем и стек не адресуем. массив локальных переменных это то что определяется при компиляции метода, в нём присутствуют все локальные переменнве которые используются в методе. Кстати на этапе компиляции определяется максимальная глубина стека. Если она будет привышена во время исполнения, то будет возвращена ошибка. Массив аргуметов выглядит точно так же как и массив переменных но содержит аргументы метода. Каждый слот в обоих массивах содержит одно значение независимо от типа. есть специальные инструкции для чтения - записи в эти массивы. Что такое метаданные я написал выше, во времяи сполнения они разумется read-only. Локальная память это память которую может выделить метод и которая будет освобождна по окончании выполнения метода. Эта память адресуема. Не существует инструкций для освобождения этой памяти, она освобождается когда заканчивается метод. С# в режиме по умолчанию этой памятью не пользуется вообще. Псоледние две вещи не заслуживают упоминания на данной стадии, одна предназанчена для восстановления состояния виртуальной машины после возвращаения из метода и вторая связяана с встроенное в VM секьюрити.

Стек у каждого метода свой собственный и в начале выполнения метода он пуст. Для вызова метода в стек кладутся параметры (и, может быть, this) и вызывается инструкция вызова. Параметром этой инструкции является токен метаданных который определяет какой именно метод надо вызывать. при выполнении этой инструкции VM создаёт новую среду для метода, копирует параметры со стека в массив аргументов и при необходимости инициализирует локальные переменные (есть бит отвечающий за необходимость такой инициализации). Вот собственно и всё. При возвращении результат будет положен на стек выхывающего метода.

На счёт документации - SP-Forth по исходникам документирован просто дальше некуда. У меня, сколько им пользуюсь, вопросов по ANS-форту ни разу не возникало:

USER-CREATE S-O 16 CELLS TC-USER-ALLOT \ порядок поиска
USER-VALUE CONTEXT    \ CONTEXT @ дает wid1

: FIND1 ( c-addr -- c-addr 0 | xt 1 | xt -1 ) \ 94 SEARCH
\ Расширить семантику CORE FIND следующим:
\ Искать определение с именем, заданным строкой со счетчиком c-addr.
\ Если определение не найдено после просмотра всех списков в порядке поиска,
\ возвратить c-addr и ноль. Если определение найдено, возвратить xt.
\ Если определение немедленного исполнения, вернуть также единицу (1);
\ иначе также вернуть минус единицу (-1). Для данной строки, значения,
\ возвращаемые FIND во время компиляции, могут отличаться от значений,
\ возвращаемых не в режиме компиляции.
  0
  S-O 1- CONTEXT
  DO
   OVER COUNT I @ SEARCH-WORDLIST
   DUP IF 2SWAP 2DROP LEAVE THEN DROP
   I S-O = IF LEAVE THEN
   1 CELLS NEGATE
  +LOOP
;

: SFIND ( addr u -- addr u 0 | xt 1 | xt -1 ) \ 94 SEARCH
\ Расширить семантику CORE FIND следующим:
\ Искать определение с именем, заданным строкой addr u.
\ Если определение не найдено после просмотра всех списков в порядке поиска,
\ возвратить addr u и ноль. Если определение найдено, возвратить xt.
\ Если определение немедленного исполнения, вернуть также единицу (1);
\ иначе также вернуть минус единицу (-1). Для данной строки, значения,
\ возвращаемые FIND во время компиляции, могут отличаться от значений,
\ возвращаемых не в режиме компиляции.
  S-O 1- CONTEXT
  DO
   2DUP I @ SEARCH-WORDLIST
    DUP IF 2SWAP 2DROP UNLOOP EXIT THEN DROP
   I S-O = IF LEAVE THEN
   1 CELLS NEGATE
  +LOOP
  0
;

И всё в таком духе. Т.е. по каждому слову подробное описание, со всеми состояниями стека, на русском, и тут же видно как оно устроено. Чего же больше желать?

Кстати, под SP-forth есть "нормальная" документация в CHM. Но у меня под рукой нет за ненадобностью.

IDE же - да, не хватает... Но лично мне она не нужна, а популяризация Форта для меня не настолько актуальна, чтобы я взялся за её написание, отставив на это время в сторонку десятки более актуальных задач

Добрая ночь!

Многообразна эта многолетняя ветка форума, от железа до Forth.NET
Думаю, мой вопрос также не будет оффтопиком.
Я адаптировал и расширил для достаточно нестандартного встроенного управляющего компьютера e-Forth.
Как база для освоения незнакомого железа он показал себя великолепно. Хотелось-бы продолжать использовать его, так-как требуется именно быстрая адаптация custom-приложений к разного рода быстро меняющимся CPLD и FPGA. Да и полный контроль над системой дает приятное чувство независимости от Добрых Американских Дядь
Однако, действительно, классический цикл тесты в командной строке-набор текста-компиляции экранов/файлов через некоторое время становится тормозом.
А что думают уважаемые собеседники про идеологию holon? Например, замена слов во время исполнения приложения или просмотр переменных/памяти real-time? Применял ли кто-то подобные технологии на практике, пусть с другими языками/системами?
Спустимся с высот программирования под Windows в Python / Haskell / C# на грешное (читай "глючное") железо

Forth is indeed an intriguing new generation programming language that emphasizes simplicity and efficiency, making it a favorite among certain tech communities. If you’re exploring concepts like Forth and find yourself needing assistance with related assignments, consider reaching out for assignment writing help in Dubai. They offer expert support to help you tackle complex topics and improve your understanding. It’s a great resource to enhance your learning experience!"