Harald Husum

@JelleZijlstra: Having slept on it, I realize this has a lot more in common with `NewType` than I first though. In [PEP484](https://www.python.org/dev/peps/pep-0484/#newtype-helper-function), the motivating for said type is the following...

Not sure there is a term for this kind of subclassing. Often, when doing subclassing, one does so in order to equip the sub-class with a more powerful set of...

> A related problem I'm thinking about is int types. Highly relevant for us as well. Often want to annotate something as a `StrictlyPositiveInt`, and so on. Then, `StrictlyPositiveInt +...

> It seems that some form of specialization is required to express this. I could imagine some unified `NewType` and `Protocol` that specializes a type could be used to express...

Was just bit by this issue. Hoping to see it worked on.

For reference, there are two other issues closely related to this one, covering the x axis (#799), and color axis (#3368). It would probably make sense to tackle all three...

For reference, there are two other issues closely related to this one, covering the y axis (#801), and color axis (#3368). It would probably make sense to tackle all three...

@nicolaskruchten Will look into your suggested options. Do you have a ballpark estimate for sponsorship cost for something like the collection of these issues?

The compile time issue in [umap](https://github.com/lmcinnes/umap) is caused by a dependency, [pynndescent](https://github.com/lmcinnes/pynndescent), that heavily uses pre-specified signatures. It would be great if one could set a config option to disable...

One good example here is `tensorflow`. See: https://www.tensorflow.org/install/pip You can install `tensorflow` from pypi through at least three different packages: `tensorflow`, `tf-nightly` and `tensorflow-cpu`. If you don't need gpu support,...