Function EXpression Language (interpreter for functional programs)
C Shell C++
Latest commit d1bda77 Mar 25, 2017 Patrick Chkoreff Various refactoring
Permalink
Failed to load latest commit information.
src
LICENSE Brand new approach Mar 23, 2014
README.md Remove VERSION from the executable and use a VERSION file instead. May 30, 2015

README.md

fexl - Function EXpression Language

Fexl is a simple but powerful scripting language. It allows you to manipulate numbers, strings, streams, and functions easily and reliably, all within a secure "sandbox".

Getting started

Go into the source code directory:

cd src

Build the code and test its validity:

test/check

That runs the test/run script and compares its output with the reference output in test/run.out. If everything works as expected, you should see no output. If you do see some output, it is likely due to a small incompatibility in floating point arithmetic on your machine. However, I have tried to make even that as portable as possible.

Installation

There is no "installation" as such. You just put the Fexl code anywhere you like, build it, and run it from there. There is no script to copy it to /usr or anything like that.

My approach is to create a ~/bin/fexl script which does this:

exec ~/project/fexl/bin/fexl "$@"

So the "fexl" script in my search path runs the real executable right where I built it, setting argv[0] to its full path name, allowing it to resolve the names of any files it might need that come bundled with the distribution. That way I don't have to rely on non-portable features like "/proc/self/exe" to locate the executable.

Development Tools

To build the code:

./build

To erase the output files and build the code from scratch:

./build clean

To erase the output files:

./build erase

To do a verbose build, showing all the commands:

verbose=1 ./build

To build the code and run a fexl program:

./fexl [FILE]

To build the code and see the test output:

test/run

To build the code and check the test output:

test/check

To source the handy shell aliases that I use for development:

. handy

To time the test output:

test/checkt

To time a long series of calculations and output:

test/fib

To see the current version number (http://semver.org):

cat VERSION

Guide to source code

The main routine is in fexl.c.

The eval routine is in value.c.

The value structure is defined in value.h, and documented in value.c.

The memory.c file implements a disciplined approach to memory usage which verifies that there are no memory leaks during execution. Also see hold and drop in value.c, which implement the reference counting mechanism.

The "test" directory contains the Fexl test suite.

Technical Details

The interpreter creates an initial value which represents your entire program. It then evaluates that value, reducing it one step at a time until it reaches a final value. Each step may possibly create side effects -- after all, the entire purpose of a computer program is to create side effects. However, the purely functional aspect of Fexl allows you to isolate those side effects as far as you like.

A value is either an atom or a pair. An atom represents either a built-in function (with a pointer to a C function), or a piece of data (e.g. long, double, string, file, etc.) A pair represents the functional application of a value on the left side to a value on the right side.

The initial value is fully resolved and contains no symbols, so the interpreter does not have to do any symbol lookups or bindings during evaluation.

Credits

"On the Building Blocks of Mathematical Logic", Moses Schönfinkel, 1924

"Typed Representation of Objects by Functions", Jørgen Steensgaard-Madsen, 1989

License

This code is copyright 2011 by Patrick Chkoreff (pc@fexl.com). See the LICENSE file for details.