资 源 简 介
Overview
Clache reduces combinatory logic terms and memoizes every step of past reductions in a database. It reduces the terms either to normal form, or to an arbitrary limit of work. In this way it records a local "frontier" of computable knowledge. Conversely, clache can losslessly and quickly compress a term by finding the shortest term that reduces to the same place on the frontier as the original.
After perfecting the current version, I will investigate linking Clache servers together into a P2P network for sharing frontiers. A large network can act as a supercomputer for purely functional programs. Read the Wiki to learn how to compile Scheme programs and run them in Clache.
Runs on PHP and PostgreSQL.
Usage
Point your web browser to http://your-clache-server/?cl=combinatory-logic-term
Terms are written in the syntax of Unlambda but are restricted to
