Typical: Take Typing Further.
Project description
Typical: Take Typing Further. :duck:
Take Typing Further with Typical. Make your annotations work for you.
Quickstart
Typical is exceptionally light-weight (<30KB) and has only one dependency - python-dateutil, which it uses to parse date-strings into datetime objects.
In order to install, simply pip3 install typical and annotate to your
heart's content! :duck:
Motivations
In the world of web-services development, type-safety becomes necessary for the sanity of your code and your fellow developers. This is not to say that static-typing is the solution - When it comes to the external entrypoints to your code, not even a compiler is going to help you.
With Python3, type annotations were introduced. With Python3.7, the library was completely re-written for performance and ease-of-use. Type annotations are here to stay and I couldn't be happier about it.
However, there is one place where annotations fall down. There is no provided method for ensuring the type-safety of your methods and functions. This means if you're receiving data from an external source, (such as with a web service) you still need to do this work yourself.
Until now.
Automatic, Guaranteed Duck-Typing
Behold, the power of Typical:
>>> import typic
>>>
>>> @typic.al
>>> def multi(a: int, b: int):
... return a * b
...
>>> multi('2', '3')
6
Take it further...
>>> import dataclasses
>>> import enum
>>> import typic
>>>
>>> class DuckType(str, enum.Enum):
... MAL = 'mallard'
... BLK = 'black'
... WHT = 'white'
...
>>> @typic.al
... @dataclass.dataclass
... class Duck:
... type: DuckType
... name: str
...
>>> donald = Duck('white', 'Donald')
>>> donald.type
<DuckType.WHT: 'white'>
This is all fine and dandy, but can we go... further? :thinking:
>>> class DuckRegistry:
... """A Registry for all the ducks"""
...
... @typic.al
... def __init__(self, *duck: Duck):
... self._reg = {x.name: x for x in duck}
...
... @typic.al
... def add(self, duck: Duck):
... self._reg[duck.name] = duck
...
... @typic.al
... def find(self, name: str):
... """Try to find a duck by its name. Otherwise, try with type."""
... if name not in self._reg:
... matches = [x for x in self._reg.values() if x.type == name]
... if matches:
... return matches[-1] if len(matches) == 1 else matches
... return self._reg[name]
...
>>> registry = DuckRegistry({'type': 'black', 'name': 'Daffy'})
>>> registry.find('Daffy')
Duck(type=<DuckType.WHT: 'black'>, name='Daffy')
>>> registry.add({'type': 'white', 'name': 'Donald'})
>>> registry.find('Donald')
Duck(type=<DuckType.WHT: 'white'>, name='Donald')
>>> registry.add({'type': 'goose', 'name': 'Maynard'})
Traceback (most recent call last):
...
ValueError: 'goose' is not a valid DuckType
What Just Happended Here?
When we wrap a callable with @typic.al, the wrapper reads the
signature of the callable and automatically coerces the incoming data to
the type which is annotated. This includes varargs (*args and
**kwargs). This means that you no longer need to do the work of
converting incoming data yourself. You just need to signal what you
expect the data to be with an annotation and Typical will do the
rest.
The ValueError we see in the last operation is what we can expect when
attempting to supply an invalid value for the Enum class we used above.
Rather than have to write code to cast this data and handle stuff that's
invalid, you can rest easy in the guarantee that the data you expect is
the data you'll get.
What's Supported?
As of this version, Typical can parse the following inputs into valid Python types and classes:
- JSON
- YAML (if PyYAML is installed)
- Python code (via ast.literal_eval)
- Date-strings and Unix Timestamps (via python-dateutil)
- Custom
NewTypedeclarations.
Limitations
Forward Refs
A "forward reference" is a reference to a type which has either not yet
been defined, or is not available within the module which the annotation
lives. This is noted by encapsulating the annotation in quotes, e.g.:
foo: 'str' = 'bar'. Beware of using such syntax in combination with
Typical. Typical makes use of typing.get_type_hints, which scans the
namespace(s) available to the given object to resolve annotations. If
the annotation is unavailable, a NameError will be raised. This
behavior is considered valid. If you wish to make use of Typical for
type-coercion, make sure the annotated type is in the namespace of the
object you're wrapping and avoid Forward References if at all possible.
Special Forms
A "special form" is a type annotation which does not have a singular
resolution. Some common cases from the typing module are:
- Union
- Optional (which is an alias for
Union[<mytype>, None]) - Any
Because these signal an unclear resolution, Typical will ignore this flavor of annotation, leaving it to the developer to determine the appropriate action.
Documentation
Full documentation coming soon!
Happy Typing :duck:
How to Contribute
- Check for open issues or open a fresh issue to start a discussion around a feature idea or a bug.
- Create a branch on Github for your issue or fork the repository on GitHub to start making your changes to the master branch.
- Write a test which shows that the bug was fixed or that the feature works as expected.
- Send a pull request and bug the maintainer until it gets merged and published. :)
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
File details
Details for the file typical-1.0.0.tar.gz.
File metadata
- Download URL: typical-1.0.0.tar.gz
- Upload date:
- Size: 12.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/39.1.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 991d00a8be6dc0eb173d3cb710ff1ff96c7a04b62ad2285cc208a3a751fc05a7 |
|
| MD5 | c0ec1d6e472982afae13cd14b2278a42 |
|
| BLAKE2b-256 | f17f6e2fc6de664a5a3197cfc2566bb4852c764ae89866c83d8f7623202bb57b |
File details
Details for the file typical-1.0.0-py2.py3-none-any.whl.
File metadata
- Download URL: typical-1.0.0-py2.py3-none-any.whl
- Upload date:
- Size: 10.3 kB
- Tags: Python 2, Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/39.1.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 73663324a711b65d6a853cf267196e681c348599271f9f2a86a020e93d010eae |
|
| MD5 | c99551bf20c897e023cda6798986f5fa |
|
| BLAKE2b-256 | 99072b477e1b0d9e934e809fcd546b343cf926fc96d1fa1c968e3e47f124f4bd |
