Aaron Lehmann <[EMAIL PROTECTED]>:
> Maybe you could kill two birds with one stone by calling 1.0.0 the
> prototype and rewriting it in C.
If I were to become absolutely convinced that I can't get acceptable speed
out of Python, I might do that. There's a gcml project that tracked the CML2
compiler up to about 0.72 level that might make a decent starting point.
Unfortunately, I'm fairly sure that finishing gcml would take long
enough to render the point moot, because by the time it was done the
average Linux machine would have sped up enough for the Python
implementation not to be laggy anymore :-).
No joke -- *you* try writing a theorem-prover in a language with only
fixed-extent data types. Go on. Try it. I think you will (as Mark
Twain put it about the consequences of teasing a cat) acquire a
valuable education, the facts of which will never grow dim or
doubtful.
I'm pretty sure that tuning the Python implementation (coming up with
faster algorithms, perhaps by reorganizing the data structures to do
more precomputation) will be a more effective use of my time.
--
<a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>
"One of the ordinary modes, by which tyrants accomplish their purposes
without resistance, is, by disarming the people, and making it an
offense to keep arms."
-- Constitutional scholar and Supreme Court Justice Joseph Story, 1840
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
