только Си, только хардкор. К тому же у вас не так много памяти на кристалле, чтобы впустую тратить ее на лажи транслятора. Пишите сразу на Си.

Сделай свой DSL. Серьезно.

оно действительно летает?

Дваждую вопрос.

Смотря какой эмбеддед. А то в наши дни уже и 32-битный процессор с защищённой моделью и 128мб памяти эмбеддедом зовут.

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

Форт? не?

http://fprog.ru/2009/issue2/dmitry-zuikov-one-compiler-story/

http://leepike.github.com/Copilot/

Colorforth [/thread]

Зато память можно тратить на лажи Си.

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

Разумеется :) Но я не о хаскеле и не о лиспе сейчас.

мда, это я видимо туплю)

Посмотри на Copilot. У них, робот тоже был летающий ;)

Летает

Оно летает, но не так как хотелось бы, да и батареи пока не хватает. Над стабильностью полета я еще веду исследования.

http://www.st.com/internet/evalboard/product/252419.jsp

32 битный ARM cortexM4, вроде еще к эмбеду относится, или я что-то не так понимаю? не FPGA конечно...

Его как раз и видел, в качестве транслятора. Но вот нет доверия..)

Форт не знаю, выбор между C, Lisp или Haskell другой язык учить не хочу, много времени и так уходит на робота..

или это шутка юмора?

Эт хорошо, но если я сейчас еще компилятор сяду писать, то разработка затянется на несколько лет, не связанная с роботом. Хотя примитивный компилятор я писал на 3-ем курсе, типа для своего языка..но это все универская ересь..

Но вот нет доверия..)

Если нет доверия, то наверное тебе хаскель не очень подойдет. В силу специфики кодогенерации GHC, его невозможно использовать в качестве макрошаблонов машинного кода, как тот же лисп или даже C++.

быть может erlang-embedded...

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

also http://www.cs.cmu.edu/~ecc/ocaml-cross-compiler.html

Нет опыта, просто эти языки (на мой взгляд) более подходят для встраиваемых систем.

Вот это интересно. Я думаю тогда прийдется все-таки писать какие-то тест кейсы на всех языках и тестить на железе, эх..

Да, мне эта тема так же интересна. Поэтому если что получится пиши тут или мне )

Посмотри на picolisp

Современный язык, встроенный пролог и база данных, гибкая система классов, простое подлючение С-кода и все это ~250K

32 битный ARM cortexM4, вроде еще к эмбеду относится, или я что-то не так понимаю? не FPGA конечно...

ARMv7, ClozureCL пойдёт.

Только хачкель! Или Go..

http://concatenative.org/wiki/view/Concatenative language
Преимущество в том, что легко сделать свой DSL.
Ничто не мешает использовать несколько ЯП.
И да, го весьма приятный и простой язык, и на данный момент ещё и достаточно быстрый (хотя про ARM не в курсе).

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

конкатенационные языки или сцепляющие/склеивающие языки, как правильно?

чего только программистская душа не придумает. &)

Конкатенативные языки. Ещё их называют стековыми, но языки, отличные от форта не обязательно это реализовывают именно в виде стека, factor, например, совсем не против сделать свои хитрые оптимизации.

Кстати, насчёт форта...
http://retroforth.org/

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

Но таки да, изучать это дело придётся.

erlang? для встраивания? разве что есть толковая VM для него, которая сможет работать на голом контроллере.

Подведу итог, напишу синтетические тесты с несколькими рекурсивными фильтрами аля Калмана, алгоритмами из ML на С, LISP(ECL, CCL), Haskell(Copilot), OCaml. Все последовательно затестю на ARM-ке.

Если какой-то из ФЯП покажет скорость в пределах 85-95% от С (де-факто будет самый быстрый), то перейду на него, и займусь допиливанием компилятора/транслятора.

Нашел наработки из 90-х по real-time GC в embedded, но я им не доверяю =)

Всем спасибо за примеры, узнал для себя несколько интересных вещей. Если интересно отпишусь потом по результатам.

real-time GC в embedded

А можно поподробнее? интересна тема.

http://www.csie.ntu.edu.tw/~d6526009/papers/TECS.pdf

вот, я не вникал, вскользь просмотрел..