5 ms·
I do like Python but haven't used it for anything more than a few thousand lines. The dynamic nature puts many errors into the runtime stage and increases veri
by dmaz 14y ago
I do like Python but haven't used it for anything more than a few thousand lines.
The dynamic nature puts many errors into the runtime stage and increases verification complexity. Can be limited by static code checking, but grows cumbersome.