А вот бы на FORTH написать..., ;-) Опции

[ukpyr]

АЦП Запустить
BEGIN
Подождать
АЦП ?Готово
UNTIL
АЦП Считать
Температуру Вычислить

дык и в современных компиляторах С можно использовать Unicode - идентификаторы, нет ?

а по DSL - есть более продвинутые языки, основанные на Форте :
http://www.bluishcoder.co.nz/2008/04/factor-parsing-dsl.html
http://www.bluishcoder.co.nz/2008/06/parsi...ith-factor.html

[Kopa]

Форт обладает хорошими возможностями для упрощения построения таких языков.
Хотя, я бы еще поспорил, где проще.

." Hello World "

Куда уж проще
Или минимальный код выводящий себя в консоль на Форте

Код

  SOURCE TYPE

Вот, например, обожаемый в современном функциональном программировании Хаскель
...

Не менее любимая Scheme используется в проекте Staapl
для компилирования Форт программ для PIC18

Код

Staapl is a collection of abstractions for (meta)programming
microcontrollers from within PLT Scheme. The core of the system is a
programmable code generator structured around a functional
concatenative macro language. On top of this it includes a syntax
frontend for creating Forth-style languages, a backend code generator
for Microchip's PIC18 microcontroller architecture, and interaction
tools for shortening the edit-compile-test cycle.

P.S. Просто примеры. Получается сам Форт в этом случае DSL?

[Rst7]

Куда уж проще

Не совсем понятно, к чему это. Я пример привел в том смысле, что реализация DSL на Хаскеле возможна вообще на этапе компиляции, не то что в рантайме (в рантайме любой лох при помощи yacc/lexx за три часа езыг сляпает ). В примере в качестве DSL выступает Бейсик

Получается сам Форт в этом случае DSL?

Почему бы и нет.

Предметно-ориентированный язык программирования (англ. domain-specific programming language, domain-specific language, DSL) — язык программирования, специально разработанный для решения определённого круга задач, в отличие от языков программирования общего назначения...

В рамках Forth языка всегда существовала, но не всегда использовалась возможность создания DSL языков.

[Kopa]

Не совсем понятно, к чему это. Я пример привел в том смысле, что реализация DSL на Хаскеле возможна вообще на этапе компиляции, не то что в рантайме (

Наверное и я не понял.
В Форте на этапе трансляции кода или после уже созданного exe
Можно подгружать необходимые DSL расширения.

а по DSL - есть более продвинутые языки, основанные на Форте :
http://www.bluishcoder.co.nz/2008/04/factor-parsing-dsl.html
http://www.bluishcoder.co.nz/2008/06/parsi...ith-factor.html

Если интересна тема BNF парсинга на Форте
одна из реализаций

P.S. Приводить ссылки в данном топике возможно мало смысла?
т.к. много ссылок по Форт тематике можно найти просматривая
Русский Форт Форум
Пока до понедельника

Сообщение отредактировал Kopa - May 29 2009, 11:16

[MrYuran]

Начал я таки колупать КэмелФорт.
Тяжело даётся асм изнеженному сями организму!
Попутно рождаются вопросы.

Например, как символически обозначить регистры, биты и прочие константы?
которые обычно назначаются дефайнами и подставляются препроцессором?

Думаю, константами назначить.

Эх, прям руки чешутся быстрее что-нибудь сварганить...
А у меня как назло все железки без иллюминации и спецэффектов, тупая измериловка.
Ну хоть через терминал пообщаться.



Ну чё, в первом приближении что-то заработало!


Копаем дальше...

Кстати, я передумал. Регистры, наверно, правильнее переменными задавать.
Щас подумаю ещё немного и попробую ногами помахать.

[Kopa]

Ну хоть через терминал пообщаться.

Ну чё, в первом приближении что-то заработало!

Поздравляю с первыми результатами!

Копаем дальше...

Кстати, я передумал. Регистры, наверно, правильнее переменными задавать.
Щас подумаю ещё немного и попробую ногами помахать.

В реализации Форта на родном трансляторе ассемблера есть некоторые
"несуразности" ( высокоуровневый код представлен через директивы данных
для формирования адресных ссылок )
Возможно придётся использовать небольшой генератор кода при этом.


Если есть в реализации поддержка режима самопрограммирования или
bootloader-а, то тоже неплохо.

P.S. Начал тоже небольшие раскопки "трупика" Форта для MSP:) ( Рассматриваю возможные варианты).
Да, для регистров это наверное правильно.

