Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Чт мар 28, 2024 12:53

...
Google Search
Forth-FAQ Spy Grafic

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




Начать новую тему Ответить на тему  [ Сообщений: 106 ]  На страницу Пред.  1 ... 3, 4, 5, 6, 7, 8  След.
Автор Сообщение
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 20:26 
mOleg писал(а):
есть [синтаксис в Forth], причем для каждого случая свой, собственно, вот это ваш синтаксис... а вот это мой...
В обоих случаях синтаксис один - последовательность слов, разделенных пробелом.
gudleifr писал(а):
... я лишь убираю инородности.
Т.е. превращение второстепенной детали реализации - словаря - в основополагающую, это не инородность?


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 20:47 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
gudleifr писал(а):
Разговор Ахилла с черепахой из известного диалога Кэрролла. Из того, что что-то где-то не улеглось не следует, что надо отказываться от инструментального контекста.

Не надо отказываться от инструментального контекста, надо отказаться от оперативного инструментального контекста.
Для форта переход параметров со стека в локальные переменные, а затем локальных переменных в параметры на стеке в рамках описания одного понятия на взаимодействие слов-процедур не влияет. Передач лок. переменных между процедурами по имени нет.
: proc ( x1 ... xk --> y1 ... yn )
xk! ... x1! ............ y1 ... yn ;

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 20:51 
chess писал(а):
: proc ( x1 ... xk --> y1 ... yn ) xk! ... x1! ............ y1 ... yn ;
А потом захочется отказаться от исключительно передачи по значению... Вообще же, Вы покушаетесь на святое - ненужность придумывания дурацких имен для временных переменных.


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 20:58 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
gudleifr писал(а):
Вообще же, Вы покушаетесь на святое - ненужность придумывания дурацких имен для временных переменных.

Все зависит от задачи, если нужно, то присвойте любые имена, которые имеют какой -то смысл.
: proc ( x1 ... xk --> y1 ... yn )
счетчик! ... массив! ............ мах-массива ... индекс ;

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 21:01 
chess писал(а):
счетчик! ... массив! ............ мах-массива ... индекс ;
Вот они - дурацкие имена!
chess писал(а):
Вот STATE противоречит природе человека.
Т.е. человеку не свойственно отдавать приказы и строить планы?


Последний раз редактировалось gudleifr Пн дек 12, 2011 21:58, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 21:30 
mOleg писал(а):
Тут, кстати, главная загвоздка: каждый считает инородным в форте что-то свое
Да, Вы, безусловно, правы. Что-то я разошелся... Кстати, почему Ваш Forth столь многословен? Это требование современных стандартов? Мода? Жестокая необходимость учета сложностей, до которых я еще не дорос?


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 22:23 
Не в сети
Moderator
Moderator

Зарегистрирован: Ср май 10, 2006 15:37
Сообщения: 1132
Откуда: Chelyabinsk ( Ural)
Благодарил (а): 0 раз.
Поблагодарили: 9 раз.
gudleifr писал(а):
... почему Ваш Forth столь многословен?..

Если многословность Форта в ядре? то где та
золотая середина:)
Один из вариантов ухода от многословности - реализация инструментальных средств ( например
графических IDE) где часть контекста оперирования
проблемной областью будет задаваться не через
терминальный скрипт-язык.

P.S. Решение чего-то создаёт n-ый пласт новых слов
возможно неоправданно. Win32Forth ещё более многословен?
А что лишнее в Форте или недостаточно развито то
на форуме это уже много раз обсуждалось, а глобального переосмысления Форта так и не произошло. Может это и к лучшему т.к. усложнить
можно легко, а где минимально эффективное решение?


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 22:31 
Kopa писал(а):
...многословность...
mOleg писал(а):
Код:
\ метод инициализации dll-ки
: mount-dll ( vid --> )
            DUP >L off_specific @ UA@ IF LDROP ;THEN \ если уже инициализирован
                 L@ off_vname A@ ID>ASC ?libaddr \ нашли базовый адрес dll
            *IF &vinit  L@ off_vflags B!         \ установлен только флаг init
                 L@ off_specific @ UA!           \ сохранили базовый адрес
                LDROP
            ;THEN
            ERROR" Не могу подключить dll библиотеку!" ;

