web/contents/spec.html
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 |
<article>
<h2>Specification</h2>
<blockquote>
<p>Under construction.</p>
</blockquote>
<h3 id="introduction">Introduction</h3>
<h3 id="syntax">Syntax</h3>
<h4 id="comments">Comments</h4>
<h4 id="integer-literals">Integer Literals</h4>
<h4 id="string-literals">String Literals</h4>
<h4 id="quotation-literals">Quotation Literals</h4>
<h4 id="symbol-identifiers">Symbol Identifiers</h4>
<h3 id="data-types">Data Types</h3>
<h4 id="integers">Integers</h4>
<h4 id="strings">Strings</h4>
<h4 id="quotations">Quotations</h4>
<h4 id="symbols">Symbols</h4>
<h3 id="stack">Stack</h3>
<h4 id="pushing-literals">Pushing Literals</h4>
<h4 id="pushing-symbols">Pushing Symbols</h4>
<h3 id="registry">Registry</h3>
<h3 id="native-symbols">Native Symbols</h3>
<h4 id="memory-management">Memory Management</h4>
<h5 id="-symbol"><code>:</code> Symbol</h5>
<p>a s →</p>
<h5 id="-symbol"><code>#</code> Symbol</h5>
<p>s →</p>
<h4 id="control-flow">Control Flow</h4>
<h5 id="-if-symbol"><code>if</code> Symbol</h5>
<p>q q q → *</p>
<h5 id="-when-symbol"><code>when</code> Symbol</h5>
<p>q1 q2 → *</p>
<h5 id="-while-symbol"><code>while</code> Symbol</h5>
<p>q1 q2 → *</p>
<h5 id="-error-symbol"><code>error</code> Symbol</h5>
<p>→ s</p>
<h5 id="-try-symbol"><code>try</code> Symbol</h5>
<p>q1 q2 → *</p>
<h4 id="stack">Stack</h4>
<h5 id="-dup-symbol"><code>dup</code> Symbol</h5>
<p> a → a a</p>
<h5 id="-stack-symbol"><code>stack</code> Symbol</h5>
<p> → q</p>
<h5 id="-clear-symbol"><code>clear</code> Symbol</h5>
<p> →</p>
<h5 id="-pop-symbol"><code>pop</code> Symbol</h5>
<p> a →</p>
<h5 id="-swap-symbol"><code>swap</code> Symbol</h5>
<p> a1 a2 → a2 a1</p>
<h4 id="evaluation">Evaluation</h4>
<h5 id="-symbol"><code>.</code> Symbol</h5>
<p>q → *</p>
<h5 id="-symbol"><code>!</code> Symbol</h5>
<p>s →</p>
<h5 id="-symbol"><code>'</code> Symbol</h5>
<p>a → q</p>
<h4 id="arithmetic">Arithmetic</h4>
<h5 id="-symbol"><code>+</code> Symbol</h5>
<p> i1 i2 → i</p>
<h5 id="-symbol"><code>-</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-symbol"><code>*</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-symbol"><code>/</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-symbol"><code>%</code> Symbol</h5>
<p> i1 12 → i</p>
<h4 id="bitwise-operations">Bitwise Operations</h4>
<h5 id="-symbol"><code>&</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-symbol"><code>|</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-symbol"><code>^</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-symbol"><code>~</code> Symbol</h5>
<p> i → i</p>
<h5 id="-lt-lt-symbol"><code>&lt;&lt;</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-lt-lt-symbol"><code>&lt;&lt;</code> Symbol</h5>
<p> i1 12 → i</p>
<h4 id="comparisons">Comparisons</h4>
<h5 id="-symbol"><code>==</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-symbol"><code>!=</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-gt-symbol"><code>&gt;</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-lt-symbol"><code>&lt;</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-gt-symbol"><code>&gt;=</code> Symbol</h5>
<p> i1 12 → i</p>
<h5 id="-lt-symbol"><code>&lt;=</code> Symbol</h5>
<p> i1 i2 → i</p>
<h4 id="boolean-logic">Boolean Logic</h4>
<h5 id="-and-symbol"><code>and</code> Symbol</h5>
<p> i1 i2 → i</p>
<h5 id="-or-symbol"><code>or</code> Symbol</h5>
<p> i1 i2 → i</p>
<h5 id="-not-symbol"><code>not</code> Symbol</h5>
<p> i → i</p>
<h5 id="-xor-symbol"><code>xor</code> Symbol</h5>
<p> i1 i2 → i</p>
<h4 id="datatype-conversions-and-checking">Datatype Conversions and Checking</h4>
<h5 id="-int-symbol"><code>int</code> Symbol</h5>
<p> (i|s) → i</p>
<h5 id="-str-symbol"><code>str</code> Symbol</h5>
<p> (i|s) → s</p>
<h5 id="-dec-symbol"><code>dec</code> Symbol</h5>
<p> i → s</p>
<h5 id="-hex-symbol"><code>hex</code> Symbol</h5>
<p> s → i</p>
<h5 id="-type-symbol"><code>type</code> Symbol</h5>
<p> a → s</p>
<h4 id="lists-strings-and-quotations-">Lists (Strings and Quotations)</h4>
<h5 id="-cat-symbol"><code>cat</code> Symbol</h5>
<p> (s s|q q) → (s|q)</p>
<h5 id="-slice-symbol"><code>slice</code> Symbol</h5>
<p> (s i1 i2|q i1 i2) → (s|q)</p>
<h5 id="-len-symbol"><code>len</code> Symbol</h5>
<p> (s|q) → i</p>
<h5 id="-get-symbol"><code>get</code> Symbol</h5>
<p> (s|q) → a</p>
<h5 id="-insert-symbol"><code>insert</code> Symbol</h5>
<p> (s a i|q a i) → (s|q)</p>
<h5 id="-index-symbol"><code>index</code> Symbol</h5>
<p> (s a|q a) → i</p>
<h5 id="-join-symbol"><code>join</code> Symbol</h5>
<p> q s → s</p>
<h4 id="strings">Strings</h4>
<h5 id="-split-symbol"><code>split</code> Symbol</h5>
<p> s1 s2 → q</p>
<h5 id="-replace-symbol"><code>replace</code> Symbol</h5>
<p> s1 s2 s3 →</p>
<h4 id="quotations">Quotations</h4>
<h5 id="-each-symbol"><code>each</code> Symbol</h5>
<p> q1 q2 → *</p>
<h5 id="-map-symbol"><code>map</code> Symbol</h5>
<p> q1 q2 → q</p>
<h5 id="-filter-symbol"><code>filter</code> Symbol</h5>
<p> q1 q2 → q</p>
<h4 id="input-output">Input/Output</h4>
<h5 id="-puts-symbol"><code>puts</code> Symbol</h5>
<p> a →</p>
<h5 id="-warn-symbol"><code>warn</code> Symbol</h5>
<p> a →</p>
<h5 id="-print-symbol"><code>print</code> Symbol</h5>
<p> a →</p>
<h5 id="-gets-symbol"><code>gets</code> Symbol</h5>
<p> → s</p>
<h4 id="files">Files</h4>
<h5 id="-read-symbol"><code>read</code> Symbol</h5>
<p> s → s</p>
<h5 id="-write-symbol"><code>write</code> Symbol</h5>
<p> s1 s2 → s</p>
<h5 id="-append-symbol"><code>append</code> Symbol</h5>
<p> s1 s2 → s</p>
<h4 id="shell">Shell</h4>
<h5 id="-args-symbol"><code>args</code> Symbol</h5>
<p> → q</p>
<h5 id="-exit-symbol"><code>exit</code> Symbol</h5>
<p> i →</p>
<h5 id="-exec-symbol"><code>exec</code> Symbol</h5>
<p> s →</p>
<h5 id="-run-symbol"><code>run</code> Symbol</h5>
<p> s → q</p>
</article>
|