Автозаполнение Python джедая становится все медленнее

Question

Используя библиотеку автозаполнения джедаев, я обнаружил, что каждый вызов Script.completions() делает последовательные звонки медленнее.

В следующем коде я повторяю run функционировать три раза. Мне не понятно почему, но каждый занимает больше времени, чем предыдущий.

import jedi
import time

def measure(source):
  start = time.time()
  script = jedi.Script(source, line=1, column=0)
  script.completions()
  print(' %-20s%f' % (source, time.time() - start))

def run():
  start = time.time()
  measure('min(1,2)')
  measure('max(1,2)')
  measure('print("Hello")')
  measure('abs(1)')
  measure('set()')
  measure('dict()')
  print('Total: %f' % (time.time() - start))

run()
run()
run()

Результаты:

 min(1,2)            0.016168
 max(1,2)            0.014470
 print("Hello")      0.016843
 abs(1)              0.019889
 set()               0.023725
 dict()              0.025874
Total: 0.117067
 min(1,2)            0.029772
 max(1,2)            0.034207
 print("Hello")      0.034982
 abs(1)              0.038538
 set()               0.041346
 dict()              0.054610
Total: 0.233565
 min(1,2)            0.047249
 max(1,2)            0.050380
 print("Hello")      0.053113
 abs(1)              0.056774
 set()               0.059072
 dict()              0.062129
Total: 0.328825

Спасибо за любой совет о том, почему это может происходить и что я могу сделать, чтобы предотвратить это.

Answer 1

Эта проблема была исправлена ​​в последней основной ветке. Просто подождите, пока выйдет джедай 0.10.0.