gluon 0.18.2

A static, type inferred programming language for application embedding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

let { List } = import! std.list
let { Map } = import! std.map
let { Option } = import! std.option
let { Result } = import! std.result

let { Eff } = import! std.effect
let { State } = import! std.effect.state
let { Error } = import! std.effect.error

rec
type Expr =
    | Atom String
    | Int Int
    | Float Float
    | List (List Expr)
    | Function Function
    | Primitive (forall r . List Expr -> Eff (LispEffect r) Expr)
type Function = {
    params : List String,
    vararg : Option String,
    body : List Expr,
    closure : Map String Expr
}
type LispState = Map String Expr
type LispEffect r a = [| error : Error String, state : State LispState | r |] a
in

{ Expr, Function, LispState, LispEffect }