mjolnir：Clojure的原生代码生成库

项目介绍

mjolnir是一个专为Clojure设计的库，用于简化原生代码的生成工作。它对于编写即时高性能代码、构建编程语言或探索不同平台上的代码性能有极大的帮助。这个库的核心是通过包装LLVM（低级虚拟机）库，提供了一套多层次的抽象接口。

注意事项

大部分近期的开发工作都集中在了datomic分支上，建议查看该分支的最新进展以获取更新示例。

技术架构

mjolnir分为以下几个层次：

1. 构造器 - 提供各种Clojure函数，可以模拟let、defn等语句。例如，你可以定义类似这样的函数：

   (c/defn square [Int64 a -> Int64]
     (c/* a a))
   

2. 表达式 - 构造器生成的Mjolnir表达式存于mjolnir.types和mjolnir.expressions中。这些表达式是Clojure记录，实现了多种协议。它们通常会被mjolnir.expressions/build编译，但大多数情况下只对mjolnir.expressions/Module调用此函数。

3. LLVMC - 表达式调用mjolnir.llvmc中的函数，这是对LLVM的各种功能的JNA封装。

4. LLVM-C - 内部，LLVM的C++ API被暴露为名为llvm-c的C库。

5. LLVM - 最底层则是LLVM库本身。

特性：defnf 宏

mjolnir支持一个强大且简单的宏defnf，其行为类似于Clojure的defn，但具有C语言的语义。例如：

(defnf fib [Int64 x -> Int64]
  (if (< x 2)
    x
    (+ (fib (- x 1))
       (fib (- x 2)))))

在宏内，代码会转换成Mjolnir构造器，然后进行类型推断。此外，结构体成员可以通过.访问，指针类型也支持IFn，调用时会创建转换操作。

支持的平台

目前 mjolnir 支持 macOS（64位）和NVIDIA PTX（在macOS上）。添加新目标平台相对简单，欢迎有兴趣的开发者尝试扩展！

使用方法

详细的使用指南尚未完成，请参考项目源码或相关文档以获取更多信息。

许可证

该项目由Timothy Baldridge于2012-2013年创作，并遵循MIT许可证。详情见许可文件。

结论

mjolnir提供了一个强大的工具集，让Clojure程序员能够深入到原生代码层面，实现高性能计算和定制化编译器。它的defnf宏以及多层次抽象机制，使得与LLVM交互变得更加简单和直观。如果你热衷于探索底层代码的魅力，或者需要提升你的Clojure应用性能，那么mjolnir绝对值得你一试！