Сообщение отредактировал Kopa - Jun 4 2009, 03:32

[chu]

Ну чё, в первом приближении что-то заработало!

Поздравляю! Кстати, камень - MSP430F1611 ?

[MrYuran]

Да, впечатлений на целый вечер хватило.
С помощью цепочки дупов, ротов и какой-то матери через час таки реализовал сишные конструкции
P1OUT |= mask;
и P1OUT &= ~mask;
и таки махнул ногой туда-обратно!

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

Ещё очень нужен инлайн-ассемблер.
Буду копать пока в этом направлении.
Книжку вот доделываю, черновой вариант почти готов (7 глав, осталось 8-ю и эпилог). Думаю, выложить лучше на ФТП. Правда, за инет надо сначала заплатить, всё не соберусь никак. А на работе сисадмин все "лишние" порты позакрывал.

Разобрался, как товарищ Джей Родригес предлагает проводить целевую компиляцию:
There are TWO WAYS to write programs in CamelForth:

1. If you have CamelForth running on your MSP430 board, you can download Forth code directly to CamelForth. ...

Ну это понятно, как я вчера делал. В терминале набивал буковки, потом ждал "ок". По умолчанию компилирует в ОЗУ. Хорошо для тестирования, флешь зазря не трёт.

2. You can add your code to the assembler source files. This requires you to convert your Forth code to assembler code. To show how this is done, every high-level Forth word in the file is shown with its equivalent Forth code in a comment. Be especially careful with control structures (IF..ELSE..THEN, BEGIN..UNTIL, DO..LOOP, and the like), and with the Forth word headers. For this option it is recommended that you create a new .s43 assembler file, and INCLUDE it at the end of core430.s43. This is necessary to preserve the dictionary linking between your new definitions and the kernel definitions. Reassemble core430.s43, and download to the MSP430 board, then test. This is a much slower process, and is best saved for the final stage when you have a tested & debugged program that you want to put in PROM.

А вот это поинтереснее. Предлагается переписать фортовый исходник в виде ассемблерных макросов (весьма близко к исходному тексту), а затем скомпилировать ИАРом. В этом случае наверняка и оптимизация выполняется, выкидываются неиспользованные слова.
Можно ещё подумать над тем, как выкидывать из конечной прошивки названия слов. (Если не предусматривается возможность интерактивной работы с конечным кодом)

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

Поздравляю! Кстати, камень - MSP430F1611 ?

Нет, 149.
Но это без разницы, ибо

System Requirements
As distributed, CamelForth/430 will assemble to run on the New Micros Tini430 board, which uses the MSP430F1611 processor. It assumes an 8 MHz crystal for XT2, and USART0 at 9600 baud (8,N,1) for terminal I/O.

CamelForth should be usable with any MSP430 device having at least 512 bytes of RAM, 8K of ROM, and one USART.

CamelForth/430 is written to be assembled with the IAR Systems MSP430 Workbench "Kickstart", which can be downloaded from the TI web page.

Кварц у меня тоже не 8М, а 2.
Пришлось поменять коэффициент деления для контроллера флеши (кстати, неправильно, я его в 2 раза понизил, а надо в 4), и обмен вместо 9600 на 2400.

[chu]

Да, впечатлений на целый вечер хватило.

Есть еще SwiftX MSP430 от Forth, inc. Весьма любопытная ( и удобная система ) Pro версия стоит $1095,
Evaluation - бесплатна, но ограничена по обьему кода, и не имеет исходников кросс-компилера...
Рекомендую ознакомиться. http://www.forth.com/embedded/index.html

[Kopa]

Да, впечатлений на целый вечер хватило.
С помощью цепочки дупов, ротов и какой-то матери через час таки реализовал сишные конструкции
P1OUT |= mask;
и P1OUT &= ~mask;
и таки махнул ногой туда-обратно!

Но это, конечно, от незнания основ.

Это могло выглядеть например так:

Код

mask P1OUT OR!
mask INVERT P1OUT AND!

или даже так как написано в Си коде

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

Если необходимо продублировать 2-а верхних значения то слово 2DUP
Часто используемый приём в Форте перенос верхнего значения стека данных
на стек возвратов >R и использование через R@
а убирание для последнего использования R>

Если есть поддержка локальных переменных, то используется они при сложных случаях.

