Функциональщина и ARM

binfmt + qemu-static + armhf chroot

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

разверни смысл для глупого?

«Возьми да проверь».

Правда, я такого ФЯП не знаю.

бутстрапишь armhf базовую систему и необходимые пакеты, ставишь qemu-static и binfmt-support (или как оно там). в binfmt регается обработчик qemu-arm-static для ELF под armhf. в результате ты можешь чрутнуться в полноценное armhf окружение и обсобираться чем угодно не прибегая к кросскомпиляции.

раньше этот механизм использовался в maemo sdk (т.н. sbox ЕМНИП)

Какие технологичные костыли. Ну да ладно, в таком случае перефразирую вопрос - что из функциональных языков за исключением CL умеет работать на ARM архитектуре?

aboriginal linux, есть такое

У OCaml есть специальные патчи компилятора. По заверением всё работает, но я не проверял

Ну да ладно, в таком случае перефразирую вопрос - что из функциональных языков за исключением CL умеет работать на ARM архитектуре?

все? посмотри ж в armhf репу дебиана например.

посмотри здесь. ajhc, наверное, самое интересное, что есть под ARM для Haskell

http://leepike.github.io/Copilot/

http://armpit.sourceforge.net/

В GHC HEAD вполне рабочая кросскомпиляция.

Haskell с LLVM- или C-бэкендами.

Но функциональщина вообще-то не нужна. Забудь.

Смысл в том, что кросскомпиляция не нужна.

У OCaml есть специальные патчи компилятора.

Не умеет еще как следует в hf. По той же причине проблемы со всеми языками, работающими поверх mono (f# и тому подобными).

Кстати, а для powerpc такой метод кто-нибудь пробовал/использует?

Не умеет еще как следует в hf. 

hf?

В GHC HEAD вполне рабочая кросскомпиляция

попробую на досуге, спасибо

Ой вэй! ARM устройства уже научились себя бутстрапить нормально?

hard float

Пробовал. Работает.

Пробовал. Работает.

Многонитевые программы гонял? У меня юзерспейсный qemu для PowerPC (_не_ qemu-system) не умел их пускать.

С эмбеддед мамкиного борща не нахлебаешь, поэтому там функциональщиков нет.