Text Processing Chains: Getting Help from Typed Applicative Systems

摘要

A processing chain must be the result of a discovery process that requires constant back and forth between theoretical description of the solution, software implementation, testing and refinement of the theoretical description in the light of the results of experimentation. This process is iterative. Some projects based on this philosophy have seen the light in the last years. However, they lack flexibility and formal foundations. The model we propose has strong logical foundations. It allows rapid prototyping and supports a maximal re-use and composition of existing modules.