metaclass | (no subject)

(no subject)

Аааа, в моих интернетах не все преклоняются перед Хаскелем!:

потом товарищ уволится, или его наконец уволят, сей говнокод выкинут к ебеней матери и вменяемый программист перепишет обычным scanf'ом за пару часов, и спокойно пойдет на обед. код будет работать на порядки быстрее и занимать меньше будет, любой другой программист поймет и сможет поддерживать.
к чему вся эта рекурсивная самоебля?

Flat | Top-Level Comments Only

О, в официальном faq'е:
Rule of thumb: if the embedded system can run an operating system like linux, then it is probably possible to get current implementations of Erlang running on it with a reasonable amount of effort. Getting Erlang to run on, say, an 8 bit CPU with 32kByte of RAM is not feasible. People successfully run the Ericsson implementation of Erlang on systems with as little as 16MByte of RAM. It is reasonably straightforward to fit Erlang itself into 2MByte of persistant storage (e.g. a flash disk).

А. Ну это малоинтересно.
Вот что-то подобное для 8-биток было бы реально интересно.

Но зачем?

Зачем нужны восьмибитки?
Ну, малоногое маложручее иногда таки нужно.

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

Ну тут либо шашечки, либо ехать. Либо велосипедить очередную копию кусков линупса, либо писать код, делающий дело.

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

то есть, когда вам понадобится что-то по сложности подобное сервомашинке, вы к ней сбоку прилепите платку два на два дюйма с кортексом, а не сантиметровую с тинькой? :)

по-моему мелкая хрень всегда где-нибудь нужна будет

потому всё время появляется какая-то мелкая поебень где надо крутится с памятью и прочим

И это тоже.
как пример - тупые весы. или RC-метр.
Одной ногой заряжаем конденсатор, второй разряжаем, третьей выкидываем результат в компорт. Итого занято пять ног. Ну шесть, если хотим каких-то хитростей. Ставить ради такой задачи plcc-48 или какой-то bga будет несколько избыточно.

хм, STM32 вроде по размерам меньше attiny.

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

странно, но и среды разработки кеил и прочая есть и с gcc
нативный гсс тоже нормально кодит.

А, впрочем в soic корпусе attiny меньше.

Ну во-первых, речь шла о "такого рода инфраструктуре". Было дело, что и тиньку 25 ставили, хотя потом и пожалели, что помощнее не поставили. Во-вторых, кортекс и на сантиметровую платку встанет - см. lpc1111.

это который бга? Сколько слоёв понадобится развести и паяется ли такое на полуколенке?

Нет, он не бга. TSSOP-20 (пока правда нет в продаже) или HVQFN-33 - обычный, выводной, квадратный.

Эрланговая не пойдет, но похожую я сделал. С потоками и инкрементальным GC.

С какими именно потоками? Легковесными как в эрланге? Расскажите поподробнее плиз.

Легкие потоки + инкрементальный gc. Основное это gc конечно. Собственно, это не столько vm, сколько рантайм к компилируемому языку но можно и использовать как часть vm, привернув интерпретатор байткодов.

Хип иммутабельный, устроен примерно так: http://dmzz.me/post/10875973009/unidirectinal-heap

GC точный, инкрементальный, пакующий, стоимость сборки + компактификации в худшем случае примерно квадратичная, зато оверхед по памяти не более чем одно слово на блок. Выделение памяти строго O(1).

Стек или другая дополнительная память для сборки мусора не требуется.

Язык бесстековый, на каждый поток выделяется памяти примерно вот столько:

typedef struct __task {
    struct __task *next;
    hopc_ar *arhead;
    hcell regs[HOPCREGNUM];
    hopc_task_id id;
    hregmask mask;
    htime_t tsleep;
    htime_t tsleep_since;
} hopc_task;

т.е 22 слова. вероятно, task_id можно будет потом выкинуть. компилятор оптимизирующий, с выделением регистров, например замыкания пытается размыкать и преобразовывать в jmp если это возможно, само собой хвостовая рекурсия ну и т.п, все что положено. Типизация статическая, вывод типов, etc. Компилируется в Си для что бы проще было стыковать с имеющимся кодом + оптимизатор си достаточно эффективно дооптимизирует на низком уровне.

У вас хостинг сдох.

Это не у меня, это тубмлр. Оживет.

А какие мысли по поводу трансплантирования VM эрланга? Хотелось бы всё-таки использовать наработанную инфраструктуру, а не переписывать всё на свой язык.

Очень жирная и сомневаюсь что эту инфраструктуру практично использовать на микроконтроллерах.

Потом, если кому-то не влом, всегда можно попробовать написать эрланговый фронтенд.

Flat | Top-Level Comments Only