typet

typet copied to clipboard

```python from typet import Object class Base(Object): x: int = 5 class Sub(Base): pass Sub().x ```

dangle

When using @singleton on a class that does not inherit from Object (no other metaclasses defined) throws an exception. ``` Traceback (most recent call last): File "", line 1, in...

dangle

When using a default value, the type should be inferred from that value instead of requiring it to be specified.

dangle

Non Object attributes violate the expectations of the __hash__ function.

1

If I make a proper typet Object, I can still assign to its attributes at run time, subsequent comparison or hash operations on the resulting instance will now return unexpected...

zancas

Currently, using Generics with Object is a pain. Initial support for casting and type validation exist, but creating the class itself is awkward as it requires creating a metaclass. ```python...

dangle

Perhaps we could say "checking"?

zancas

`mypy` reports validation objects as invalid type aliases. Additionally, if a validation type is used as a class annotation without being aliased, `mypy` ends analysis with an invalid syntax error....

dangle

Ideas for built-in types.

3

`typet` needs to supply a rich collection of types by default. This issue will track ideas for the initial types.

dangle

The project needs to be thoroughly documented with examples and tutorials.

dangle