跳到正文
GitHub · 去对齐工具与仓库·· 2 小时前精选AI 评分60

Jadpo:一种主要由 LLM 编写、面向 Web 后端的静态类型实验性编程语言

richardwillars/jadpo

来源与原文

GitHub · 去对齐工具与仓库

发布时间:(北京时间)

阅读原始来源 · github.com ↗
完整链接与内容说明

https://github.com/richardwillars/jadpo

本站目前仅有 AI 导读与摘要,未展示原文正文;技术细节、代码和完整结论请查看原始来源。

AI 导读

Richard Willars 在 GitHub 发布实验性静态类型编程语言 Jadpo,主要由 LLM 编写、由人审查,面向数据型 HTTP 后端。数据、HTTP API、身份与权限、外部服务和后台任务同属一个编译器检查的应用模型,内置类型化 PostgreSQL 实体、OpenAPI 生成、事务性事件 outbox、pgvector 向量检索与 AI 调用等能力;语言有 21 个已定案的规范领域,编译器经 Rust 生成原生或 WebAssembly 部署物,项目仍处实验阶段,生产可用性未经验证。代码 Apache 2.0、文档 CC BY 4.0 授权。

推荐理由

作者把数据、权限与外部服务收进一个编译器可检查的应用模型,针对 AI 大量写代码后人难以逐行审查的问题给出了一条可复用的思路。

来源:GitHub · 去对齐工具与仓库 · github.com