On Sep 17, 2007, at 00:12 , Dennis L. Thomas wrote:
I am aware of the distinctions you defined below, but do not subscribe to either of these formal definitions of declarative. To us, what is being declared is either theory or reality.
You are free to have whatever meanings you like in mind when you use words. But that makes discourse among educated people a little tough, don'tcha think? I'm sure he needs no defending, but Randall's characterization of the meaning of the term 'declarative' in computer science is completely conventional and accepted by every computer scientist I know. Do you not think that would put some pressure on you to adopt a different term than 'declarative', especially given the confusion with your use of the term 'pre-computation' that has already been covered in this list?