A warm atom is an atom with an ordinary aura. The type of a warm atom is, conceptually, the set of all possible values for that aura. For example, the cord 'foo' nests under the type of the cord 'bar' - they both have @t auras. This is in contrast to a cold atom, where its type is an exact value.
Further Reading
- Atoms and Strings: A guide to atoms.
- Hoon School: Our guide to learning the Hoon programming language.
- “Hoon Syntax”: A Hoon School lesson that explains how atoms work.