Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Пт мар 29, 2024 00:22

...
Google Search
Forth-FAQ Spy Grafic

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




Начать новую тему Ответить на тему  [ Сообщений: 79 ]  На страницу Пред.  1, 2, 3, 4, 5, 6  След.
Автор Сообщение
 Заголовок сообщения:
СообщениеДобавлено: Пн апр 09, 2007 17:58 
Не в сети

Зарегистрирован: Ср май 03, 2006 11:27
Сообщения: 1394
Откуда: St.Petersburg
Благодарил (а): 2 раз.
Поблагодарили: 11 раз.
chess писал(а):
В словарях установленного дистрибутива СПФ нет средств облегчающих написание синт-го разбора, да и в прилагаемых библиотеках их крайне мало.


Фортом вообще, мало кто занимается.

Цитата:

Mihail писал(а):
Что за схемы? Типы данных?

Ну, например, про матрицы я же сказал:


Проще всего использовать конвертер в польскую запись
http://fforum.winglion.ru/viewtopic.php ... ight=#5662
При подаче полученной строки на вход EVALUATE открыть
соответствующий словарь.
Для полноценной реализации типов, следует завести
стек типов, а операции поставить в зависимость от этого стека.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пн апр 09, 2007 22:01 
Не в сети

Зарегистрирован: Чт май 04, 2006 18:18
Сообщения: 456
Благодарил (а): 0 раз.
Поблагодарили: 1 раз.
chess писал(а):
Ну, например, про матрицы я же сказал:
[...]
MT3=MT1*MT2-MT1

Я использую приведённый infix.f с таким изменением - словарь в котором ищутся операции - параметр слова _INF_
Вот например код для адаптации инфиксного разбора к вещественным числам -
Код:
MODULE: _FLOAT_INT_OP
ALSO _INF_MOD

5 ' F= #2-OP =
6 ' F< #2-OP <   6 :NONAME F< 0= ; #2-OP >
7 ' F+ #2-OP +   7 ' F- #2-OP -
8 ' F* #2-OP *   8 ' F/ #2-OP /

' FCOS #1-OP cos
' FSIN #1-OP sin

PREVIOUS
;MODULE

: _FINF_ [WID] _FLOAT_INT_OP INFIX ;

_FINF_ { 1e + 2e * 3e - cos( 0e ) } F.

6.0000000  Ok

Очевидно код для матриц будет выглядеть аналогично.

_________________
http://forth.org.ru/~ygrek


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вт апр 10, 2007 08:31 
Не в сети
Аватара пользователя

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

Ну да - скорее всего это так, но все-таки я по этой теме с Михаилом по большому счету согласен, когда он говорит:
Mihail писал(а):
Фортом вообще, мало кто занимается.

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вт апр 10, 2007 10:28 
Не в сети

Зарегистрирован: Ср май 03, 2006 11:27
Сообщения: 1394
Откуда: St.Petersburg
Благодарил (а): 2 раз.
Поблагодарили: 11 раз.
Ошибочка
yGREK писал(а):
Код:
  6 :NONAME F< 0= ; #2-OP >



Правильнее:
Код:
  6 :NONAME F< 0= ; #2-OP >=
  6 :NONAME FSWAP F< ; #2-OP >


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вт апр 10, 2007 16:12 
Не в сети

Зарегистрирован: Чт май 04, 2006 18:18
Сообщения: 456
Благодарил (а): 0 раз.
Поблагодарили: 1 раз.
Точно.
Только зачем там сравенения вообще сложно понятно - просто на автомате вписал :)

_________________
http://forth.org.ru/~ygrek


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср апр 11, 2007 00:07 
Не в сети
Аватара пользователя

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

Форт все-таки обходится без всякой грамматики(если такое и называется нулевой грамматикой, то не будет-ли проще вспомнить Оккама и перестать связывать Форт с ней - кстати, толку от этого связывания все равно нет).

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср апр 11, 2007 00:27 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
chess писал(а):
Форт все-таки обходится без всякой грамматики


Стрижено-брито.... :?


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср апр 11, 2007 05:12 
Не в сети
Аватара пользователя

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

Подход к формальной грамматике, основанный на фразовой структуре(грамматика типа 0), либо структуре зависимостей(грамматики типа 1-3), хотя и общепринят, далеко не единственно возможный.
В последные годы ряд исследователей ([Hausser], [Milward], [Kempson], [Tugwell]) независимо друг от друга предложили альтернативное построение формальной грамматики, моделируя синтаксис в виде пословного накопления семантической информации. Можно сказать, цитируя [Hausser], что это динамическое представление синтаксиса основано на "возможных продолжениях" какой-то последовательности слов, по сравнению с "возможными заменами" слов составляющих эту последовательность.
Этот подход получил название динамической грамматики.
По-моему этот подход точнее соответствует Форту как языку программирования.

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср апр 11, 2007 19:42 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Получается сферический конь в вакууме. Распознавание текста Фортом сводится к однозначной идентификации исполнимого адреса по выделяемому токену. Динамических процессов там не наблюдается.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср апр 11, 2007 22:07 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
Хищник писал(а):
Распознавание текста Фортом сводится к однозначной идентификации исполнимого адреса по выделяемому токену. Динамических процессов там не наблюдается.

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

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср апр 11, 2007 23:02 
Не в сети
Аватара пользователя

Зарегистрирован: Вт мар 20, 2007 23:39
Сообщения: 1261
Благодарил (а): 3 раз.
Поблагодарили: 19 раз.
chess писал(а):
постепенно уступает место более эффективному - контекстно-ресурсному, по природе своей именно динамическому.

А нельзя ли об этом по-подробнее?

_________________
Cтоимость сопровождения программного обеспечения пропорциональна квадрату творческих способностей программиста.
Роберт Д. Блисc


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср апр 11, 2007 23:19 
Не в сети
Administrator
Administrator
Аватара пользователя

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


Это будет другой язык. К тому же я не понимаю термин "контекстно-ресурсный". Контекст поиска - вещь прозрачная. Транслятор как-то сопоставляет токен с адресом. Он может это делать с помощью контекстных словарей, а может путем божественного откровения или запуска генератора случайных чисел. Факта перехода "токен - адрес" это не меняет.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт апр 12, 2007 11:23 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
Хищник писал(а):
Это будет другой язык.

Язык будет тот же(Форт) - тексты программ не меняются, и программы решают те же задачи. Представление работы программы программистом тоже не меняется. Меняется транслятор в части способа разбора текста и кодогенерации на основе результатов этого разбора.
Хищник писал(а):
К тому же я не понимаю термин "контекстно-ресурсный".

В данном контексте это и необязательно. Главное понять, что новый способ разбора текста приводит к повышению качества выходного продукта(например, повышает быстродействие выходного кода и/или уменьшает его объем).

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт апр 12, 2007 19:16 
Не в сети
Administrator
Administrator
Аватара пользователя

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт апр 12, 2007 20:09 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
Хищник писал(а):
Пока что все это выглядит как лозунги.

Ну вот - разговор зашел таки в конструктивное русло. 8)

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


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

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


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

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


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

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