Ещё очень нужен инлайн-ассемблер.
Буду копать пока в этом направлении.

Да необходим, чтобы использовать максимально возможности контроллера

Книжку вот доделываю, черновой вариант почти готов (7 глав, осталось 8-ю и эпилог). Думаю, выложить лучше на ФТП. Правда, за инет надо сначала заплатить, всё не соберусь никак. А на работе сисадмин все "лишние" порты позакрывал.

А если выложить где и расположен исходный материал ( на sf )

Разобрался, как товарищ Джей Родригес предлагает проводить целевую компиляцию:
А вот это поинтереснее. Предлагается переписать фортовый исходник в виде ассемблерных макросов (весьма близко к исходному тексту), а затем скомпилировать ИАРом. В этом случае наверняка и оптимизация выполняется, выкидываются неиспользованные слова.

Наверное, но соптимизировать сам Форт код IAR, скорее всего, не сможет.
( если разработчикам IAR не подсказать, как их компилятор могут и используют для Форт программирования
в GCC, возможно есть изменения в этом направлении, т.к. gforth показывает неплохие результаты при
benchmark тестировании.)

Можно ещё подумать над тем, как выкидывать из конечной прошивки названия слов. (Если не предусматривается возможность интерактивной работы с конечным кодом)

В данном варианте, скорее всего, используя возможности макро языка ассемблера MSP.

Сегодня попробую замерить скорость "ногодрыгания" при использовании стандартных средств.

Скорее всего не так быстро, если в реализации нет, например, макро-оптимизатора.

Вообще, пока главное преимущество форта вижу в потенциальной возможности "впихать невпихуемое". (при правильном подходе )

Действительно - это неплохо сформулировано в книге Ноздрунова,Баранова .

и обмен вместо 9600 на 2400.

В tinyboot комфортная скорость терминального канала ~38400

[MrYuran]

А если выложить где и расположен исходный материал ( на sf )

Да не, туда в таком виде как-то стрёмно...
Вот если бы также оформить, как там, тогда уж...
Но это в обозримом будущем вряд ли...

[Kopa]

Есть еще SwiftX MSP430 от Forth, inc. Весьма любопытная ( и удобная система ) Pro версия стоит $1095,
Evaluation - бесплатна, но ограничена по обьему кода, и не имеет исходников кросс-компилера...
Рекомендую ознакомиться. http://www.forth.com/embedded/index.html

Evaluation запускал, у SwiftX, в сравнении с VFX ( от MPE ) не такой хороший оптимизатор.
( если это критично )
стоимость VFX для MSP430 ( price list 384.65 / 777.15$ ) .

P.S. Но, как вариант, тоже можно рассматривать и использовать.

Да не, туда в таком виде как-то стрёмно...
Вот если бы также оформить, как там, тогда уж...
Но это в обозримом будущем вряд ли...

Один из вариантов использовать ресурс хранения на forth.org.ru

P.S. Неполное дерево видовой эволюции Форт систем
Русского spf4 на этом дереве нет

Сообщение отредактировал Kopa - Jun 4 2009, 08:15

[MrYuran]

Сейчас вот вырисовывается туманная перспектива колупания в ассемблерной прошивке старья на атмеловском AT89F8252...

Если всё-таки придётся, (очень надеюсь, что нет) наверно попробую тинибут применить... Хотя бы в качестве макроассемблера

[Kopa]

Сейчас вот вырисовывается туманная перспектива колупания в ассемблерной прошивке старья на атмеловском AT89F8252...

Если всё-таки придётся, (очень надеюсь, что нет) наверно попробую тинибут применить... Хотя бы в качестве макроассемблера

Для 51, кроме других, есть интересные варианты быстрого использования из недавних ( сделаны на spf4 )
1. исходный вариант
2. другое продолжение подхода выше

[MrYuran]

Вопрос пока не до конца понятный с прерываниями.
Насколько я понимаю, прерывание нужно организовать отдельным словом, а вектор кинуть на начало кодовой секции слова.
И вот тут как-то при входе и выходе нужно сохранять и восстанавливать контекст (насколько я понимаю, либо те регистры, которые мы портим, либо для простоты и надёжности все).
Как бы это дело оптимизировать.
То есть сохранять именно те регистры, которые мы собираемся испортить.
Или просто ограничить использование общих регистров в базовых словах и сохранять их все?