Типы Будут

Долго пришлось думать насчёт системы типов, в итоге решил сделать шаг в бесконечность и хотя бы что-то реализовать. Получилось странно, сначала пришлось добавить ТИП как встроенный тип данных, затем добавить АТОМ как идентификатор-значение, затем расширить АТОМ до структурированного значения из идентификаторов и констант (тут пригодился язык разметки o.t. имени меня), и только потом я дошёл до этапа описания пользовательского типа. В итоге пользовательский тип данных это интерпретируемое в compile-time и run-time значение структурного атома.

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

Будем посмотреть.