Overview

As discussed in the Gall section, Urbit code lives in the following basic categories:

This describes the last category: Threads.

A thread is a monadic function that takes arguments and produces a result. It may perform input and output while running, so it is not a pure function. It may fail.

An agent's strength is that it's permanent and bulletproof. All state transitions are defined, and each action it performs is a transaction. Code upgrades preserve existing state.

An agent's weakness is complex input and output. Since each state transition must be explicitly handled, the complexity of an agent explodes with the amount of IO it handles. At best, this results in long and complex code; at worst, unexpected states are mishandled, corrupting permanent state.

A thread's strength is that it can easily perform complex IO operations. It uses what's often called the IO monad (plus the exception monad) to provide a natural framework for IO.

A thread's weakness is that it's impermanent and may fail unexpectedly. In most of its intermediate states, it expects only a small number of events (usually one), so if it receives anything it didn't expect, it fails. When code is upgraded, it's impossible to upgrade a running thread, so it fails.

Thus, for anything that needs to be permament, use an agent. When you need to do a long or complex sequence of IO operations, reduce that to a single logical IO operation by spinning it out into a thread. If you only change your agent's state in response to success of the thread, an IO failure will never result in partially applied state changes.

A thread may also be run from the dojo by prefixing its name with - and giving it any arguments it requires. If alone, any result will be printed to the screen; else the output may be piped into an agent or other sinks.

Thread basics

These docs walk through the fundamental things you need to know to write threads. They're focused on basic thread composition so don't touch on interacting with threads from gall agents and such. The included examples can all just be run from the dojo.

  1. Thread Fundamentals - Basic information and overview of threads, strands, form & pure.
  2. Micgal and Bind - Covers using micgal and bind to chain strands.
  3. Strand Input - What strands receive as input
  4. Strand Output - What strands produce
  5. Summary

Gall

These docs walk through the basics of interacting with threads from gall agents.

  1. Start a thread
  2. Subscribe for result
  3. Subscribe for facts
  4. Stop a thread
  5. Poke a thread

How-tos & Examples

Reference

Basic reference information. For usage of particular strandio functions just refer directly to /lib/strandio/hoon since they're largely self-explanatory.