On Sep 26, 6:40 pm, "Tim Rowe" <[EMAIL PROTECTED]> wrote: > 2008/9/26 Aaron Castironpi Brady <[EMAIL PROTECTED]>: > > > If you have wxFormBuilder and the win32 library, it's pretty fast. > > Speed has never been an issue for me with Python. For my masters > degree I did a project that involved a lot of number crunching, and in > my proposal I wrote that I'd use Python for most of the code and C for > any parts that were unacceptably slow. In practice, not only did I > never need to replace any parts with C, I never even needed to use > numpy; it was quite fast enough as it was. > > > Python's philosophy is to make common things easy and everything > > possible. > > But what's common for one person may be uncommon for another. And > sometimes "possible" isn't enough, or we'd all be using INTERCAL! > > Another, quite different example to the one I was referring to earlier > is the fact that I often work with safety critical systems. I don't > think formal proof of program behaviour would be at all > straightforward in Python (or C# for that matter, and although Spec# > gets closer, it really needs a language like Spark Ada). > > -- > Tim Rowe
No. I understand that formal proof systems, as well as automated theorem provers, have been difficult to develop. When I took ML, the homeworks were to prove the correctness of an interpretation of a program, and the unique existence of a meaning by induction. But I, and I imagine I'm not the only one, would love to know the example that C# developed faster than Python. I suppose the fact that the line of wx specification that has two identifiers where C# has one is more of a drain on programmer resources than may commonly be recognized--- not the same as the cost of one extra word in a paper or in an editorial. Similarly, maybe the program that has one extra identifier in a line takes a lot more time to develop. Perhaps it's the "7 +/- 1" trend in attention span that makes the difference large in that case. 8 identifiers would in that theory be a big deal, so the example in C# could make the case for it. -- http://mail.python.org/mailman/listinfo/python-list
