soma.cell

Programs: records

17 verified Soma programs in the records domain. Each page shows the source and what soma check, soma test, soma verify and soma run printed on it.

ProgramLinesUses
Address book: Contact records stored in a Map slot, round-tripped through storage, and queried49
Bank accounts as Account records kept in a persistent Map slot, with deposit/withdraw that read, mutate, and write the record back57
Binary search tree built from Node records with nested `left`/`right` children68pipes (|>)
Nested config record with defaults, merge-style overrides, and a deep-path reader58match
Entity-Component shape: each Entity record carries a bag of components60pipes (|>), lambdas
Employee directory: records driving group_by / agg / inner_join style reporting54pipes (|>), lambdas
Family tree: Person records with a list of `children` records, walked recursively71pipes (|>)
Geometry: Point and Rect records with computed properties46
Inventory: a list of Item records with in-place quantity mutation, restock/sell operations, and aggregate reporting via pipelines59pipes (|>), lambdas
Records and JSON: serialize a record to a JSON string and parse it back47
Kanban board: Card records stored by id in a Map slot, moved between columns by mutating a field and writing back55pipes (|>), lambdas
Singly linked list built from Node records whose `next` field is either another Node or () for the tail74
Order records with nested line-items, computed totals, and a state machine over the order lifecycle58a state machine, a sum type, pipes (|>), lambdas
Playlist as an ordered list of Track records50pipes (|>), lambdas
Functional record updates: with / without / merge produce new records without mutating the original51pipes (|>)
Typed record literals and runtime type tags46
Gradebook: Student records each holding a list of Score records58pipes (|>), match, lambdas