Автор |
Сообщение |
|
|
Заголовок сообщения: |
|
|
|
Wlad писал(а): базе BSD лицензии, остановлюсь на gforth-е. Думаю, BSD - самая правильная лицензия, но и GPL вполне приемлема. Для маня главное, неограниченная возможность продавать исходный код. Wlad писал(а): Продухт, вроде бы зрелый и доки по нему довольно охватные.
В GForth cистема доступа к примитивам на Си в исходниках системы, давольно мудреная.
Если тебя интересуют Форт системы написанные на Си (для изучения Форта имеет значение
на чем он написан) могу рекомендовать http://pfe.sourceforge.net/ еще проще http://ag.da.ru/~kvt/relf-0.2.zip
Исхоный код форт системы - хороший пример для изучения языка на котором он написан.
В том числе, и для изучения самого Форта. Исходный код Форта на Форта представляет
собой, набор тех-же определений, которые могут бить определены в рантайме системы.
Т.о. Форт как-бы сам себя выражает. Исходный код Форта может служить в
качестве набора примеров для прикладного программирования.
[quote="Wlad"]базе BSD лицензии, остановлюсь на gforth-е.[/quote]
Думаю, BSD - самая правильная лицензия, но и GPL вполне приемлема. Для маня главное, неограниченная возможность продавать исходный код.
[quote="Wlad"]Продухт, вроде бы зрелый и доки по нему довольно охватные.[/quote]
В 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. Глаза "резко сужаются":)
[quote="Wlad"]Спасибо! ОЧЕНЬ интересно. А конкретикой со ссылками на упомянутое не порадуете голодный ум?[/quote]
А 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 во многих метаязыках) мы имеем шитый код, который можно 'абстрактно интерпретировать'. В некоторых работах по генетическому программированию используются форт-подобные представления. Я намеренно не говорю о более приземленных вещах, типа 'параметризации классов'. Для прикладного форт-программиста естественно знать методологию самых разнообразных языков программирования, и, вдумчиво и критически, применять ее на Форте.
Функциональным программированием на Форте тоже занимаются, с тех самых пор, как стало понятно, что ядро Форта можно рассматривать как функциональный язык на стековых комбинаторах.
[quote="Wlad"] Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! :) Естественно (по Дейкстре) языковые средства оказывают влияние на мышление и - всё такое... Но хочется спросить, а как ФОРТ справляется с таким вот дженерик-подходом? О гибкости ФОРТа я наслышан (да и - навиден), есть ли какие-то (хотя бы теоретические) наработки (применительное к ФОРТ-модели языков), по дженерикам и параметризации классов и алгоритмов...
[...]
Меня сильно интересант работы, типа Купмановских и Гассаненко, как по тому вопросу, что я задал в начале, так и в сторону уклонения в лоно функциональных языков...
Или тут только микроконтроллерщики и "от сохи" народ кучкуется?... И такие вопросы для него - "копченье неба" и - "теоретический онанизм"? :lol:[/quote]
По поводу "шаблонов", или того, что в теоретической информатике называется "смешанными вычислениями"(Ершов), "суперкомпиляцией"(Турчин) и тп. Трансформацией программ на Форте заниматься вполне можно. Вместо, например, s-выражений(AST во многих метаязыках) мы имеем шитый код, который можно 'абстрактно интерпретировать'. В некоторых работах по генетическому программированию используются форт-подобные представления. Я намеренно не говорю о более приземленных вещах, типа 'параметризации классов'. Для прикладного форт-программиста естественно знать методологию самых разнообразных языков программирования, и, вдумчиво и критически, применять ее на Форте.
Функциональным программированием на Форте тоже занимаются, с тех самых пор, как стало понятно, что ядро Форта можно рассматривать как функциональный язык на стековых комбинаторах.
|
|
|
|
Добавлено: Пт фев 13, 2009 00:58 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Пожалуй, если не найду больше ничего, что бы было на базе BSD лицензии, остановлюсь на gforth-е...
Продухт, вроде бы зрелый и доки по нему довольно охватные.
Про fCode и прочую OpenХХХ, так и не уразумел положения вещей... Но в поле зрения буду иметь...
Пожалуй, если не найду больше ничего, что бы было на базе BSD лицензии, остановлюсь на gforth-е...
Продухт, вроде бы зрелый и доки по нему довольно охватные.
Про fCode и прочую OpenХХХ, так и не уразумел положения вещей... Но в поле зрения буду иметь...
|
|
|
|
Добавлено: Чт фев 12, 2009 22:20 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Mihail писал(а): Вообще, унификация передачи данных по средствам стека, способствует созданию генераторов кода. А с каких пор стеку надо выделять какие-то средства, чтобы он по ним создавал генераторы кода? "По средствам" - сообразно с финансами, ресурсами. "Посредством" - с помощью, при посредничестве. Аграмматизм, в конце концов, должен иметь какие-то пределы. На wiki Kolibri ФортОС тоже какие-то средства курсору выделяет. На которые он чего-то там делает. Mihail писал(а): Термин как термин. Что значит местечковым? Термин, настоятельно и без особых оснований проталкиваемый ограниченной группой, формирующей таким нехитрым образом круг "своих". Сторонние участники вынуждены либо играть по тем же правилам и использовать те же термины, либо регулярно подвергаться обструкции. Mihail писал(а): Хищник писал(а): других языках программирования так не называется.
В каких языках есть эквивалент слова ALLOT ? (Именно как элемент языка, а не библиотечная функция). ALLOT есть в Форте и достаточно давно там распространен. Термин "кодофайл" относится к способу загрузки программы, что относится также к ведению ОС. В данном случае он выступает как морская свинка - ни к морю, ни к свиньям отношения не имеет. Первый же вопрос - а что за файл и на каком диске создает форт? Или это файл в памяти, с помощью memory file system? А как тогда организован доступ к этому файлу, и зачем оно вообще такое? Нет, ну если нравится таким нехитрым образом сепарировать людей на "своих" и "чужих", а также заставлять всех бегать к себе за терминами - пожалуйста. Но я бегать не собираюсь, а буде ко мне статья с термином "кодофайл" попадет на рецензию - буду настаивать на замене. Mihail писал(а): Хищник писал(а): подключить к себе последователей, которые должны будут "разобраться с мелочами", с которыми так и не разобрались за немалое время сами авторы.
Это о чем? Кто и с чем не может разобраться?
Да вон, насколько я видел, авторы Колибри никак не поймут свое счастье... Только надо ли оно им такое?
[quote="Mihail"]Вообще, унификация передачи данных по средствам стека, способствует созданию генераторов кода. [/quote] А с каких пор стеку надо выделять какие-то средства, чтобы он по ним создавал генераторы кода?
"По средствам" - сообразно с финансами, ресурсами. "Посредством" - с помощью, при посредничестве.
Аграмматизм, в конце концов, должен иметь какие-то пределы. На wiki Kolibri ФортОС тоже какие-то средства курсору выделяет. На которые он чего-то там делает.
[quote="Mihail"]Термин как термин. Что значит местечковым? [/quote] Термин, настоятельно и без особых оснований проталкиваемый ограниченной группой, формирующей таким нехитрым образом круг "своих". Сторонние участники вынуждены либо играть по тем же правилам и использовать те же термины, либо регулярно подвергаться обструкции. [quote="Mihail"]Хищник писал(а): других языках программирования так не называется.
В каких языках есть эквивалент слова ALLOT ? (Именно как элемент языка, а не библиотечная функция). [/quote] ALLOT есть в Форте и достаточно давно там распространен. Термин "кодофайл" относится к способу загрузки программы, что относится также к ведению ОС. В данном случае он выступает как морская свинка - ни к морю, ни к свиньям отношения не имеет. Первый же вопрос - а что за файл и на каком диске создает форт? Или это файл в памяти, с помощью memory file system? А как тогда организован доступ к этому файлу, и зачем оно вообще такое? Нет, ну если нравится таким нехитрым образом сепарировать людей на "своих" и "чужих", а также заставлять всех бегать к себе за терминами - пожалуйста. Но я бегать не собираюсь, а буде ко мне статья с термином "кодофайл" попадет на рецензию - буду настаивать на замене. [quote="Mihail"]Хищник писал(а): подключить к себе последователей, которые должны будут "разобраться с мелочами", с которыми так и не разобрались за немалое время сами авторы.
Это о чем? Кто и с чем не может разобраться?[/quote]
Да вон, насколько я видел, авторы Колибри никак не поймут свое счастье... Только надо ли оно им такое?
|
|
|
|
Добавлено: Чт фев 12, 2009 14:56 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Wlad писал(а): ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?
С какой целью?
[quote="Wlad"]ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"? [/quote]
С какой целью? :)
|
|
|
|
Добавлено: Чт фев 12, 2009 14:48 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Kopa писал(а): P.S. Для знакомства с SPF4 могу порекомендовать посмотреть разработку браузера для диплома у http://forth.org.ru/~profit \ описание довольно поддробное
Да, можно посмотреть как пример форт-схоластики и резвления под соусом "вот вам программа на языке, на котором никто не пишет, так что я буду первым".
[quote="Kopa"]P.S. Для знакомства с SPF4 могу порекомендовать посмотреть разработку браузера для диплома у http://forth.org.ru/~profit \ описание довольно поддробное [/quote]
Да, можно посмотреть как пример форт-схоластики и резвления под соусом "вот вам программа на языке, на котором никто не пишет, так что я буду первым".
|
|
|
|
Добавлено: Чт фев 12, 2009 14:47 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Хищник писал(а): Кроме того, кодофайл является местечковым термином Термин как термин. Что значит местечковым? Хищник писал(а): немногочисленной группы российских фортеров По моему подавляющее большенство фортеров пользуется этим термином. Хищник писал(а): других языках программирования так не называется. В каких языках есть эквивалент слова ALLOT ? (Именно как элемент языка, а не библиотечная функция). Хищник писал(а): подключить к себе последователей, которые должны будут "разобраться с мелочами", с которыми так и не разобрались за немалое время сами авторы.
Это о чем? Кто и с чем не может разобраться?
[quote="Хищник"]Кроме того, кодофайл является местечковым термином [/quote]
Термин как термин. Что значит местечковым?
[quote="Хищник"]немногочисленной группы российских фортеров[/quote]
По моему подавляющее большенство фортеров пользуется этим термином.
[quote="Хищник"]других языках программирования так не называется.[/quote]
В каких языках есть эквивалент слова ALLOT ? (Именно как элемент языка, а не библиотечная функция).
[quote="Хищник"]подключить к себе последователей, которые должны будут "разобраться с мелочами", с которыми так и не разобрались за немалое время сами авторы.[/quote]
Это о чем? Кто и с чем не может разобраться?
|
|
|
|
Добавлено: Чт фев 12, 2009 13:53 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Alexander писал(а): Область аппликативного програмирования под ОС общего назначения наверняка не та, где нужен ФОРТ
Опить-же в силу своей неразвитости. Вообще, унификация передачи данных по средствам
стека, способствует созданию генераторов кода.
Моя реализация http://mak.chat.ru/SINT.RAR
[quote="Alexander"]Область аппликативного програмирования под ОС общего назначения наверняка не та, где нужен ФОРТ[/quote]
Опить-же в силу своей неразвитости. Вообще, унификация передачи данных по средствам
стека, способствует созданию генераторов кода.
Моя реализация http://mak.chat.ru/SINT.RAR
|
|
|
|
Добавлено: Чт фев 12, 2009 13:38 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Wlad писал(а): И - опять же - там чисто технические конкретные применения, а меня уровень типа Купманновского интересует.
Например это: http://dec.bournemouth.ac.uk/forth/jfar/papers.html
на местном форуме в разделе ссылки есть n-ое количество отправных точек,
и в других ветках форума тоже.
P.S. Изучайте существующие материалы и делитесь своими впечатлениями:)
[quote="Wlad"]И - опять же - там чисто технические конкретные применения, а меня уровень типа Купманновского интересует.[/quote]
Например это: http://dec.bournemouth.ac.uk/forth/jfar/papers.html
на местном форуме в разделе ссылки есть n-ое количество отправных точек,
и в других ветках форума тоже.
P.S. Изучайте существующие материалы и делитесь своими впечатлениями:)
|
|
|
|
Добавлено: Чт фев 12, 2009 13:11 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Wlad писал(а): Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! Не надо все обобщать, чревато последсвтиями... Приятно же осозновать что объекты разные, ну если у них одинаковые глаголы, так их зашифровать одним и тем же смещением от начала структуры - так мыслится Wlad писал(а): ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?
По этому поводу много интересно на сайти фирмы Forth, Inc
А так, ФОРТ имеет применение в микроконтроллерах, даже робототехнику творят на нем.
Область аппликативного програмирования под ОС общего назначения наверняка не та, где нужен ФОРТ
[quote="Wlad"]Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! [/quote] Не надо все обобщать, чревато последсвтиями... :)) Приятно же осозновать что объекты разные, ну если у них одинаковые глаголы, так их зашифровать одним и тем же смещением от начала структуры - так мыслится [quote="Wlad"]ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"? [/quote]
По этому поводу много интересно на сайти фирмы Forth, Inc
А так, ФОРТ имеет применение в микроконтроллерах, даже робототехнику творят на нем.
Область аппликативного програмирования под ОС общего назначения наверняка не та, где нужен ФОРТ
|
|
|
|
Добавлено: Чт фев 12, 2009 12:55 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Kopa писал(а): Прежде чем обобщать желательно решить задачу частным образом:) В двух словах не ответить... Спорное утверждение. Kopa писал(а): А если, например, взять NASA? ( это засчитывается? )
Если Вы имеете оту самую знаменитую страничку с табличкой, то она что-то давненько не обновлялась......
И - опять же - там чисто технические конкретные применения, а меня уровень типа Купманновского интересует.
[quote="Kopa"]Прежде чем обобщать желательно решить задачу частным образом:)[/quote] В двух словах не ответить... Спорное утверждение. [quote="Kopa"]А если, например, взять NASA? ( это засчитывается? )[/quote]
Если Вы имеете оту самую знаменитую страничку с табличкой, то она что-то давненько не обновлялась......
И - опять же - там чисто технические конкретные применения, а меня уровень типа Купманновского интересует.
|
|
|
|
Добавлено: Чт фев 12, 2009 12:38 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Wlad писал(а): Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! А чем создание DSL на Форте плохо для обобщения? Прежде чем обобщать желательно решить задачу частным образом:) Wlad писал(а): ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?
А если, например, взять NASA? ( это засчитывается? )
[quote="Wlad"]Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! :)[/quote]
А чем создание DSL на Форте плохо для обобщения? Прежде чем обобщать желательно решить задачу частным образом:)
[quote="Wlad"]ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"? [/quote]
А если, например, взять NASA? ( это засчитывается? )
|
|
|
|
Добавлено: Чт фев 12, 2009 12:29 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
А вот ещё вопрос - опять же начального характера...
Фукать не надо. Я прекрасно понимаю, что у людей уже сложился "рабочий уклад" и направленность задач и мышления...
Но - всё же...
Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать!
Естественно (по Дейкстре) языковые средства оказывают влияние на мышление и - всё такое...
Но хочется спросить, а как ФОРТ справляется с таким вот дженерик-подходом? О гибкости ФОРТа я наслышан (да и - навиден), есть ли какие-то (хотя бы теоретические) наработки (применительное к ФОРТ-модели языков), по дженерикам и параметризации классов и алгоритмов...
Оно конечно, затронутая тема подпадает под вопросы типизации (и ея ужесточённой проверки), а в ФОРТе в принципе типы и классы "отсутсвуют как класс" (всё по той же причины абсолютной гибкости свободы...)
Но - "хотелось бы знать", однако...
ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?
Меня сильно интересант работы, типа Купмановских и Гассаненко, как по тому вопросу, что я задал в начале, так и в сторону уклонения в лоно функциональных языков...
Или тут только микроконтроллерщики и "от сохи" народ кучкуется?... И такие вопросы для него - "копченье неба" и - "теоретический онанизм"?
А вот ещё вопрос - опять же начального характера...
Фукать не надо. Я прекрасно понимаю, что у людей уже сложился "рабочий уклад" и направленность задач и мышления...
Но - всё же...
Вот, скажем, работал я на С++ или С#. Некоторым образом "прикипел" к шаблонам и темплейтам. Ну нравится мне максимально обобщать! :)
Естественно (по Дейкстре) языковые средства оказывают влияние на мышление и - всё такое...
Но хочется спросить, а как ФОРТ справляется с таким вот дженерик-подходом? О гибкости ФОРТа я наслышан (да и - навиден), есть ли какие-то (хотя бы теоретические) наработки (применительное к ФОРТ-модели языков), по дженерикам и параметризации классов и алгоритмов...
Оно конечно, затронутая тема подпадает под вопросы типизации (и ея ужесточённой проверки), а в ФОРТе в принципе типы и классы "отсутсвуют как класс" (всё по той же причины абсолютной гибкости свободы...)
Но - "хотелось бы знать", однако...
ЕЩё такой вопрос: ФОРТ где-то в Высшей Школе или исследовательских учреждениях (не обязательно на территории бывСССР) применяется, как "нструмент"?
Меня сильно интересант работы, типа Купмановских и Гассаненко, как по тому вопросу, что я задал в начале, так и в сторону уклонения в лоно функциональных языков...
Или тут только микроконтроллерщики и "от сохи" народ кучкуется?... И такие вопросы для него - "копченье неба" и - "теоретический онанизм"? :lol:
|
|
|
|
Добавлено: Чт фев 12, 2009 12:10 |
|
|
|
|