« earlier | later »
Page 1 of 1
PEP 483 - The Theory of Type Hints | Python.org
A type-theoretic approach to Python -- good to see!
to language-design programming python type-theory types ...
on 22 March 2015
by Adam Sampson.