\ добавить в текущее определение вызов указанной API
: +APIA ( dllZ asc # --> addr )
       BOX{ HERE >L /winrec ALLOT
            HERE L@ off_funname A!  S, 0 B,
                 L@ off_libname A!
                 L@ WINAPLINK >List
                 L> @API
       }BOX COMPILE off_winproc COMPILE A@ ;


Да я об этом. Практически не нашел знакомых (стандартных) слов.


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 22:52 
Не в сети
Moderator
Moderator

Зарегистрирован: Ср май 10, 2006 15:37
Сообщения: 1132
Откуда: Chelyabinsk ( Ural)
Благодарил (а): 0 раз.
Поблагодарили: 9 раз.
gudleifr писал(а):
Да я об этом. Практически не нашел знакомых (стандартных) слов.

Можно предположить следующее:

1. Некоторые слова названы так чтобы исключить
возможное использование в не том контексте
B@ B! - более осязаемо к байтам чем С@ C! что
можно отнести к операциям с символами:)
2. Предположу, что L@ L! L> работа со стеком локальным переменных.
3. A! работа с адресным пространством
4. и.т.д.

P.S. Всё это введено для поддержания универсальности переноса ядра на разное железо
в разных разновидностях шитого кода Форта. По моему так:)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 22:58 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Kopa писал(а):
Всё это введено для поддержания универсальности переноса ядра на разное железо

Бедное железо, ему теперь со всем этим как-то совмещаться...


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 23:01 
Kopa писал(а):
По моему так:)
Спасибо, понятно.
Хищник писал(а):
Бедное железо, ему теперь со всем этим как-то совмещаться...
Это точно. Я всегда говорил - либо переходи на nix-ы, либо купи сборник алгоритмов на Algol60. Другая "совместимость" - от лукавого.


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 23:07 
Не в сети
Moderator
Moderator

Зарегистрирован: Ср май 10, 2006 15:37
Сообщения: 1132
Откуда: Chelyabinsk ( Ural)
Благодарил (а): 0 раз.
Поблагодарили: 9 раз.
Хищник писал(а):
Kopa писал(а):
Всё это введено для поддержания универсальности переноса ядра на разное железо

Бедное железо, ему теперь со всем этим как-то совмещаться...

Ага. Тем не менее задача совмещения ядер
разных Фортов (для пример SPF4 и Win32Forth) так и не решена.

P.S. А получится ли на sp-fork, например запустить win32forth приложения? Ещё не ясно.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 23:30 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Kopa писал(а):
А получится ли на sp-fork, например запустить win32forth приложения? Ещё не ясно.

Ну хорошо, вот выяснили мы, что не получится. Это просто констатация факта. Что с этим делать дальше?


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 23:41 
Хищник писал(а):
Что с этим [несовместимостью разных Forth] делать дальше?
Постулировать это как еще одно неотъемлимое свойство. Например, мы только что с коллегой mOleg поговорили и убедились, что совершенно друг друга не понимаем. Как же договорятся наши Forth?
Я не шучу. Forth - предельный язык по отношению количества смысла к количеству букофф. Голая семантика при почти полном отсутствии синтаксиса. Стандартные метрики, накладываемые на стандартные языки программирования, здесь зашкаливают. Ничего удивительного в подобной ситуации во всеобщем непонимании нет.


Последний раз редактировалось gudleifr Пн дек 12, 2011 23:49, всего редактировалось 1 раз.

Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения: Re: НА ЧТО СПОСОБЕН И НА ЧТО ДОЛЖЕН БЫТЬ СПОСОБЕН FORTH?
СообщениеДобавлено: Пн дек 12, 2011 23:45 
Не в сети
Moderator
Moderator

Зарегистрирован: Ср май 10, 2006 15:37
Сообщения: 1132
Откуда: Chelyabinsk ( Ural)
Благодарил (а): 0 раз.
Поблагодарили: 9 раз.
Хищник писал(а):
Kopa писал(а):
А получится ли на sp-fork, например запустить win32forth приложения? Ещё не ясно.

Ну хорошо, вот выяснили мы, что не получится. Это просто констатация факта. Что с этим делать дальше?


Ничего, но совместимость с хорошо цитируемой Форт системой (с использованием разных вариантов)
это хорошо для переноса существующих наработок
в SPF4 и из SPF4

P.S. Опыт был переноса проги из Win32Forth в SPF4 в ручном режиме.:)
Какие ещё вопросы интересны Хищнику?


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

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


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

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


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

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