[Types-sig] check.py (was: PyDL RFC 0.02)

[Skip Montanaro]

    scott> It also has some drawbacks: it's a little awkward to have compile
    scott> time activity depend so heavily on a module that is optional.
    scott> Also, compile-time activity IMO is rightly done in C (or Java or
    scott> whatever) and not in the language that is being interpretted,
    scott> though prototyping can of course be anything.  The module seems
    scott> to be built primarily for availability from within python, and
    scott> not so much from the interpreter itself; while the end product
    scott> seems like it should be (mostly atleast) in the interpreter
    scott> itself.

There's no reason the parser module needs to always be optional.  Also,
coding the thing in Python makes sense for programmer productivity reasons.
Over time, as type information gets known more completely, tools like Greg's
& Bill's Python2C will be able to convert that code into fairly efficient C.

Skip Montanaro | http://www.mojam.com/
skip@mojam.com | http://www.musi-cal.com/
847-971-7098   | Python: Programming the way Guido indented...