BLisp

BLisp是一种为无std环境采用的效应系统的静态类型Lisp样编程语言。BLisp支持类似函数式编程语言高阶函数的高阶RPC。

此仓库仅提供库crate。请参阅 blisp-repl 以使用BLisp，以及 baremetalisp，这是一个玩具操作系统。

主页 在这里。

特性

• 代数数据类型
• 泛型
• 基于Hindley–Milner的类型推断
• 效应系统以分离副作用和纯函数
• 大整数
• 支持无std环境

如何使用

use blisp;

fn main() {
    let code = "(export factorial (n) (Pure (-> (Int) Int))
    (if (<= n 0)
        1
        (* n (factorial (- n 1)))))";
    let exprs = blisp::init(code, vec![]).unwrap();
    let ctx = blisp::typing(exprs).unwrap();

    let e = "(factorial 10)";
    blisp::eval(e, &ctx).unwrap();
}

如果Rust编译器或链接器提示fmod警告，请手动添加fmod，如下所示。

#[no_mangle]
extern "C" fn fmod(x: f64, y: f64) -> f64 {
    libm::fmod(x, y)
}

Cargo.toml

[dependencies.blisp]
version = "0.4"

示例

"Hello, World!" ; "Hello, World!"
(+ 0x10 0x20)   ; 48
(+ 0b111 0b101) ; 12
(+ 0o777 0o444) ; 803
(car '(1 2 3))  ; (Some 1)
(cdr '(1 2 3))  ; '(2 3)
(map (lambda (x) (* x 2)) '(8 9 10)) ; '(16 18 20)
(fold + 0 '(1 2 3 4 5 6 7 8 9))      ; 45
(reverse '(1 2 3 4 5 6 7 8 9))       ; '(9 8 7 6 5 4 3 2 1)
(filter (lambda (x) (= (% x 2) 0)) '(1 2 3 4 5 6 7 8 9)) ; '(2 4 6 8)