Forth http://fforum.winglion.ru/ |
|
Глаза разбежались!... http://fforum.winglion.ru/viewtopic.php?f=18&t=1945 |
Страница 4 из 4 |
Автор: | true-grue [ Пт фев 13, 2009 00:58 ] |
Заголовок сообщения: | |
Wlad писал(а): Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! :)
Естественно (по Дейкстре) языковые средства оказывают влияние на мышление и - всё такое... Но хочется спросить, а как ФОРТ справляется с таким вот дженерик-подходом? О гибкости ФОРТа я наслышан (да и - навиден), есть ли какие-то (хотя бы теоретические) наработки (применительное к ФОРТ-модели языков), по дженерикам и параметризации классов и алгоритмов... [...] Меня сильно интересант работы, типа Купмановских и Гассаненко, как по тому вопросу, что я задал в начале, так и в сторону уклонения в лоно функциональных языков... Или тут только микроконтроллерщики и "от сохи" народ кучкуется?... И такие вопросы для него - "копченье неба" и - "теоретический онанизм"? :lol: По поводу "шаблонов", или того, что в теоретической информатике называется "смешанными вычислениями"(Ершов), "суперкомпиляцией"(Турчин) и тп. Трансформацией программ на Форте заниматься вполне можно. Вместо, например, s-выражений(AST во многих метаязыках) мы имеем шитый код, который можно 'абстрактно интерпретировать'. В некоторых работах по генетическому программированию используются форт-подобные представления. Я намеренно не говорю о более приземленных вещах, типа 'параметризации классов'. Для прикладного форт-программиста естественно знать методологию самых разнообразных языков программирования, и, вдумчиво и критически, применять ее на Форте. Функциональным программированием на Форте тоже занимаются, с тех самых пор, как стало понятно, что ядро Форта можно рассматривать как функциональный язык на стековых комбинаторах. |
Автор: | Wlad [ Пт фев 13, 2009 01:13 ] |
Заголовок сообщения: | |
Спасибо! ОЧЕНЬ интересно. А конкретикой со ссылками на упомянутое не порадуете голодный ум? |
Автор: | Kopa [ Пт фев 13, 2009 08:43 ] |
Заголовок сообщения: | |
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. Глаза "резко сужаются":) |
Автор: | Mihail [ Пт фев 13, 2009 13:43 ] |
Заголовок сообщения: | |
Wlad писал(а): базе BSD лицензии, остановлюсь на gforth-е. Думаю, BSD - самая правильная лицензия, но и GPL вполне приемлема. Для маня главное, неограниченная возможность продавать исходный код. Wlad писал(а): Продухт, вроде бы зрелый и доки по нему довольно охватные.
В GForth cистема доступа к примитивам на Си в исходниках системы, давольно мудреная. Если тебя интересуют Форт системы написанные на Си (для изучения Форта имеет значение на чем он написан) могу рекомендовать http://pfe.sourceforge.net/ еще проще http://ag.da.ru/~kvt/relf-0.2.zip Исхоный код форт системы - хороший пример для изучения языка на котором он написан. В том числе, и для изучения самого Форта. Исходный код Форта на Форта представляет собой, набор тех-же определений, которые могут бить определены в рантайме системы. Т.о. Форт как-бы сам себя выражает. Исходный код Форта может служить в качестве набора примеров для прикладного программирования. |
Страница 4 из 4 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |