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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
