Изначально идея была такая. Просто подключить заголовок и всё:

#include <poica.h>

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

Я знаю, что более разумным шагом было бы просто вменяемый препроцессор подключить, или вообще надмножество языка сделать со своим транслятором, но вот такой мой эксперимент изначально - всё только в рамках стандарта C11.

а как же лайфтаймы то

ага, и при этом просто так никакую либу не подключишь, тоже верифицировать надо

А саму сишку верифицировали?

Компилятор ее?

ну это конечно жостка (человек бы такое сам никогда бы не написал)

но код читабельный генерится, если что то попроще

довольно читаемо

нене, ну не в этом дело

я про то что ты сам бы код такой написал руками?

только такой и пишу

ну покажи какой нибудь проектик личный

он на то и личный, чтобы не показывать)

ну скрин сделай что ли

а переменные и вызовы можешь переименовать в котиков и собачек

Тебе это зачем?

нене;)

ну ясно :)

жоско выглядит да, а ведь можно еще и железяки верифицировать…

надеюсь у @hirrolot 'а получится  так же си код генерить и при этом писать не на си :)
ладно, я конечно борщю немного, но все же)
над f* там огого сколько работало умов
в соло бы никто не потянул