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

...
Google Search
Forth-FAQ Spy Grafic

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




Ответить
Имя пользователя:
Заголовок:
Текст сообщения:
Введите текст вашего сообщения. Длина сообщения в символах не более: 60000

Размер шрифта:
Цвет шрифта
Настройки:
BBCode ВКЛЮЧЕН
[img] ВЫКЛЮЧЕН
[flash] ВЫКЛЮЧЕН
[url] ВКЛЮЧЕН
Смайлики ВЫКЛЮЧЕНЫ
Отключить в этом сообщении BBCode
Не преобразовывать адреса URL в ссылки
Вопрос
Теперь гостю придется вводить здесь пароль. Не от своей учетной записи, а ПАРОЛЬ ДЛЯ ГОСТЯ, получить который можно после регистрации на форуме через ЛС.:
Этот вопрос предназначен для выявления и предотвращения автоматических регистраций.
   

Обзор темы - Глаза разбежались!...
Автор Сообщение
  Заголовок сообщения:   Ответить с цитатой
Wlad писал(а):
базе BSD лицензии, остановлюсь на gforth-е.


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

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


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

Исхоный код форт системы - хороший пример для изучения языка на котором он написан.
В том числе, и для изучения самого Форта. Исходный код Форта на Форта представляет
собой, набор тех-же определений, которые могут бить определены в рантайме системы.
Т.о. Форт как-бы сам себя выражает. Исходный код Форта может служить в
качестве набора примеров для прикладного программирования.
Сообщение Добавлено: Пт фев 13, 2009 13: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. Глаза "резко сужаются":)
Сообщение Добавлено: Пт фев 13, 2009 08:43
  Заголовок сообщения:   Ответить с цитатой
Спасибо! ОЧЕНЬ интересно.
А конкретикой со ссылками на упомянутое не порадуете голодный ум?
Сообщение Добавлено: Пт фев 13, 2009 01:13
  Заголовок сообщения:   Ответить с цитатой
Wlad писал(а):
Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! :)
Естественно (по Дейкстре) языковые средства оказывают влияние на мышление и - всё такое...
Но хочется спросить, а как ФОРТ справляется с таким вот дженерик-подходом? О гибкости ФОРТа я наслышан (да и - навиден), есть ли какие-то (хотя бы теоретические) наработки (применительное к ФОРТ-модели языков), по дженерикам и параметризации классов и алгоритмов...

[...]

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

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


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

Функциональным программированием на Форте тоже занимаются, с тех самых пор, как стало понятно, что ядро Форта можно рассматривать как функциональный язык на стековых комбинаторах.
Сообщение Добавлено: Пт фев 13, 2009 00:58
  Заголовок сообщения:   Ответить с цитатой
Пожалуй, если не найду больше ничего, что бы было на базе BSD лицензии, остановлюсь на gforth-е...
Продухт, вроде бы зрелый и доки по нему довольно охватные.
Про fCode и прочую OpenХХХ, так и не уразумел положения вещей... Но в поле зрения буду иметь...
Сообщение Добавлено: Чт фев 12, 2009 22:20
  Заголовок сообщения:   Ответить с цитатой
Mihail писал(а):
Вообще, унификация передачи данных по средствам
стека, способствует созданию генераторов кода.

А с каких пор стеку надо выделять какие-то средства, чтобы он по ним создавал генераторы кода?

"По средствам" - сообразно с финансами, ресурсами.
"Посредством" - с помощью, при посредничестве.

Аграмматизм, в конце концов, должен иметь какие-то пределы. На wiki Kolibri ФортОС тоже какие-то средства курсору выделяет. На которые он чего-то там делает.

Mihail писал(а):
Термин как термин. Что значит местечковым?

Термин, настоятельно и без особых оснований проталкиваемый ограниченной группой, формирующей таким нехитрым образом круг "своих". Сторонние участники вынуждены либо играть по тем же правилам и использовать те же термины, либо регулярно подвергаться обструкции.
Mihail писал(а):
Хищник писал(а):
других языках программирования так не называется.

В каких языках есть эквивалент слова ALLOT ?
(Именно как элемент языка, а не библиотечная функция).

ALLOT есть в Форте и достаточно давно там распространен. Термин "кодофайл" относится к способу загрузки программы, что относится также к ведению ОС. В данном случае он выступает как морская свинка - ни к морю, ни к свиньям отношения не имеет. Первый же вопрос - а что за файл и на каком диске создает форт? Или это файл в памяти, с помощью memory file system? А как тогда организован доступ к этому файлу, и зачем оно вообще такое? Нет, ну если нравится таким нехитрым образом сепарировать людей на "своих" и "чужих", а также заставлять всех бегать к себе за терминами - пожалуйста. Но я бегать не собираюсь, а буде ко мне статья с термином "кодофайл" попадет на рецензию - буду настаивать на замене.
Mihail писал(а):
Хищник писал(а):
подключить к себе последователей, которые должны будут "разобраться с мелочами", с которыми так и не разобрались за немалое время сами авторы.

