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

#include <poica.h>

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

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

Большая работа конечно. И как вариант для появления нужных типов в С рассматриваешь трансляцию из Идриса? Могу кстати универ порекомендовать, в котором есть хорошее направление затрагивающее формальные методы. Может быть заинтересует 🙂

> И как вариант для появления нужных типов в С рассматриваешь трансляцию из Идриса?

Да, чтобы слои макросов уметь хотя бы подчинить себе.

> Могу кстати универ порекомендовать, в котором есть хорошее направление затрагивающее формальные методы. Может быть заинтересует 🙂

Да, это интересно

не используйте моношрифт для цитат

звиняйте, не хотел никого задеть 🙂 Так лучше?

Спасибо

а ктото может на пальцах обьяснить как работают формальные методы? чтобы я такой ох вау

ты кстати про универ думал? С твоими способностями надо не хуже мфти что-нибудь

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

Ну и всё. доказываешь утверждение (исходя из аксиом которые перепроверены 100 раз), значит эквивалентная этому утверждению программа корректна всегда