Show HN: Nimic – 用纯 Python 编写系统级语言，支持 AOT 编译

背景

在系统级编程领域，C 和 Rust 长期以来占据主导地位，因为它们提供了对内存和硬件的直接控制以及极高的运行性能。然而，Python 作为一门动态语言，虽然拥有庞大的生态系统和极高的开发效率，但在性能敏感的场景下往往力不从心。尽管有 Cython 等工具可以将 Python 转换为 C 代码，但通常需要在 Python 语法之外引入额外的类型注解或混合语法，这增加了学习成本并破坏了代码的“纯 Python”特性。

Nimic 的出现旨在填补这一空白。它是一个纯 Python 模块，通过构建一个基于 Python 子集（领域特定语言，DSL）的框架，使得开发者能够编写支持 Ahead-Of-Time (AOT, 提前编译) 的代码。其核心愿景是：在不离开 Python 生态的前提下，获得接近 C 语言级别的执行性能。Nimic 底层基于 Python 内置的 ctypes 模块，模拟了原生类型、指针及其操作，并实现了分发（dispatch）、运算符重载和模板功能。更重要的是，Nimic 的设计紧密遵循 Nim 编程语言，其代码最终会被转译为等效的 Nim 代码。

核心内容

Nimic 的核心哲学在于：Nimic 代码既是有效的 Python 代码（可在原生 Python 环境中运行），又能被转译为等效的 Nim 代码。 这种双重语义特性是其技术架构的基石。

架构与目录结构

Nimic 的项目结构清晰地展示了其从底层内存管理到高层抽象的分层设计：

• ntypes.py：公共 API，重新导出了类型系统以及 Nim 关键字/内置函数的 Shim（垫片）。
• ntypesystem.py：核心类型系统，包含 Object、NScalar、seq（序列）、dispatch（分发）、distinct（distinct 类型）和 converter（转换器）。
• transpiler.py：基于 AST（抽象语法树）的 Python 到 Nim 源代码的转译器。
• inliner.py：负责模板函数的内联处理（@template, @template_expand）。
• ncode/：包含 Nim 定义文件（如 pydefs.nim）和 Python 标准库的 Nim 实现（pystd/）。
• nimpy/：用于生成 Python 库的 API。
• std/：为 Nim 标准库提供的 Python Shim，涵盖 math、options、os、paths、strformat 等模块。
• system/：为 Nim 系统模块提供的 Python Shim（如 ansi_c）。

关键功能模块详解

Nimic 通过重新导出 ntypesystem 并添加 Nim 关键字/内置函数的模拟，实现了以下关键功能：

1. 编译器提示（Compiler Hints）： 包括 const、let、var、block、export、alias。在 Python 运行时中，这些关键字通常是无操作（no-ops），但在转译为 Nim 时，它们具有严格的变量作用域和可变性语义。

2. 引用类型（Reference Types）： 支持 ref、ptr 以及 mut@。其中 @ 运算符在 Python 中返回恒等映射，但在 Nim 中用于处理可变引用。

3. 枚举工具（Enum Utilities）： 提供 NStrEnum，并支持 succ（后继）、pred（前驱）、ord（序数）、nrange、low（最小值）、high（最大值）等操作。

4. 类型转换与内存操作（Cast & Memory）： 支持 cast[T](x)、sizeof(x)、addr(x) 和 unsafe_addr(x)，允许开发者进行底层的内存访问和类型强制转换。

5. 类型别名（Type Aliases）： 定义了 SomeInteger、SomeFloat、untyped、char、u64、i64、f64 等类型别名，以匹配 Nim 的类型系统。

6. 迭代与编译时（Iteration & Compile-time）： 支持 fields(obj)、fields(a, b)、countdown(a, b) 等迭代操作，以及 comptime(x)、defined(varname)、static 等编译时检查功能。

7. 模板（Templates）： 通过 @template 和 @template_expand 装饰器支持模板元编程，这两个装饰器从 inliner 模块重新导出。

转译机制

Nimic 的核心转译器基于修改后的 CPython ast.py。它扩展了 _Unparser 类，使其能够生成 Nim 语法。该转译器实现了 30 多种转换规则，涵盖缩进、类型定义、函数签名、运算符、导入语句和控制流。

此外，@template 和 @template_expand 装饰器在 AST 层面执行函数内联。对于未定型（untyped）的模板，它们会将参数名替换为调用时的实际参数，从而实现零开销的抽象。

代码示例解析

Nimic 使用带有特定约定的 Python 语法，这些语法具有双重含义：在 Python 中表现为运行时行为，在转译为 Nim 时表现为转译语义。

以下是一个典型的 Nimic 代码示例，展示了结构体定义、运算符重载、Distinct 类型和多分发的用法：

from __future__ import annotations
from nimic.ntypes import *

# 结构体定义 (对应 Nim 的 object)
class Vec3(Object):
    x: float64
    y: float64
    z: float64

    def __add__(self: Vec3, v: Vec3) -> Vec3:
        """{.inline.}"""  # 提示编译器内联此函数
        result = Vec3()
        result.x = self.x + v.x
        result.y = self.y + v.y
        result.z = self.z + v.z
        return result

# Distinct 类型 (Nim 中用于创建与基础类型不同但可转换的类型)
@distinct
class Point3(Vec3):
    """{.borrow: `.`.}"""  # 借用 Vec3 的字段访问权限

# 多分发 (Multi-dispatch)
@dispatch
def point3(x: float64, y: float64, z: float64) -> Point3:
    result = Point3(Vec3())
    result.x = x; result.y = y; result.z = z
    return result

# 使用示例
with let:  # 在 Python 中无操作，在 Nim 中表示不可变变量
    a = point3(1.0, 2.0, 3.0)
    b = point3(4.0, 5.0, 6.0)
    c = Vec3(a) + Vec3(b)

在这个示例中：

• Vec3 类被定义为 Nim 的 object。
• __add__ 方法中的 """{.inline.}""" 注释被转译为 Nim 的编译器指令，要求内联该函数。
• Point3 使用 @distinct 装饰器，创建一个与 Vec3 不同但可相互转换的类型。
• point3 函数使用 @dispatch，支持基于参数类型的多分发。
• with let: 块在 Python 中不改变行为，但在转译为 Nim 后，其中的变量将变为不可变（immutable）。

关键要点

• 纯 Python 实现：Nimic 是一个纯 Python 模块，无需安装额外的编译器或复杂的构建工具链即可使用