BLisp
BLisp is a statically typed Lisp like programming language which adopts effect system for no_std environments. BLisp supports higher order RPC like higher order functions of functional programming languages.
This repository provides only a library crate. Please see blisp-repl to use BLisp, and baremetalisp which is a toy OS.
Homepage is here.
Features
- Algebraic data type
- Generics
- Hindley–Milner based type inference
- Effect system to separate side effects from pure functions
- Big integer
- Supporting no_std environments
How to Use
use blisp;
If Rust compiler or linker says warning of fmod, please add fmod manually as follows.
extern "C"
Cargo.toml
[]
= "0.3.4"
Examples
"Hello, World!" ; string
; 48
; 12
; 803
; (Some 1)
; '(2 3)
; '(16 18 20)
; 45
; '(9 8 7 6 5 4 3 2 1)
; '(2 4 6 8)
Version History
0.3.5
- add string type and literal
- String
- "Hello World!"
- make equal function generics
- it can be used for non-integer types
- (= "Hello" "Hello")
- (= (Some 1) (Some 2))
- fix a bug on typing
- (= (Some 1) (Some 2)) could not be typed properly
0.3.4
- fix bugs on typing
- bug 1: some locally defined functions are cannot be called
- bug 2: empty list cannot be typed properly
- add filter and reverse functions to prelude
0.3.3
- add hexadecimal, octal, and binary
- 0xabcDEF
- 0o777
- 0b1010
0.3.2
- add pow to compute exponent
- example: (pow 10 20)
- type of pow: (Pure (-> (Int Int) (Option Int)))
- if the exponent portion is greater or equal to 2^32, then return None
- add sqrt
- example: (sqrt 16)
- type of sqrt: (Pure (-> (Int) (Option Int)))
- if the value is less than 0, then return None
- add bitwise operations
- band, bor, bxor
0.3.1
- garbage collection is ready (mark and sweep)