belisarius222

|%
::  +make-diff: create a noun representing the diff from :a to :b
::
++  make-diff
  |=  [a-vase=vase b-vase=vase]
  ^-  vase
  ::
  ?>  (~(nest ut p.a-vase) | p.b-vase)
  ?>  (~(nest ut p.b-vase) | p.a-vase)
  ::

belisarius222

A noun is an atom or a cell.  An atom is a natural number.  A cell is an ordered pair of nouns.

Reduce by the first matching pattern; variables match any noun.

nock(a)             *a
[a b c]             [a [b c]]

?[a b]              0
?a                  1
+[a b]              +[a b]

belisarius222

|%
+$  op
  $@  $?  %bail  ::  error out
          %call  ::  =+  gate=pop  =+sample=pop  (gate sample)
          %cons  ::  =+  head=pop  =+  tail=pop  [head tail]
          %copy  ::  duplicate top of stack
          %done  ::  halt (successfully)
          %eval  ::  eval top of stack as schematic against next top as subject
          %numb  ::  catch error
          %swap  ::  swaps top two elements of stack

belisarius222

::  $type: a hoon type, represented in noun form
::
::    Instead of lazily evaluating the type of a hoon when compiled against a
::    subject type, use the special value %loop to recurse back up to the
::    nearest %hold.
::
+$  type
  $@  ?(%noun %void %loop)
  $%  [%atom p=term q=(unit @)]
      [%cell p=type q=type]

belisarius222

::  start with some data from the lexical subject
::
=/  a=@  2
::  a ford rune produces a +schematic:ford
::
^-  schematic:ford
::  /?  produces a %reef at that version
::
/?  310
::  /+  prepend expression into subject (like =+ for ford)

belisarius222

|%
+$  nock-func    $-(subject=* result=*)
+$  cps-formula  $-([subject=* next=nock-func] result=*)
--
|%
++  nock-to-cps
  |=  fol=nock
  ^-  cps-formula
  ::
  ?-    fol

belisarius222

=>  |%
    +$  result
      %+  each  *
      ::
      $:  blocks=(set [=term =beam])
          ::
          $=  continuation
          $-  (map [=term =beam] (unit cage))
          result
      ==

belisarius222

::  +cache-key: a key for looking up a build in the cache
::
+=  cache-key
  $:  sub-results=(list build-result)
      $%  [%$ literal=cage]
          [%alts ~]
          [%bake renderer=term query-string=coin path-to-render=rail]
          [%bunt mark=term]
          [%call ~]
          [%cast mark=term]

belisarius222

::  +cache-key: a key for looking up a build in the cache
::
+=  cache-key
  $:  sub-results=(list build-result)
      $%  [%$ literal=cage]
          [%alts ~]
          [%bake renderer=term query-string=coin path-to-render=rail]
          [%bunt mark=term]
          [%call ~]
          [%cast mark=term]

belisarius222

::  +build-status: current data for a build, including construction status
::
::    +build-status stores the construction status of a build as a finite
::    state machine (:state), and it also contains the information needed
::    to relate this build to other builds, such as clients and sub-builds.
::
+=  build-status
  $:  ::  listeners: current set of external listeners tracking this build
      ::
      listeners=(set listener)