Paradox is a front end for a language called Paradox which demonstrates type checking within a dynamically scoped language.

To build:

• Make sure you have Haskell Platform and cabal version 1.18 installed. Paradox will NOT build on older versions of cabal.
• Install alex and happy (cabal install alex; cabal install happy)

# cabal configure --enable-tests
# cabal build

It is possible you won't have all the cabal libraries installed. In that case, examine the output from cabal build/configure and install the packages as follows (for the monads-tf package, for example):

# cabal install monads-tf

To run all the tests:

# cabal test

To run Paradox, you can do a "cabal install," and run it from your PATH or by referencing it from the current directory. There are plenty of examples in the examples/ directory. The samples shown during my presentation are in the examples/talk-examples. Note that they are only for reference (you are better of running examples from the examples directory).

Usage: paradox [ -unparse | -ast | -check ] FILE
-unparse:       Display the UNPARSE of a program in FILE.
-ast:           Display the AST of program contained in FILE.
-check:         TYPE CHECK the program contained in FILE.

# dist/build/paradox/paradox -check examples/example1.pd

The -ast option will just display the AST along with a pretty printed AST for debugging purposes.