ref_.html

A very small LISP implementation with several packages and demo programs.

href="ref_.html#=:">=:</a></code> and <code><a href="ref_.html#:">:</a></code>.

<p><pre><code>
: (with 'X (=: cnt 0) (inc (:: cnt)) (: cnt))
-> 1
</code></pre>

<dt><a name="<"><code>(< 'any ..) -> flg</code></a>
<dd>Returns <code>T</code> when all arguments <code>any</code> are in strictly
increasing order. See also <a href="ref.html#cmp">Comparing</a>.

<p><pre><code>
: (< 3 4)
-> T
: (< 'a 'b 'c)
-> T
: (< 999 'a)
-> T
</code></pre>

<dt><a name="<="><code>(<= 'any ..) -> flg</code></a>
<dd>Returns <code>T</code> when all arguments <code>any</code> are in strictly
non-decreasing order. See also <a href="ref.html#cmp">Comparing</a>.

<p><pre><code>
: (<= 3 3)
-> T
: (<= 1 2 3)
-> T
: (<= "abc" "abc" "def")
-> T
</code></pre>

<dt><a name="<>"><code>(<&gt 'any ..) -> flg</code></a>
<dd>Returns <code>T</code> when not all <code>any</code> arguments are equal
(structure equality). <code>(<&gt 'any ..)</code> is equivalent to <code>(not (=
'any ..))</code>. See also <a href="ref.html#cmp">Comparing</a>.

<p><pre><code>
: (<&gt 'a 'b)
-> T
: (<&gt 'a 'b 'b)
-> T
: (<&gt 'a 'a 'a)
-> NIL
</code></pre>

<dt><a name="="><code>(= 'any ..) -> flg</code></a>
<dd>Returns <code>T</code> when all <code>any</code> arguments are equal
(structure equality). See also <a href="ref.html#cmp">Comparing</a>.

<p><pre><code>
: (= 6 (* 1 2 3))
-> T
: (= "a" "a")
-> T
: (== "a" "a")
-> T
: (= (1 (2) 3) (1 (2) 3))
-> T
</code></pre>

<dt><a name="=0"><code>(=0 'any) -> num | NIL</code></a>
<dd>Returns <code>0</code> when <code>any</code> is a number with value zero.
See also <code><a href="refN.html#n0">n0</a></code>, <code><a
href="refL.html#lt0">lt0</a></code>, <code><a
href="refG.html#ge0">ge0</a></code> and <code><a
href="refG.html#gt0">gt0</a></code>.

<p><pre><code>
: (=0 (- 6 3 2 1))
-> 0
: (=0 'a)
-> NIL
</code></pre>

<dt><a name="=:"><code>(=: sym [sym1|cnt .. sym2] 'any)</code></a>
<dd>Stores a new value <code>any</code> for a property key <code>sym</code> or
<code>sym2</code> in a symbol. That symbol is <code>This</code> (if no other
arguments are given), or a symbol found by applying the <code><a
href="refG.html#get">get</a></code> algorithm to <code>This</code> and the
following arguments. Used typically in methods or <code><a
href="refW.html#with">with</a></code> bodies. See also <code><a
href="refP.html#put">put</a></code>, <code><a href="ref_.html#:">:</a></code>
and <code><a href="ref_.html#::">::</a></code>.

<p><pre><code>
: (with 'X (=: a 1) (=: b 2))
-> 2
: (get 'X 'a)
-> 1
: (get 'X 'b)
-> 2
</code></pre>

<dt><a name="=="><code>(== 'any ..) -> flg</code></a>
<dd>Returns <code>T</code> when all <code>any</code> arguments are the same
(pointer equality). See also <code><a href="refN.html#n==">n==</a></code>.

<p><pre><code>
: (== 'a 'a)
-> T
: (== 'NIL NIL (val NIL) (car NIL) (cdr NIL))
-> T
: (== (1 2 3) (1 2 3))
-> NIL
</code></pre>

<dt><a name="===="><code>(==== ['sym ..]) -> NIL</code></a>
<dd>Close the current transient scope by clearing the transient hash table. All
transient symbols become hidden and inaccessible by the reader. Then any
optional <code>sym</code> arguments are (re-)inserted into the transient hash
table. See also <code><a href="refE.html#extern">extern</a></code> and <code><a
href="refI.html#intern">intern</a></code>.

<p><pre><code>
: (setq S "abc")           # Read "abc"
-> "abc"
: (== S "abc")             # Read again, get the same symbol
-> T
: (====)                   # Close scope
-> NIL
: (== S "abc")             # Read again, get another symbol
-> NIL
</code></pre>

<dt><a name="=T"><code>(=T 'any) -> flg</code></a>
<dd>Returns <code>T</code> when <code>any</code> is the symbol <code>T</code>.
<code>(=T X)</code> is equivalent to <code>(== T X)</code>. See also <a
href="refN.html#nT">nT</a>.

<p><pre><code>
: (=T 0)
-> NIL
: (=T "T")
-> NIL
: (=T T)
-> T
</code></pre>

<dt><a name=">"><code>(> 'any ..) -> flg</code></a>
<dd>Returns <code>T</code> when all arguments <code>any</code> are in strictly
decreasing order. See also <a href="ref.html#cmp">Comparing</a>.

<p><pre><code>
: (> 4 3)
-> T
: (> 'A 999)
-> T
</code></pre>

<dt><a name=">="><code>(>= 'any ..) -> flg</code></a>
<dd>Returns <code>T</code> when all arguments <code>any</code> are in strictly
non-increasing order. See also <a href="ref.html#cmp">Comparing</a>.

<p><pre><code>
: (>= 'A 999)
-> T
: (>= 3 2 2 1)
-> T
</code></pre>

<dt><a name=">>"><code>(>> 'cnt 'num) -> num</code></a>
<dd>Shifts right the <code>num</code> argument by <code>cnt</code>
bit-positions. If <code>cnt</code> is negative, a corresponding left shift is
performed.

<p><pre><code>
: (>> 1 8)
-> 4
: (>> 3 16)
-> 2
: (>> -3 16)
-> 128
: (>> -1 -16)
-> -32
</code></pre>

<dt><a name="?"><code>(? [sym 'any ..] . lst) -> flg</code></a>
<dd>Top-level function for interactive <a href="ref.html#pilog">Pilog</a>
queries. It displays each result, waits for console input, and terminates when a
non-empty line is entered.

<p><pre><code>
: (? (append (a b c) (d e f) @X))
 @X=(a b c d e f)
-> NIL

: (? (append @X @Y (a b c)))
 @X=NIL @Y=(a b c)
 @X=(a) @Y=(b c)
 @X=(a b) @Y=(c)
 @X=(a b c) @Y=NIL
-> NIL

: (? (append @X @Y (a b c)))
 @X=NIL @Y=(a b c).                       # Stopped
-> NIL
</code></pre>

<dt><a name="@"><code>@</code></a>
<dd>Holds the result of the last top level expression in the current
read-eval-print loop, or the result of the conditional expression during the
evaluation of flow functions (see <code><a href="ref.html#atres">@
Result</a></code>). When <code>@</code> is used as a formal parameter in <a
href="ref.html#lambda">lambda expressions</a>, it denotes a variable number of
evaluated arguments.

<dt><a name="@@"><code>@@</code></a>
<dd>Holds the result of the second last top level expression in the current
read-eval-print loop (see <code><a href="ref.html#atres">@ Result</a></code>).

<dt><a name="@@@"><code>@@@</code></a>
<dd>Holds the result of the third last top level expression in the current
read-eval-print loop (see <code><a href="ref.html#atres">@ Result</a></code>).

<dt><a name="^"><code>^</code></a>
<dd>Holds the currently executed expression during a breakpoint or an error. See
also <code><a href="refD.html#debug">debug</a></code>, <code><a
href="ref_.html#!">!</a></code>, <code><a href="refE.html#e">e</a></code> and
<code><a href="refD.html#*Dbg">*Dbg</a></code>.

<p><pre><code>
: (* (+ 3 4) (/ 7 0))
!? (/ 7 0)
Div/0
? ^
-> (/ 7 0)
</code></pre>

<dt><a name="|"><code>(| 'num ..) -> num</code></a>
<dd>Returns the bitwise <code>OR</code> of all <code>num</code> arguments. See
also <code><a href="refX.html#x|">x|</a></code>, <code><a
href="ref_.html#&">&</a></code> and <code><a
href="refB.html#bit?">bit?</a></code>.

<p><pre><code>
: (| 1 2)
-> 3
: (| 1 2 4 8)
-> 15
</code></pre>

</dl>

</body>
</html>