cfbolz changed the topic of #pypy to: PyPy, the flexible snake (IRC logs: https://botbot.me/freenode/pypy/ ) | use cffi for calling C | mac OS and Fedora are not Windows
adamholmberg has quit [Remote host closed the connection]
adamholmberg has joined #pypy
adamholmberg has quit [Ping timeout: 252 seconds]
lritter has quit [Remote host closed the connection]
<mattip>
njs: that will be fun to port to pypy
<mattip>
it is really that much slower for mypy to do their thing in python?
<mattip>
and not rely on CPython internals?
<njs>
well I suspect that particular bit is because the perceived choice was between "steal CPython's parser and add some minor tweaks" versus "write a whole new parser from scratch"
<njs>
but uh, Jukka has since invented a whole new static compiler whose source language is "the subset of Python that mypy is written in", with the goal of speeding up mypy
<njs>
speed really is a huge issue for mypy, because they need to provide live type checking on million-line codebases with tens-of-millisecond latencies, and the folks with million-line codebases are paying their salaries
<mattip>
"speeding up mypy" or "generating c-extension modules from annotated python code, without cython" as a kind of AOT compiler?
<njs>
it would be pretty interesting to see how mypy+pypy compared to mypy+mypyc, I assume the typed-ast issue means no-one has ever checked
<njs>
and mypy is a big chunk of speed-sensitive algorithmic code with complex python data structures, that runs for a long time (it has a server mode, or in batch mode on a large codebase it easily burns through multiple minutes of CPU)
<njs>
which in theory sounds like the perfect case for pypy
<mattip>
mypy has PSF backing? It seems to live at github.com/python/mypy
<njs>
mattip: my suspicion is that the purpose of mypyc is "just speed up mypy, nothing else" when talking to his managers, and more ambitious when they aren't in the room
<njs>
mattip: mypy is Guido's day job and main focus for the last few years, so it has whatever official status that implies
<njs>
I don't think it has any funding from the PSF; mostly it's funded by companies, in particular dropbox
<njs>
it's crude but not totally wrong to say that mypy exists so that dropbox can figure out which parts of their codebase should be using str vs. bytes :-)