package expr

  1. Overview
  2. Docs
Simple library to parse expressions

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.5.2.zip
sha256=08573601b9080e8097a7c202c0b377ae4ebd58f01adef344df50f3cae27b1daf
md5=119a1ea19330b08d7e6bd4210f5fec5c

Description

A simple library to parse and evaluate arithmetic expressions that may include variables. The purpose is for other code to accept an expression rather than just a literal value. Both float and boolean expressions are supported.

Published: 18 Nov 2025

README

Build

Expr

A simple OCaml library to evaluate an arithmetic expression. This allows an application to accept expressions rather than just literal values from the command line or any other input:

    match Expr.Eval.simple "3.0 * 12" with
    | Expr.Eval.Float x -> Printf.printf "%f" x
    | _
    | exception _ -> failwith "something went wrong"
$ make utop
utop # Expr.Eval.simple "3+4*5 == 23";;
- : Expr.Eval.value = Expr.Eval.Bool true

utop # let env = Expr.Eval.env ["pi", Float.pi] in
  Expr.Eval.string env "pi * pi";;
- : Expr.Eval.value = Expr.Eval.Float 9.86960440108935799

Features:

  • Floating point and boolean expressions
  • Expressions may contain floating point variables
  • Proper precedence and associativity

CLI

This code is intended as a library but includes a minimal command-line binary that accept the string to evaluate as an argument:

./_build/default/bin/main.exe "3.0 * 3.0 * pi"
28.274334

Installation

The code is so simple that I would suggest to copy the lib/ directory and use it and not bother with an opam installation:

$ opam pin add expr https://github.com/lindig/expr.git

Documentation

To be done; but take a look at:

  • eval.mli for the API
  • parser.mly for the grammar
  • scammer.mll for the syntax of tokens

Contribute

If you find this useful, please contribute back by raising pull requests for improvements you made.

Dependencies (3)

  1. cmdliner >= "1.1.0" & < "2.0.0"
  2. ocaml >= "4.08.0"
  3. dune >= "2.7"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None