This site has been deprecated. Go to docs.urbit.org.
Urbit DevelopersBlog

The Nested Core Design Pattern (As Seen Through `++abet`)

Explaining the nested core design pattern in Hoon apps.

November 18, 2022

The Nested Core Design Pattern (As Seen Through ++abet)

The core is one of the key elements of Urbit's subject-oriented programming paradigm. As a way of organizing code and data in a homoiconic language, the core pattern allows Hoon developers to encapsulate processes and lexically scope code while relying on a well-structured fundament. Simple core patterns like gates and traps have only one arm in their battery and possibly no sample at all (for a trap). More complex core patterns (such as the |^ barket core and doors) can consist of inner cores and outer cores, as well as stacking samples (such as for a gate in a door). This pattern can telescope beyond doors, however, into the nested core pattern. In this article, we examine the nested core pattern through its most common instantiation, the ++abet pattern.

The basic nested core pattern uses an auxiliary core to manage building state changes. As a core contains [battery payload], code and data, we can recursively place cores into the payload of a core. By carefully maintaining encapsulated state (i.e. state that doesn't leak, state that is enclosed by its core), we can build a pattern of stacked cores that maintain their own mutable state locally. That is, the inner core becomes a sort of “scripting language” for the outer core, wherein local mutable state is finalized and propagated back to the outer core using the ++abet arm. Even a gate in a core is actually a stacked core in this sense: it stacks a sample and $ arm onto the core stack which formed its subject.

By convention, an ++abed arm (if any) provides initialization and an ++abet arm finalizes the changes and hands back the mutated state. A number of other semi-standard arms are employed to manage particular state changes. Core arms are conventionally prefixed with two letters because engine patterns can nest inside of each other.

Thus, a very simple engine core could look like this (from New Groups):

++ ca-core
|_ [=flag:c =chat:c gone=_|]
++ ca-core .
++ ca-abet
%_ cor
chats
?:(gone (~(del by chats) flag) (~(put by chats) flag chat))
==
++ ca-abed
|= f=flag:c
ca-core(flag f, chat (~(got by chats) f))
:: * * *
--

In this instance, ++ca-core is a handle to the door for self-reference (thus a particular chat), ++ca-abed is an initializer (which here retrieves the door's sample etc.), and ++ca-abet is used to delete or insert a map element in chat. cor is an alias for a helper core containing ++ca-core—here it is used to simplify the Gall agent's internal logic. flag is a tag for a particular chat.

An instance of using the code could look like this:

=/  chat-core  (ca-abed:ca-core p.action)
?:  =(p.p.action our.bowl)
ca-abet:(ca-update:chat-core q.action)
ca-abet:(ca-proxy:chat-core q.action)

This code employs the ++abet engine arm to handle cards. The engine core accumulates cards (like a cursor focused on a particular aspect of an action), then yields them all at once for evaluation.

Nested Cores

Once you are comfortable thinking in terms of cores and doors, the nested core pattern is a natural evolution to a more abstract and powerful viewpoint. Just as a door generalizes certain aspects of a gate to a more general usage, the nested core pattern serves to generalize the door by effectively providing a higher-level script for operations.

Cores can be nested inside of each other to manage state changes concisely. An inner core can act like a higher-level script or domain-specific language for the outer core it serves.

One of the challenges of teaching the nested core pattern for the first time is that it's a design pattern, not a particular instance of code. Thus there is a fair amount of variation in implementation for solving particular problems. There are, however, two basic archetypes for building nested cores:

Ames

Ames-style nested cores only modify one part of the map, one key-value pair.

For instance, in /sys/vane/ames.hoon, we find the definitions

++ event-core .
++ abet [(flop moves) ames-state]
++ emit |=(=move event-core(moves [move moves]))

Thus for Ames, the nested core pattern largely consists of building a list of particular moves and then pulling them back out:

:: if processing succeeded, send positive ack packet and exit
++ send-ack
|= =bone
^+ event-core
=/ cork=? (~(has in closing.peer-state) bone)
abet:(run-message-sink:peer-core bone %done ok=%.y cork)

You can see the Ames-style pattern illustrated today in many core apps, such as /app/acme.hoon which obtains HTTPS letsencrypt certificates.

:: +abet: finalize transaction
::
++ abet
^- (quip card _state)
[(flop cards) state]

Various arms in %acme like ++wake make calls such as %-  (slog u.error) abet from time to time.

Clay

Clay-style nested cores focus on modifying one part of the map but perhaps have other effects as well.

In /sys/vane/clay.hoon, we find a more complicated ++abet:

++ abet
^- [(list move) raft]
:- (flop mow)
?. =(our her)
=/ run (~(gut by hoy.ruf) her *rung)
=/ rug (~(put by rus.run) syd red)
ruf(hoy (~(put by hoy.ruf) her run(rus rug)))

We don't need to worry about inner details of Clay to see that there's more going on here: a number of internal maps are updated as part of the state change as well as the list of moves accrued to mow.

The nested core pattern is used elsewhere (notably in Gall and in Hood), but these are the basic patterns.

Gall

Gall uses two nested cores to manage agents: ++mo handles Arvo-level moves, while ++ap acts as the “agent engine”. While there are many elements to each, here is a partial glimpse of how ++mo structures its approach. (There are many other arms to build particular cards or produce state changes.)

::
++  mo-core  .
::  +mo-abed: initialize state with the provided duct
++  mo-abed  |=(hun=duct mo-core(hen hun))
::  +mo-abet: finalize, reversing moves
++  mo-abet  [(flop moves) gall-payload]
::  +mo-give: prepend a standard %give to the current list of moves
++  mo-give  |=(g=gift mo-core(moves [[hen give+g] moves]))
::  +mo-pass: prepend a standard %pass to the current list of moves
++  mo-pass  |=(p=[wire note-arvo] mo-core(moves [[hen pass+p] moves]))
:: +mo-slip: prepend a %slip move to the current list of moves
++  mo-slip  |=(p=note-arvo mo-core(moves [[hen slip+p] moves]))
:: +mo-past: show the
++  mo-past |=(=(list [wire note-arvo]) ?~(list mo-core =.(mo-core (mo-pass i.list) $(list t.list))))
::  +mo-jolt: (re)start agent if not already started on this desk
++ mo-jolt |=([dap=term =ship =desk] (mo-boot dap ship desk))

Some of these are “standard” ++abet pattern arms, while others are particular to ++mo.

Behn

Behn exemplifies a clear and simple usage of the ++abet pattern with stacked cores, but as a centralized state machine.

|%
++ per-event
=| moves=(list move)
|= [[now=@da =duct] state=behn-state]
|%
++ this .
++ emit |=(m=move this(moves [m moves]))
++ abet
^+ [moves state]
:: moves are statefully pre-flopped to ensure that
:: any prepended %doze is emitted first
::
=. moves (flop moves)
=/ new=(unit @da) (bind (pry:timer-map timers.state) head)
:: emit %doze if needed
::
=? ..this
?~ unix-duct.state |
=/ dif=[old=(unit @da) new=(unit @da)] [next-wake.state new]
?+ dif ~|([%unpossible dif] !!)
[~ ~] | :: no-op
[~ ^] & :: set
[^ ~] & :: clear
[^ ^] !=(u.old.dif u.new.dif) :: set if changed
==
(emit(next-wake.state new) [unix-duct.state %give %doze new])
::
[moves state]
:: * * *
--

The ++per-event core is used to script the neighboring ++scry and ++call arms for the vane without leaking state invariants. Behn's instantiation of the ++abet pattern centralizes what we've elsewhere called the “inner core” as a centralized state machine.

Generalizing the ++abet Pattern

As mentioned, the nested core pattern is a pattern rather than a particular example of code. The tell-tale mark of ++abet-style nested core code, above all else, is a core containing an ++abet finalizer arm.

Here are some common ++abet pattern arms. These are not all unique, and many cores will omit all or most of these.

  • ++abed—initialize. Set up the state of the inner core.
  • ++yoke—initialize. Start from a particular value.
  • ++abet—finalize. Exit from an inner core to an outer core, taking changes. Commonly, take a modified valued and overwrite it into the final state with a ++put:by.
  • ++abut—finalize. Alternative exit from ++abet for a deletion.
  • ++move—send a move. Generalization for ++pass/++give.
  • ++pass—request an action. Prepend a %pass move to the current list of moves.
  • ++give—return a result. Prepend a standard %give to the current list of moves.
  • ++emit—submit a card. Prepend a card to the current list of cards.
  • ++emil—submit cards. Prepend a list of cards to the current list of cards.

We recommend reading the following examples which employ the nested core pattern:

  • ++mo in %base, /sys/gall.hoon
  • ++ap in %base, /sys/gall.hoon
  • ++vats in %base, /lib/hood/kiln.hoon
  • ++ca in %groups (New Groups), /sys/gall.hoon
  • ++go in %cult, /cult/cult.hoon

For instance, Quartus’ cult library uses the nested core pattern in ++go for a gossip protocol library. Some of the names are different (e.g. easy for abed), but you can see how the design pattern holds:

:: +go-emit - add card to cards
:: +go-emil - add list of cards
:: +go-abet - and state changes
:: +go-dick - inspect the group
:: +go-form - maybe form a cult
:: +go-diff - handle easy diffs
:: +go-easy - start cult engine

Using the Nested Core Pattern

To recap at this point: the nested core pattern represents a way of using a helper core to manage complicated state changes and thus encapsulate code away from standard patterns such as the ten-armed Gall agent. It's useful to think of the inner core as being like a cursor, a local focus of attention to build a particular effect.

How could you use the nested core pattern today? A Gall agent is a door with a sample of the bowl and an associated state. cards are issued from the agent to Arvo and other agents, while gifts and incoming cards are handled by the agent. This means that agents need to compose lists of cards—the ubiquitous (quip card state) return type. This pair of (list card) and agent:gall allow us to produce effects (cards) and maintain state.

A Gall agent sometimes needs to issue a lot of state changes using cards. This can lead to awkward chains of =^ tisket pins as several cards are aggregated together before resolving. (Cards all happen “at the same time”, meaning before any mutations are applied to the state, but composing several cards together can be vexing.) As an alternative, a helper core (the inner core, engine, or cursor) can be used to encapsulate complexity with card handling. When used well, the nested core pattern can lead to cleaner code factoring and sequestration of more complex logic.

Your basic approach will be to construct a helper core next to your Gall agent which By convention these have been built in the same file as the Gall agent (rather than /lib) because they frequently need to access agent state, but as with /lib/hood/kiln.hoon, there are elegant ways to avoid this necessity.

Other arms (such as ++set-timer) then simply construct cards which are inserted into the ++abet core's list.

List pattern

For instance, imagine a chat app. When a message arrives, a card can be built on the basis of what changes need to be effected: subscribers need to be notified with a %gift.

Classically, a single card would be bundled with any necessary state changes:

:_ this(messages ~[text messages])
~[[%give %fact ~[/update] %chat-effect !>(`chat-effect`[text])]]

Much like a single card, a list of cards can be produced and returned from an arm in a Gall agent. Here a Gall agent triggers a thread:

:_ this
:~ [%pass wire %agent [our.bowl %spider] %watch /thread-result/[tid]]
[%pass wire %agent [our.bowl %spider] %poke %spider-start !>(args)]
==

This pattern works well for single cards or short collections of them, in particular with simple generating logic.

=^ tisket pattern

The classic way of composing several cards uses a =^ tisket to pin a state and a helper core to process actions. This allows sequestration of logic into particular arms.

=^  cards  state
`state(allowances (~(put by allowances) +.action))
[cards this]

Another advantage (at the cost of more obfuscatory logic) is that code effects can be better ordered, e.g. in this code snippet which registers a token (++register-api-key) before using the corresponding token (++employ-api-key).

=^ cards state (register-api-key:main source.action target.action)
=^ cards state (employ-api-key:main source.action target.action)
:_ state
^- (list card)
%+ weld cards
%+ give-simple-payload:app:server id
(handle-api-request:main source target)

In Graph Store, we find =^ tiskets used in several places, preferring one per arm, as card lists are built systematically:

/=landscape=/app/graph-store/hoon:

++  run-updates
|=  [=resource:store =update-log:store]
^-  (quip card _state)
?<  (~(has by archive) resource)
?>  (~(has by graphs) resource)
=/  updates=(list [=time upd=logged-update:store])
::  updates are time-ordered with most recent first
::  process with earliest first
(bap:orm-log update-log)
=|  cards=(list card)
|-  ^-  (quip card _state)
?~  updates
[cards state]
=*  update  upd.i.updates
=^  crds  state
%-  graph-update
^-  update:store
?-  -.q.update
%add-graph          update(resource.q resource)
%add-nodes          update(resource.q resource)
%remove-posts       update(resource.q resource)
%add-signatures     update(resource.uid.q resource)
%remove-signatures  update(resource.uid.q resource)
==
$(cards (weld cards crds), updates t.updates)
++  poke-import
|=  arc=*
^-  (quip card _state)
=^  cards  state
(import:store arc our.bowl)
[cards state]

Nested Core/++abet pattern

Given an nested core, rather than simply produce (quip card _state), you can close over a list of cards and state using a core, then pull the ++abet arm on that core to produce the new list of cards and state.

++  abet
^-  (quip card _state)
[(flop cards) state]

You've seen the basic nested core pattern above. For the case of a chat app with nested cores, let's circle back around to New Groups.

|_  [=bowl:gall cards=(list card)]
++  abet  [(flop cards) state]
++  cor   .
++  emit  |=(=card cor(cards [card cards]))
++  emil  |=(caz=(list card) cor(cards (welp (flop caz) cards)))
++  give  |=(=gift:agent:gall (emit %give gift))
++  now-id   `id:c`[our now]:bowl
:: * * *
++ poke
|= [=mark =vase]
|^ ^+ cor
?+ mark ~|(bad-poke/mark !!)
:: * * *
::
%chat-leave
=+ !<(=leave:c vase)
?< =(our.bowl p.leave) :: cannot leave chat we host
ca-abet:ca-leave:(ca-abed:ca-core leave)
::
%chat-action
=+ !<(=action:c vase)
=. p.q.action now.bowl
=/ chat-core (ca-abed:ca-core p.action)
?: =(p.p.action our.bowl)
ca-abet:(ca-update:chat-core q.action)
ca-abet:(ca-proxy:chat-core q.action)
::
%dm-action
=+ !<(=action:dm:c vase)
di-abet:(di-proxy:(di-abed-soft:di-core p.action) q.action)
:: * * *
==

The basic idea, once again, is to create an ephemeral inner core to script the outer core which contains its own local mutable state. The inner core itself is never included in the result of running any arms of the outer core, and is only instantiated by calls to the outer core's arms. Effectively, the inner core is private, in the object-oriented programming sense.

Several interesting features are legible here even without examining the nested cores separately:

  1. You can see there is a ++ca core for chats and a ++di core for direct messages.
  2. There is no ++abed arm in place here since this core doesn't carry any state it needs to initialize.
  3. ++emit/++emil/++give handle contributed moves.

The ++abet pattern itself is rather simple to construct in userspace, and exemplifies the utility of nested cores. By sequestering logic, it yields cleaner agent code. It also enables other arms to construct a list of cards rather than having to produce chained =^-style constructions.

Stacked Core Pattern

We use the terminology of "nested core pattern" to refer to the case where an inner core and an outer core have a slot for mutable state between them. "Stacked core pattern" is a more general case which may not have a slot for mutable state (such as a gate in a |% barcen core). The “++abet pattern” refers to a particular special case of the nested core pattern.

Another common stacked core pattern, ++get:by, is a closure, wherein the ++by core has “closed around” the map treap, and the ++get:by gate closes around the entire ++by core by adding a sample and $ buc arm. In this case, the inner core doesn't have its own mutable state separate from the outer core, so it's not an ++abet pattern or a nested core pattern, but a stacked core pattern.

++ by :: map engine
~/ %by
=| a=(tree (pair)) :: (map)
|@
++ get :: grab value by key
~/ %get
|* b=*
=> .(b `_?>(?=(^ a) p.n.a)`b)
|- ^- (unit _?>(?=(^ a) q.n.a))
?~ a
~
?: =(b p.n.a)
(some q.n.a)
?: (gor b p.n.a)
$(a l.a)
$(a r.a)
--

Stacked cores can also be used to construct a stateless library as a sequence of |% barcen cores.


The above was written in collaboration with ~rovnys-ricfer.

Next Post

Rune Utilization in Hoon

January 12, 2023

Previous Post

App Workbook

November 17, 2022