15 Apr
2006
15 Apr
'06
10:03 a.m.
On Sat, Apr 15, 2006 at 18:23 +0200, Armin Rigo wrote:
On Sat, Apr 15, 2006 at 03:58:09PM +0200, holger krekel wrote:
I agree but may have a somewhat different idea in mind when talking about a more implicit model: (...)
Ok, then we agree everywhere -- short of a confusing terminology: we gave the names "implicit levels" and "explicit levels" to very precise things and now you're calling "an implicit model" something that is inbetween :-)
indeed, i wasn't quite explicit enough, i guess :) IMO "implicit" and "explicit" do not denote a binary property but there rather can be quantities of "implicit" or "explicit", therefore the "more" in "more implicit model". holger