Folk Computer

User Tools

Site Tools

Trace:
notes:internals:db

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
notes:internals:db [2025/09/07 01:15] – smj-edisonnotes:internals:db [2025/09/07 01:29] (current) – smj-edison
Line 4: Line 4:
 and prelude.tcl.// and prelude.tcl.//
  
-Folk's database stores all Wishes, Claims, Whens, and Holds. Essentially, it stores everything that happens +Folk's database stores all Wishes, Claims, and Whens. Essentially, it stores everything that happens 
-in Folk. The database works with Statements, either inserting or removing them. All those verbs I mentioned— +in Folk. The data type of this database is a Statement. Statements are inserted when calling 
-Wish, When, etc—are functions that insert a Statement into the database by calling the Say function. +Wish, Claim, and When.
-We'll cover Statement removal later.+
  
 ===== Statements ===== ===== Statements =====
  
 So, what is a Statement? A Statement consists of two parts: the Clause and the child matches*. So, what is a Statement? A Statement consists of two parts: the Clause and the child matches*.
-Let's start with the Clause: a Clause is an array of words, with each word known as a Term. An example+Let's start with the Clause: a Clause is an array of words, with each word known as a Term†. An example
 Clause, "the sky is blue", would become ["the", "sky", "is", "blue"]. We'll cover child matches in a bit. Clause, "the sky is blue", would become ["the", "sky", "is", "blue"]. We'll cover child matches in a bit.
  
-=== Wish and Claim === +=== Wishes and Claims === 
-Let's see what happens when we run Wish.+Statements are inserted when running the core commands—Wish, Claim, and When—by calling a command called 
 +Say. Say inserts the provided Statement into the database. 
 + 
 +Since Wish is a command that inserts a Statement, let's see what happens when we run it.
  
 <code>Wish the sky is blue</code> <code>Wish the sky is blue</code>
Line 57: Line 59:
 Wait wait, what?? That was a lot all at once. Let's break it down. Wait wait, what?? That was a lot all at once. Let's break it down.
  
-First, back to the context. We just inserted a Statement, so we need to check if there's any existing+First, the context. We just inserted a Statement, so we need to check if there's any existing
 Whens that match. So, we do a database query. But what kind of query? Well, let's convert this Wish into Whens that match. So, we do a database query. But what kind of query? Well, let's convert this Wish into
 what a When would look like for this Statement. The easiest way to explain this is to just look at a what a When would look like for this Statement. The easiest way to explain this is to just look at a
Line 80: Line 82:
 as soon as a thread is available. as soon as a thread is available.
  
-In fact, it's quite literally called a Match in Folk. When a When Statement gets pulled from the queue, +In fact, when this queued item runs, it is known as a Match. This Match contains a list of child 
-it creates a Match before it runs the When body. +statements, which we'll get to in a bit.
  
 === Statements and Matches === === Statements and Matches ===
Line 157: Line 159:
  
 === Footnotes === === Footnotes ===
-* Also metadata, but this is already long enough.+* Also metadata and keep time, but this article is already long enough. 
 + 
 +† This is a little misleading, as a Statement can have Terms with spaces in them. For example, 
 +the last Term in `Wish $this has name "Mason Jones"` has spaces in it. It's just that in Tcl, lists are 
 +space seperated by default, and all the database commands are called from Tcl.
notes/internals/db.txt · Last modified: 2025/09/07 01:29 by smj-edison
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki