Home
The Sym Programming Language
The Sym programming language is designed first and foremost for manipulating expressions. Because it's designed to manipulate expressions, the code in the Sym language is built from Sym expressions rather than text.
Pattern Matching - Overview
The purpose of a pattern match is to bind an expression to a variable during the execution of code. Most commonly, the expressions that become the values bound variables are the parameters passed into a function call.
Objects Used in Pattern Matching
There are a number of objects used in the pattern matching process, depending on what type of match is required.
The MatchInIndexed Object
The MatchInIndexed object works the same way as the MatchIn object except that the binding includes both the term and the index of the term in the parent expression.

The Sym Programming Language
The Sym programming language is designed first and foremost for manipulating expressions. Because it's designed to manipulate expressions, the code in the Sym language is built from Sym expressions rather than text.
- Functions
  A function is an object definition that includes clauses its Implementation section.
- Pattern Matching - Overview
  The purpose of a pattern match is to bind an expression to a variable during the execution of code. Most commonly, the expressions that become the values bound variables are the parameters passed into a function call.
  - Objects Used in Pattern Matching
    There are a number of objects used in the pattern matching process, depending on what type of match is required.
    - The Match Object
      The Match object is one of the most commonly used match objects. It matches an expression to a pattern and generates one or more lists of variable bindings.
    - The MatchParameters Object
      The MatchParameters object is used to match to the parameters passed into functions.
    - The MatchIn Object
      The MatchIn object is designed to allow creating pattern match expressions that will generate a list of bindings for each of the parameters of an expression. Among other uses, the MatchIn object provides a way to iterate over a list.
    - The MatchInIndexed Object
      The MatchInIndexed object works the same way as the MatchIn object except that the binding includes both the term and the index of the term in the parent expression.
    - The And, Or, and Not Objects for PatternMatching
      There are two sets of And, Or, and Not objects defined. The first set represent the conventional Boolean objects. The second set is in the Code namespace and are used with pattern matching. These objects can take objects of type Boolean or PatternMatch as parameters. When the And, Or, and Not in the Code namespace contain multiple match objects, they build the appropriate cumulative binding list as the match expressions are executed.
    - The ListVariable Objects
      The ListVariable objects are typically used in patterns where the parent object of the ListVariable is a monoid. Their purpose is to allow matching against a expressions with a variable number of parameters. Patterns with list variables can be used to find a particular pattern anywhere in the list of parameters of an expression.
    - The ListVariableIndexed Object
      The ListVariable object is used to bind to an arbitrary number of terms from a list object. The ListVariableIndexed object is similar, but is designed to do one of two things. It can be used to bind to a specified number of parameters of an object or it can be used to return the number of parameters that were bound
    - The ParameterList Object
      The ParameterList object is used in the processing of clauses, it was introduced to allow list variables and patterns that include list variables to be used on expressions that aren't monoids. It has two applications. First, it allows matching against any object that has a list of parameters. Second it allows putting a list of parameters back into any object.
  - Pattern Matching to Monoids
    In the pattern matching process, there are often cases where we want to create patterns that will match against objects with differing numbers of parameters. Examples include wanting to match against the first parameter of any object that has parameters or matching to any Add object that contains a parameter that has a particular pattern (like "a/b", for example).
  - Pattern Matching on Numbers and Text
    All numbers are represented by the Num object in the Math namespace. A Num object can have a value attached to it. Similarly, strings of text are created using the Text object in the Text namespace. A Text object can optionally have a value attached to it.
  - Pattern Matching to Arrays of Variables
    The purpose of a pattern match is to bind an expression to a variable. There are several advanced ways that variables can be used in this process.
  - Pattern Matching to Null Typed Objects
    The standard pattern matching objects are not designed to handle objects with the Null type. There are pattern matching objects designed to allow you to match to Null typed objects.
- Unit Testing
  Unit tests provide a way to validate that code functions correctly and to detect errors that might be introduced as code is modified. A Unit Test Module contains a list of unit tests. Unit tests can be run individually, all of the tests in a unit test module can be executed at the same time, or using the Unit Test Runner, unit tests from multiple unit test modules can be run simultaneously.
- Exporters
- The Build Process
  The build process converts the clauses in object definitions into a form that can be executed. The build process also runs the type inferencing process on all of the expressions in the document, which speeds up execution of commands and unit tests. At the end of the build process, the rendering of any open modules is updated to reflect any changes to the renderings in object definitions.

The MatchInIndexed Object

The MatchInIndexed object works the same way as the MatchIn object except that the binding includes both the term and the index of the term in the parent expression.

For the MatchIn object, this match expression:

produces three binding lists. In the first list, p is bound to a, in the second p is bound to b and in the third, p is bound to c.

We can construct a similar expression using a MatchInIndexed object instead:

In this case, we are assuming that we call our function with the same list (containing a, b and c) that we used in the previous example. We still get three binding lists, but because we are using the MatchInIndexed object, the variable item is bound to { a, 0 }, { b, 1 }, { c, 2 }. In each binding the outer object is a Set object, the first item in the set is a parameter from the right-hand side of the MatchInIndexed object and the second item in the set is the index of that term in the parent expression. Parameter indexing is zero based, so the binding from the first parameter will always be { expr, 0 }.

Patterns like { item, i } can be used on the left-hand side of an indexed match in expression. For example, this clause returns parameters 1, 2, and 3 from the object bound to f:

The only difference is that now there are two bindings generated for each parameter. The first binding list would have item bound to a and i bound to 0, assuming that f is the list from our first example above.

Note that this clause will produce a result even if the expression bound to f has fewer than four parameters. The returned list will just have however many parameters are in the expression, excluding the first because of the i >= 1 term.