OberonCore

Ну как бы есть .NET Compact Framework, .NET Micro Framework.
Программу на F# можно скомпилировать под .NET Compact Framework и, соответственно, запустить на встраиваемом контроллере на базе таких процессоров, как ARM, например. Правда, под Windows CE/Mobile.

Эдак и на java можно. Встраиваемость обычно означает не столько доступный объем ресурсов (хотя иногда он и ограничен), сколько высокие требования к надежности, часто реалтайм, иногда жесткий реалтайм, и требование к длительной автономной работе, а также это означает почти всегда узкую специализацию устройства-ПО (что, в общем то, облегчает жизнь).

Тогда встаёт вопрос, а какие вообще компиляторы кроме сей есть для этой платформы, есть ли вообще выбор?

Для какой платформы? При чем тут компиляторы вообще? Ничего не понял.

А по моим сведениям, встраиваемые системы не обязаны быть РТ. И наоборот - РТ не обязано являться частью встраиваемой системы.

Для той платформы, на которой работает AVC. Что у него за микроконтроллеры? Какие у него там есть компиляторы вообще?
Как я понимаю, контроллер самодельный, и кроме самописного компилятора С выбора больше вообще нет...

Я сказал часто, но не всегда.
А кстати, где реалтайм нужен кроме как встраиваемых системах?

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

Ну, всякая мультимедиа и коммуникации - мягкий, но реалтайм.

Коммуникации это очень часто именно что встраиваемые системы. Узкоспециализированные системы.

Мультимедия всякая -- тоже часто.

То что это как-то работает на PC, не исключает этого факта Собственно работает оно на PC в основном за счет того, что там многократный запас по мощности.

Ближе всего к реалтайму на PC это пожалуй игры.

А Boost.Units library?

Я ж сказал в ЯП а не в библиотеке
Boost.Units lib смотрится переусложненный уродцем по сравнению с тем что F#. Если в F# я могу это начать применять через пять минут просле начала чтения главы спецификации спеки языка и экспериментов в repl, несмотря на то, что F# для меня не является "родным" языком, то с boost units lib мне, по всей видимости, придется потратить как минимум полчаса или час на то, чтобы научиться конструировать свои размерности и задавать связи между ними, несмотря на то, что С++ для меня таки родной язык. По кр. мере сейчас за пять минут листания доки я не успел понять как же мне создать свои единицы измерения и сказать компилятору что C = B*A/F.

В F# работа с размерностями проста и естественна. Минимум траты времени на инструмент, максимум на собственно задачу.

А если говорить о реализации единиц измерения/размерностей в либах, то у меня ощущение что мне лично существенно проще было бы использовать это: Dimensional -- Statically checked physical dimensions for Haskell.. Если что, то вот тут и примеры есть.

PS. И это несмотря на то, что Haskell для меня пока также "иностранный" язык.
PPS. Если лень лезть в спеку по языку F#, можно ознакомиться с поддержкой единиц измерения например тут: http://blogs.msdn.com/andrewkennedy/arc ... units.aspx

Всё верно: свой проц (RISC, 2 ядра), ассемблер и Си, другие языки доступны через промежуточную компиляцию (в т.ч. Оберон, с помощью oo2c).

Моё высказывание вышло резким (чего я не хотел).
Я имел в виду, что времени мало, имеет смысл рекомендовать только языки, содержащие оригинальные концепции и принципиальные новшества (желательно с кратким пояснением).
Из попавшейся мне инфы по F#, я сделал вывод (возможно, неверный), что это .NET-версия OCaml, причём с неполной совместимостью.

.NET (в моём случае) не имеет отношения к "встроенке" (у нас используются ассемблер и Си).

Только если эта программа не использует неподдерживаемые фичи Окамла.