Add typehints for richer editor support #22

New Issue

p.karagiannis · 2020-12-15T23:05:16+01:00

p.karagiannis commented

2020-12-15 23:05:16 +01:00

One of the major benefits of adding type hints to python code is that it makes the latter dev experience since it helps autocomplete tools provide much more relevant completion results. The further obvious benefit is that static typing tools can help find bugs before runtime

p.karagiannis added the

Backend

label 2020-12-15 23:05:16 +01:00

o.winkels commented

2020-12-15 23:27:04 +01:00

This is a very small codebase and not performance critical, plus my editor does not have support for this so i'm not interested.

But if somebody else wants to do this, PRs welcome :)

This is a very small codebase and not performance critical, plus my editor does not have support for this so i'm not interested. But if somebody else wants to do this, PRs welcome :)

o.winkels added the

help wanted

label 2020-12-15 23:27:09 +01:00

o.winkels changed title from ~~[Maintenance] Add typehints for richer editor support~~ to Add typehints for richer editor support

2020-12-15 23:46:49 +01:00

o.winkels added this to the basic depth estimation milestone 2020-12-16 00:05:49 +01:00

Sign in to join this conversation.