« 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
« earlier | later » Page 1 of 1
| - type-theory | |
| 1 | language-design |
| 1 | programming |
| 1 | python |
| 1 | type-theory |
| 1 | types |
tasty by Adam Sampson.