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

...
Google Search
Forth-FAQ Spy Grafic

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




Начать новую тему Ответить на тему  [ Сообщений: 49 ]  На страницу Пред.  1, 2, 3, 4
Автор Сообщение
 Заголовок сообщения:
СообщениеДобавлено: Пт фев 13, 2009 00:58 
Не в сети

Зарегистрирован: Пн ноя 05, 2007 13:54
Сообщения: 144
Благодарил (а): 0 раз.
Поблагодарили: 13 раз.
Wlad писал(а):
Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! :)
Естественно (по Дейкстре) языковые средства оказывают влияние на мышление и - всё такое...
Но хочется спросить, а как ФОРТ справляется с таким вот дженерик-подходом? О гибкости ФОРТа я наслышан (да и - навиден), есть ли какие-то (хотя бы теоретические) наработки (применительное к ФОРТ-модели языков), по дженерикам и параметризации классов и алгоритмов...

[...]

Меня сильно интересант работы, типа Купмановских и Гассаненко, как по тому вопросу, что я задал в начале, так и в сторону уклонения в лоно функциональных языков...

Или тут только микроконтроллерщики и "от сохи" народ кучкуется?... И такие вопросы для него - "копченье неба" и - "теоретический онанизм"? :lol:


По поводу "шаблонов", или того, что в теоретической информатике называется "смешанными вычислениями"(Ершов), "суперкомпиляцией"(Турчин) и тп. Трансформацией программ на Форте заниматься вполне можно. Вместо, например, s-выражений(AST во многих метаязыках) мы имеем шитый код, который можно 'абстрактно интерпретировать'. В некоторых работах по генетическому программированию используются форт-подобные представления. Я намеренно не говорю о более приземленных вещах, типа 'параметризации классов'. Для прикладного форт-программиста естественно знать методологию самых разнообразных языков программирования, и, вдумчиво и критически, применять ее на Форте.

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


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

Зарегистрирован: Чт апр 26, 2007 21:09
Сообщения: 303
Благодарил (а): 12 раз.
Поблагодарили: 10 раз.
Спасибо! ОЧЕНЬ интересно.
А конкретикой со ссылками на упомянутое не порадуете голодный ум?


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пт фев 13, 2009 08:43 
Не в сети
Moderator
Moderator

Зарегистрирован: Ср май 10, 2006 15:37
Сообщения: 1132
Откуда: Chelyabinsk ( Ural)
Благодарил (а): 0 раз.
Поблагодарили: 9 раз.
Wlad писал(а):
Спасибо! ОЧЕНЬ интересно.
А конкретикой со ссылками на упомянутое не порадуете голодный ум?


А i-net и google для чего?
Вводите "Forth for functional programming" и
находите функциональные стековые языки CAT, Joy, Factor ... и статьи по данной
тематике.
и для примера какие то презентации из NASA:)
http://www.flightsoftware.org/files/FSW07_Harris.pdf ( "Functional Programming in Space" )
\ особо ничего интересного , но презентаций на сайте красивых достаточно.

P.S. Глаза "резко сужаются":)


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

Зарегистрирован: Ср май 03, 2006 11:27
Сообщения: 1394
Откуда: St.Petersburg
Благодарил (а): 2 раз.
Поблагодарили: 11 раз.
Wlad писал(а):
базе BSD лицензии, остановлюсь на gforth-е.


Думаю, BSD - самая правильная лицензия, но и GPL вполне приемлема.
Для маня главное, неограниченная возможность продавать исходный код.

Wlad писал(а):
Продухт, вроде бы зрелый и доки по нему довольно охватные.


В GForth cистема доступа к примитивам на Си в исходниках системы, давольно мудреная.
Если тебя интересуют Форт системы написанные на Си (для изучения Форта имеет значение
на чем он написан) могу рекомендовать http://pfe.sourceforge.net/ еще проще http://ag.da.ru/~kvt/relf-0.2.zip

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


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

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


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

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


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

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