On 2014-11-18 01:21, Terry Reedy wrote:
On 11/17/2014 9:49 AM, Stefan Bucur wrote:
I'm developing a Python static analysis tool that flags common
programming errors in Python programs. The tool is meant to complement
other tools like Pylint (which perform checks at lexical and syntactic
level) b
On 11/17/2014 9:49 AM, Stefan Bucur wrote:
I'm developing a Python static analysis tool that flags common
programming errors in Python programs. The tool is meant to complement
other tools like Pylint (which perform checks at lexical and syntactic
level) by going deeper with the code analysis and
Hi,
The PEP-418 is about performance counters, but there is no mention of
performance management unit (PMU) counters, such as cache misses and
instruction counts.
The Linux perf tool aims at recording these samples at the system level. I
ran linux perf on CPython for profiling. The resulting call
On 17 November 2014 19:23, Ned Deily wrote:
> Paul Moore wrote:
>> I don't know if this got lost in the other messages in this thread,
>> but *is* there a stable URL for "the latest Python 3.4 MSI for Windows
>> amd64" (or similar)?
>
> AFAIK, no, there is no such stable URL that directly downloa
If I may, there are prior work on JavaScript that may be worth
investigating. Formal verification of dynamically typed software is a
challenging endeavour, but it is very valuable to avoid errors at runtime,
providing benefits from strongly type language without the rigidity.
http://cs.au.dk/~amoe
In article
,
Paul Moore wrote:
> I don't know if this got lost in the other messages in this thread,
> but *is* there a stable URL for "the latest Python 3.4 MSI for Windows
> amd64" (or similar)?
AFAIK, no, there is no such stable URL that directly downloads the
latest installer(s) for a plat
On 15 November 2014 15:40, Paul Moore wrote:
> On 15 November 2014 15:17, Benjamin Peterson wrote:
>> On Sat, Nov 15, 2014, at 05:54, Nathaniel Smith wrote:
>>> On 15 Nov 2014 10:10, "Paul Moore" wrote:
>>> >
>>> > > Incidentally, it would be really useful if python.org provided stable
>>> > > u
On Mon Nov 17 2014 at 12:06:15 PM Stefan Bucur
wrote:
> Mark, thank you for the pointer! I will re-send my message there. Should I
> include both mailing lists in a single thread if I end up receiving replies
> from both?
No as cross-posting becomes just a nightmare of moderation when someone i
Also, I should mention mypy (mypy-lang.org), which is a much more ambitious
project that uses type annotations. I am trying to find time to work on a
PEP that standardizes type annotations to match mypy's syntax (with
probably some improvements and caveats). It's too early to post the PEP
draft but
Mark, thank you for the pointer! I will re-send my message there. Should I
include both mailing lists in a single thread if I end up receiving replies
from both?
Cheers,
Stefan
On Mon Nov 17 2014 at 4:04:45 PM Mark Shannon wrote:
> Hi,
>
> I think this might be a bit off-topic for this mailing
Hi,
I think this might be a bit off-topic for this mailing list,
code-qual...@python.org is the place for discussing static analysis tools.
Although if anyone does have any comments on any particular checks
they would like, I would be interested as well.
Cheers,
Mark.
On 17/11/14 14:49, Stefa
I'm developing a Python static analysis tool that flags common programming
errors in Python programs. The tool is meant to complement other tools like
Pylint (which perform checks at lexical and syntactic level) by going
deeper with the code analysis and keeping track of the possible control
flow p
12 matches
Mail list logo
