Not fully OO ?

[Aaron "Castironpi" Brady]

On Sep 26, 6:40 pm, "Tim Rowe" <digi... at gmail.com> wrote:
> 2008/9/26 Aaron Castironpi Brady <castiro... at gmail.com>:
>
> > 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.