SPy: 一个解释器和编译器，用于Python的静态类型变体
摘要
SPy是Python的一个静态类型变体，既包含用于快速开发的解释器，也包含用于高性能的编译器，旨在保留Python的动态特性同时实现静态编译。
查看缓存全文
缓存时间: 2026/05/23 06:42
SPy
相似文章
ProSPy：面向企业文本到SQL的剖析驱动的SQL-Python智能体框架
ProSPy 是一个面向企业文本到 SQL 的剖析驱动型 SQL-Python 智能体框架，将推理过程结构化分为四个阶段：自动剖析、模式剪枝、方言无关的 SQL 接口以及基于 Python 的分析。在使用 Claude-4.5-Opus 模型时，它在 Spider 2.0-Lite 和 Spider 2.0-Snow 数据集上分别达到了 60.15% 和 60.51% 的执行准确率，优于多个强基线模型。
Spy‑code：面向AI智能体的本地代码库图谱（欢迎反馈）
Spy-code 是一款开源工具，利用 tree-sitter 构建本地代码库图谱，提取函数、类和引用关系，为 AI 编码智能体提供代码库的结构化地图，目前支持 Rust、Python、TypeScript/JS 和 Go。
Spectre 编程语言
Spectre 是一种用于安全、基于合约的低级系统编程的新编程语言，默认强制不可变性，并支持编译时/运行时合约检查。它通过 QBE IR 编译，并包含将 C 代码转换为 Spectre 的功能。
如何构建高性能动态语言解释器
本文是一篇深度技术分析，详细阐述了如何针对动态类型语言 Zef 优化基于抽象语法树（AST）遍历的解释器。通过改进值的内部表示、引入内联缓存、优化对象模型及其他多项加速技术，最终实现了 16 倍的运行速度提升，使 Zef 的性能达到了可与 Lua、QuickJS 和 CPython 相媲美的高水准。
AgentSPEX：一种智能体规范与执行语言
AgentSPEX 提出了一种领域专用语言，用于构建模块化、可解释的大模型智能体工作流，具备显式控制流、状态管理与可视化编辑器，性能优于现有 Python 耦合框架。