oters_lang 0.1.8

Language definitions and interpreter for the oters programming language
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
29
30
31
32
33

type Str<A> = (A, @Str)

enum Option<T> {
  None, 
  Some T,
}

type Event<A> = Str<Option<A>>

let map = fn f xs ->
  match xs with { 
    x << xs => !#f x << @(map f !@xs),
  }

let scan = fn f #acc as ->
  match as with {
    a << as => {
      let acc' = !#f acc a;
      acc' << @(scan f acc' !@as)
    }
  }

let switch = fn xs es -> 
  match (xs, es) with {
    (x << xs, e << es) => match e with {
      None => x << @(switch !@xs !@es),
      Some (a << as) => a << @(switch !@as !@es)
    }
  }

let const = fn #x -> x << @(const x)

let twos = map #(fn x -> x + 1) (const 1)