Re: [Python-Dev] Python startup time - daemon

2018-05-11 Thread Guido van Rossum
On Fri, May 11, 2018 at 11:57 PM, Barry Warsaw wrote: > On May 11, 2018, at 12:23, Guido van Rossum wrote: > > > > Indeed, we have an implementation of this specific to mypy. > > Is there anything in mypy’s implementation that can be generalized into a > library? > Not sure, here's the code: ht

Re: [Python-Dev] Python startup time - daemon

2018-05-11 Thread Barry Warsaw
On May 11, 2018, at 12:23, Guido van Rossum wrote: > > Indeed, we have an implementation of this specific to mypy. Is there anything in mypy’s implementation that can be generalized into a library? -Barry signature.asc Description: Message signed with OpenPGP ___

Re: [Python-Dev] Python startup time - daemon

2018-05-11 Thread Guido van Rossum
Indeed, we have an implementation of this specific to mypy. On Fri, May 11, 2018 at 11:34 AM, Antoine Pitrou wrote: > > Yes, you don't want this to be a generic utility, rather a helper > library that people can integrate into their command-line applications > to enable such startup caching. > >

Re: [Python-Dev] Python startup time - daemon

2018-05-11 Thread Antoine Pitrou
Yes, you don't want this to be a generic utility, rather a helper library that people can integrate into their command-line applications to enable such startup caching. Regards Antoine. On Fri, 11 May 2018 17:27:35 +0200 Oleg Broytman wrote: > On Fri, May 11, 2018 at 07:38:05AM -0700, Chris B

Re: [Python-Dev] Python startup time - daemon

2018-05-11 Thread Oleg Broytman
On Fri, May 11, 2018 at 07:38:05AM -0700, Chris Barker - NOAA Federal via Python-Dev wrote: > Could one make a little startup utility that, when invoked the first > time, starts up a raw python interpreter, keeps it running somewhere, > and then forks it to run the actual python code. > > Then e