Ой, можно же, получается, написать liblaisi на laisi-m, а не на C, ведь laisi-m это, по сути своей, замена C. Тут есть беззнаковые целые числа, но их размер ограничен ОЗУ платформы, а не 4 типа, есть знаковые целые числа, но их размер тоже ограничен ОЗУ платформы, а не 4 типа, есть тип, у которого частные — IEEE754 (надеюсь, по крайней мере поля совпадают) half, single, double, quadruple, octuple, brain half, 80-битные интеловские числа. Нет heap, а proc — обычные машинные функции, которые нельзя изменить в процессе исполнения (в laisi (без "-m") функции можно присвоить значение другой функции или добавить ещё функцию и реализация рабочая, там просто в LLVM-коде тип funcbundle.X, который содержит указатели на функцию X типа).
Но я сейчас очень сильно занят другим проектом, который программирую и который сам не программируется, не смотря на то, что мои действия стали рутиной и я по сути Си-макака, которая не думает об архитектуре изначально (это сложно), а добавляет код по мере прихода и исправляет имеющийся.
Может выкрою немного времени и сутки станут 24:50 минут и смогу на досуге попрограммировать icolaisi или liblaisi пописать или в библиотеку math добавить ифдефы для laisi-m.