Make your functions return something meaningful, typed, and safe!
Features

Brings functional programming to Python land

Provides a bunch of primitives to write declarative business logic

Enforces better architecture

Fully typed with annotations and checked with mypy, PEP561 compatible

Adds emulated Higher Kinded Types support

Provides type-safe interfaces to create your own data-types with enforced laws

Has a bunch of helpers for better composition

Pythonic and pleasant to write and to read 🐍

Support functions and coroutines, framework agnostic

Easy to start: has lots of docs, tests, and tutorials

Mypy is an experimental optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking. Mypy programs are valid Python programs; run them using a standard Python VM with no translation, no compilation and with basically no runtime overhead.

Mypy is still in development. A significant subset of Python features is supported.

Practice typing the awkward characters in code.

my highscore so far: 666 points. accuracy ~75%.