The idea reminds me of skolemization ... http://en.wikipedia.org/wiki/Skolem_normal_form
The tool would input factor source code and output equivalent, refactored, source code. The only input from the user is whether to refactor at a certain point, and naming of new words. ------------------------------------------------------------------------------ Precog is a next-generation analytics platform capable of advanced analytics on semi-structured data. The platform includes APIs for building apps and a phenomenal toolset for data science. Developers can use our toolset for easy data analysis & visualization. Get a free account! http://www2.precog.com/precogplatform/slashdotnewsletter _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
