Skip to content
This repository was archived by the owner on Aug 27, 2022. It is now read-only.

Update Types in Python tutorial #116

Merged
jpvillaisaza merged 2 commits into from
Feb 11, 2020
Merged

Update Types in Python tutorial #116

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
adf581d
Update Types in Python tutorial
jpvillaisaza Feb 11, 2020
dea0796
Fix mailto link
jpvillaisaza Feb 11, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 10 additions & 16 deletions tutorials/python/using-types-in-python-with-mypy/tutorial.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -268,6 +268,13 @@ print(union_add(x3, y3))

## Conclusion

Are you ready to start adding types in Python? If the answer is yes, let’s
create robust and type-safe code by using Type Annotations. The first thing that
you will start noticing is how the runtime bugs decrease. Please check out the
official Python [documentation for typings][python-docs]. There you can find
examples for other structures such as `Tuples`, `Dict`, `Generator`, and
inheritance.

Using static types will help us to prevent bugs and implementation issues by
proving program consistency. It also allows us to use Type-Driven Development,
and by doing this we decrease the amount of unit tests that we need to write.
Expand All @@ -279,22 +286,9 @@ need for tests, they rarely eliminate it entirely" (Brady, 2017, p.3).
For a deeper dive into Type-Driven Development, we suggest books like
[_Type-Driven Development with Idris_][tdd-idris]. Idris allows for more
expressive types than Python, but many of the concepts in the book can be used
in Python and other languages.

If you are concerned about program performance being affected by using Type
Annotations, there’s no need to be since Python doesn't check the types during
execution time. Loading the `typing` library does add some overhead during
development, but the effect is negligible. Because of this, types are available
in development for many [use cases][function-annotations] such as function
overloading, adaptation, database query mapping and meta-programming.

Are you ready to start adding types in Python? If the answer is yes, let’s
create robust and type-safe code by using Type Annotations. The first thing that
you will start noticing is how the runtime bugs decrease. Please check out the
official Python [documentation for typings][python-docs]. There you can find
examples for other structures such as `Tuples`, `Dict`, `Generator`, and
inheritance. If you are interested in sharing another technique to complement
this tutorial please send us an email to <community@stackbuilders.com>.
in Python and other languages. If you are interested in sharing other ways to
leverage types in Python, please feel free to reach out and share your
experience with us at <community@stackbuilders.com>.

[types-vs-tests]: https://www.stackbuilders.com/news/types-versus-tests-two-approaches-for-writing-correct-software
[tdd-idris]: https://www.manning.com/books/type-driven-development-with-idris
Expand Down