Kaynağa Gözat

Wrote about rule definition

Samuel W. Flint 8 yıl önce
ebeveyn
işleme
d8c0318fb6
1 değiştirilmiş dosya ile 5 ekleme ve 2 silme
  1. 5 2
      lisp-cas.org

+ 5 - 2
lisp-cas.org

@@ -1761,19 +1761,22 @@ This is the assembly of the ~#:larcs.manipulate~ package.  It includes, in corre
 
 
 One of the less important parts of this system is the format converter, which converts between the internal symbolic form and a format that is capable of being typeset using TeX.  This is done using a variant of the common rewrite system, but instead of going between variants of the symbolic format, it converts from a symbolic format to string-based format.
 One of the less important parts of this system is the format converter, which converts between the internal symbolic form and a format that is capable of being typeset using TeX.  This is done using a variant of the common rewrite system, but instead of going between variants of the symbolic format, it converts from a symbolic format to string-based format.
 
 
-** WORKING Rule Management [0/3]
+** WORKING Rule Management [1/3]
 :PROPERTIES:
 :PROPERTIES:
 :CREATED:  <2016-06-14 Tue 17:17>
 :CREATED:  <2016-06-14 Tue 17:17>
 :END:
 :END:
 
 
 To accomplish the task of conversion from symbolic form to typeset form, rules are necessary.  It is done using three main things, rule definition, rule retrieval and rule storage.
 To accomplish the task of conversion from symbolic form to typeset form, rules are necessary.  It is done using three main things, rule definition, rule retrieval and rule storage.
 
 
-*** TODO Define Rules
+*** DONE Define Rules
+CLOSED: [2016-06-24 Fri 22:28]
 :PROPERTIES:
 :PROPERTIES:
 :CREATED:  <2016-06-14 Tue 17:18>
 :CREATED:  <2016-06-14 Tue 17:18>
 :ID:       ec6fdb0d-546e-41fc-a7b7-5fbbfe4b7931
 :ID:       ec6fdb0d-546e-41fc-a7b7-5fbbfe4b7931
 :END:
 :END:
 
 
+Rule definitions are built using the ~define-converter~ macro, which takes an expression type, a lambda list and a body.  It creates a function using the body and the given arguments list, and if it hasn't been pushed onto the storage system, the converter function is pushed into storage.
+
 #+Caption: Rule Definition
 #+Caption: Rule Definition
 #+Name: stf-define-rule
 #+Name: stf-define-rule
 #+BEGIN_SRC lisp
 #+BEGIN_SRC lisp