categorical-databases

标签

#categorical-databases

CQL：范畴数据库

Hacker News Top ↗ · 2026-05-30 缓存

CQL是一个开源工具，利用范畴论执行数据库操作，如查询、迁移和集成数据，并通过定理证明提供内置的正确性保证。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