## mexpr

2015-07-10

Macro for infix math expressions.

### Upstream URL

### Author

### License

# mexpr

Macro for Common Lisp to allow infix syntax for mathematical expressions.

The mexpr package contains the `infix`

macro which converts infix expressions into Lisp S-Expressions.

## Installation

The easiest way to install mexpr is with quicklisp.

`(ql:quickload :mexpr)`

## Examples

The following are examples of how the `infix`

macro can be used:

`CL-USER> (infix 3 + 4) 7 CL-USER> (infix [ 3 + 4 ] * 5) 35 CL-USER (infix 3 + 4 * 5) 23 CL-USER> (let ((x 0)) (infix [ 4 + (1+ x) ] / (sqrt 4))) 2.5 CL-USER> (infix 4 + 4 < 7 or 2 > 6 / 16) T CL-USER> (infix 5 = 6) NIL CL-USER> (infix 5 = 5) T CL-USER> (infix 2 expt 5) 32`

You can use `defop`

to add new operators:

`CL-USER> (defop union 10) ; use function name and precedence CL-USER> (infix '(1 2) union '(2 3)) (2 1 3 4) CL-USER> (defop ++ 100 append) ; use operator symbol, precedence, and defition symbol CL-USER> (infix '(1 2) ++ '(3 4)) (1 2 3 4) CL-USER> (defop p 110 (lambda (a b) (+ (* a a) (* b b)))) ; use lambda for definition CL-USER> (infix 3 p 4) 25`

You can use a reader macro to make it a little simpler:

`CL-USER> (enable-infix-syntax) ; equivalent to (cl-syntax:use-syntax :mexpr) CL-USER> #n(3 + 4 ** 2) 19`

### Notes:

- There always needs to be whitespace between operands and operators.
- Variables and other forms can be used as operands.
- Operators have an associated precedence. Higher precedence operators are performed first.
- Operators of equal precedence are evaluated left to right.
- [ and ] are used for grouping expressions (overriding precedence).

## Usage

The `mexpr`

(or more verbose `bytecurry.mexpr`

) package contains two main macros.

The `infix`

macro parses it's arguments as an infix expression and produces the corresponding s-expression. Each argument
is evaluated as one of the following forms:

*Grouping*: The special forms`[`

and`]`

are used for grouping expressions. (Parentheses were already taken.)*Operator*: An operator is a symbol that has been registered using the`defop`

macro. It represents a binary operation.*Operand*: An operand is any form which is not an operator. This means that normal prefix forms can be embedded in the infix expression.

The `infix`

macro can detect some syntax errors, in which case it will create a `syntax-error`

condition. The type of the
syntax error can be obtained with `syntax-error-type`

. Unfortunately, at the moment some invalid forms simply produce strange results, such as a transposition of a operator and operand.

The `defop`

macro can be used to define new operators. It takes two parameters, the first is the unquoted symbol of the
operator, the second is the desired precedence of the operator (see below for precedence table). The symbol
should correspond to a function or macro which can accept exactly two arguments (although it may have more optional arguments).

The function `infix-reader`

is macro dispatch function which is available to the user to use in
any reader macro he/she desires. The package also registers the "#n" dispatch with cl-syntax, so
you can enable syntax of the form `#n(<expr>)`

with `(cl-syntax:use-syntax :mexpr)`

. Alternatively,
`enable-infix-syntax`

is a wrapper around `cl-syntax:use-syntax`

.

## Precedence

Unlike prefix and postfix notations, infix notation uses operator precedence to determine the order of evaluation.
`mexpr`

uses a numeric precedence system, where the precedence of an operator is a positive integer. A higher number
corresponds to a higher precedence. The precedence of the default operators is given below:

Operator | Precedence | Translation of `a <op> b` |
---|---|---|

** | 110 | `(expt a b)` |

expt | 110 | `(expt a b)` |

* | 100 | `(* a b)` |

/ | 100 | `(/ a b)` |

% | 100 | `(mod a b)` |

mod | 100 | `(mod a b)` |

rem | 100 | `(rem a b)` |

+ | 90 | `(+ a b)` |

- | 90 | `(- a b)` |

ash | 80 | `(ash a b)` |

<< | 80 | `(ash a b)` |

>> | 80 | `(ash a (- b))` |

< | 70 | `(< a b)` |

> | 70 | `(> a b)` |

<= | 70 | `(<= a b)` |

>= | 70 | `(>= a b)` |

= | 60 | `(= a b)` |

/= | 60 | `(/= a b)` |

logand | 50 | `(logand a b)` |

& | 50 | `(logand a b)` |

logxor | 40 | `(logxor a b)` |

^ | 40 | `(logxor a b)` |

logior | 30 | `(logior a b)` |

\| | 30 | `(logior a b)` |

and | 20 | `(and a b)` |

or | 10 | `(or a b)` |