brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-10-09 22:41:13 +00:00
Code Issues Projects Releases Packages Activity

Added tags

Browse source
This commit is contained in:
Brandon Rozek 2020-02-16 17:46:18 -05:00
parent bca1f711a5
commit aa4280542b
50 changed files with 67 additions and 48 deletions
Download patch file Download diff file Expand all files Collapse all files

3
content/blog/pythontyping.md
View file

@ -2,6 +2,7 @@
title: "Python Typing"
date: 2019-10-28T00:12:34-04:00
draft: false
tags: [ "python" ]
---
There's a typing module built right into Python that you can use on your applications. Sobolevn write a great [blog post](https://sobolevn.me/2019/01/simple-dependent-types-in-python) about it. One thing that threw me off at first is that if you add type annotations and then run python like you normally would, it would act as if the annotations weren't there.
@ -11,4 +12,4 @@ Why use type annotations then?
1. It enhances your internal docs. VS Code and other editors pick this up and show it to the user in their IDE.
2. You can use `mypy` to perform type checking for you.
I go back and forth with type checking in Python, but I do think that forcing yourself to follow type safety makes you a better programmer.
I go back and forth with type checking in Python, but I do think that forcing yourself to follow type safety makes you a better programmer.