A Gentle Introduction to Practical Types


#1

Hi all! I wrote up a quick blog post to introduce a friend of mine to understanding a little type theory. I’d appreciate it if people would critique the piece so I can make it more accurate:

https://leotindall.com/post/2017/09/29/a-gentle-introduction-to-practical-types/


#2

That is not accurate — Python integers don’t have a fixed size any longer. It used to be the case (in Python 2.x) that the int type was a machine sized integer while the long type could grow to any size. With Python 3, int became what was long in Python 2.


#3

Oh nice, I did not know that. I’ll update the post.