16 Jan
2008
16 Jan
'08
3:50 p.m.
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