bf3: > I know nothing about theoretical computer science, but I was wondering > if it possible to forget about types, and just keep the concept of data > constructors, and have an analyzer determine correctness of the code and > "staticness" of the data? The analysis would be type inference and checking. -- Don