Это о чем? Кто и с чем не может разобраться?

Да вон, насколько я видел, авторы Колибри никак не поймут свое счастье... Только надо ли оно им такое?
Сообщение Добавлено: Чт фев 12, 2009 14:56
  Заголовок сообщения:   Ответить с цитатой
Wlad писал(а):
ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?

С какой целью? :)
Сообщение Добавлено: Чт фев 12, 2009 14:48
  Заголовок сообщения:   Ответить с цитатой
Kopa писал(а):
P.S. Для знакомства с SPF4 могу порекомендовать посмотреть
разработку браузера для диплома у http://forth.org.ru/~profit
\ описание довольно поддробное

Да, можно посмотреть как пример форт-схоластики и резвления под соусом "вот вам программа на языке, на котором никто не пишет, так что я буду первым".
Сообщение Добавлено: Чт фев 12, 2009 14:47
  Заголовок сообщения:   Ответить с цитатой
Хищник писал(а):
Кроме того, кодофайл является местечковым термином


Термин как термин. Что значит местечковым?

Хищник писал(а):
немногочисленной группы российских фортеров


По моему подавляющее большенство фортеров пользуется этим термином.

Хищник писал(а):
других языках программирования так не называется.


В каких языках есть эквивалент слова ALLOT ?
(Именно как элемент языка, а не библиотечная функция).

Хищник писал(а):
подключить к себе последователей, которые должны будут "разобраться с мелочами", с которыми так и не разобрались за немалое время сами авторы.


Это о чем? Кто и с чем не может разобраться?
Сообщение Добавлено: Чт фев 12, 2009 13:53
  Заголовок сообщения:   Ответить с цитатой
Alexander писал(а):
Область аппликативного програмирования под ОС общего назначения наверняка не та, где нужен ФОРТ


Опить-же в силу своей неразвитости. Вообще, унификация передачи данных по средствам
стека, способствует созданию генераторов кода.
Моя реализация http://mak.chat.ru/SINT.RAR
Сообщение Добавлено: Чт фев 12, 2009 13:38
  Заголовок сообщения:   Ответить с цитатой
Wlad писал(а):
И - опять же - там чисто технические конкретные применения, а меня уровень типа Купманновского интересует.


Например это: http://dec.bournemouth.ac.uk/forth/jfar/papers.html
на местном форуме в разделе ссылки есть n-ое количество отправных точек,
и в других ветках форума тоже.

P.S. Изучайте существующие материалы и делитесь своими впечатлениями:)
Сообщение Добавлено: Чт фев 12, 2009 13:11
  Заголовок сообщения:   Ответить с цитатой
Wlad писал(а):
Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать!

Не надо все обобщать, чревато последсвтиями... :))
Приятно же осозновать что объекты разные, ну если у них одинаковые глаголы, так их зашифровать одним и тем же смещением от начала структуры - так мыслится
Wlad писал(а):
ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?

По этому поводу много интересно на сайти фирмы Forth, Inc
А так, ФОРТ имеет применение в микроконтроллерах, даже робототехнику творят на нем.
Область аппликативного програмирования под ОС общего назначения наверняка не та, где нужен ФОРТ
Сообщение Добавлено: Чт фев 12, 2009 12:55
  Заголовок сообщения:   Ответить с цитатой
Kopa писал(а):
Прежде чем обобщать желательно решить задачу частным образом:)

В двух словах не ответить... Спорное утверждение.
Kopa писал(а):
А если, например, взять NASA? ( это засчитывается? )

Если Вы имеете оту самую знаменитую страничку с табличкой, то она что-то давненько не обновлялась......
И - опять же - там чисто технические конкретные применения, а меня уровень типа Купманновского интересует.
Сообщение Добавлено: Чт фев 12, 2009 12:38
  Заголовок сообщения:   Ответить с цитатой
Wlad писал(а):
Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! :)


А чем создание DSL на Форте плохо для обобщения?
Прежде чем обобщать желательно решить задачу частным образом:)

Wlad писал(а):
ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?


А если, например, взять NASA? ( это засчитывается? )
Сообщение Добавлено: Чт фев 12, 2009 12:29
  Заголовок сообщения:   Ответить с цитатой
А вот ещё вопрос - опять же начального характера...
Фукать не надо. Я прекрасно понимаю, что у людей уже сложился "рабочий уклад" и направленность задач и мышления...
Но - всё же...

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

Оно конечно, затронутая тема подпадает под вопросы типизации (и ея ужесточённой проверки), а в ФОРТе в принципе типы и классы "отсутсвуют как класс" (всё по той же причины абсолютной гибкости свободы...)

Но - "хотелось бы знать", однако...


ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?
Меня сильно интересант работы, типа Купмановских и Гассаненко, как по тому вопросу, что я задал в начале, так и в сторону уклонения в лоно функциональных языков...

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

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


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