First program

Start with a small Surf function, format it, check it, then ask the compiler to show the canonical Deep form.

Create app.ch:

Surf

def relu_then_softmax(x: tensor[n, f32]) -> tensor[n, f32] =
  x |> relu |> softmax(0)

Then run:

chelis fmt --inplace app.ch
chelis check app.ch
chelis deep app.ch > app.dp
chelis surf app.dp

check, deep, and surf are useful together: Surf stays readable for humans, while Deep is the stable machine form that shell tooling can inspect.

Deep

(defsig {}
  relu_then_softmax
  (t-fn {}
    (t-tensor {} (d-name {} n) (t-prim {} f32))
    (t-tensor {} (d-name {} n) (t-prim {} f32))))

(def {}
  relu_then_softmax
  (fn {}
    (params {} (x {type: (t-tensor {} (d-name {} n) (t-prim {} f32))}))
    (pipe {}
      (var {} x)
      (var {} relu)
      (app {} (var {} softmax) (lit {type: (t-prim {} int32)} 0)))))

Useful commands

Check a program:

chelis check app.ch

Print canonical Deep:

chelis deep app.ch

Convert Deep back to Surf:

chelis surf app.dp

Build source artifacts without invoking a native compiler:

chelis build app.ch --target c --output out/