A Gentle Introduction to Practical Types

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:


1 Like

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.

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