Introduction to Jock

Jock is a subject-oriented statically-typed functional programming language which compiles to Nock and can run on any Nock VM (currently Zorp's Sword and Urbit's Vere runtimes). It inherits many conventions from Urbit's Hoon language, and its reference parser and compiler are written in Hoon.

Jock is developed by Zorp Corp and is currently in pre-alpha development.

Here are some short programs in Jock:

// Demonstrate a conditional statement.

let a: @ = 3;

if a == 3 {
  72
} else if a == 5 {
  17
} else {
  15
}

// Create a decrement function, the long way around.

let dec = (a:@  -> @) {
  let b = 0;
  loop;
  if a == +(b) {
    b
  } else {
    b = +(b);
    recur
  }
};

dec(5)

// Demonstrate a loop.

let a: @ = 5;
let b: @ = 0;
loop;
if a == +(b) {
  b
} else {
  b = +(b);
  $
}