Various Working Theories

I think the grand unifying idea behind Ki is "scope", manifested in functions. Functions define the scope:

  • this scope requires this input
  • this scope will build this output

You could maybe even think of a function as a with block:

with (a: int, b: int) {
  echo("{{a + b}}")

Or, you could think of a with block as a function, just with a healthy dose of polymorphism:

fn add(a: int, b: int): (int) {
  return(a + b)

fn main() {
  with (res: add(1, 2)) {

Regardless, it's all scope.