KEMBAR78
Use caching for plugins? · Issue #3533 · python/mypy · GitHub
Skip to content

Use caching for plugins? #3533

New issue
New issue
Open
Open
Use caching for plugins?#3533
Labels
featureperformancepriority-1-normaltopic-pluginsThe plugin API and ideas for new plugins
@JukkaL

Description

@JukkaL
JukkaL
opened on Jun 13, 2017

Caching may speed up plugins significantly. Measure the potential performance impact of caching and implement caching if it seems worthwhile.

See also discussion at #3517.

Metadata

Metadata

Assignees

No one assigned

    Labels

    featureperformancepriority-1-normaltopic-pluginsThe plugin API and ideas for new plugins

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions