19 августа 2019 · КомментарийБез заголовкаpotan · Оригинал в ЖЖ ↗ · Ссылка на записьТипы в теории типов и программировании определяются наборами операций, которые к ним применимы. В онтологиях классы определяются свойствами объектов. Немного разный подход.