This page temporarily redirects to gemini://dcreager.net/theory/gradual-types/.
a theory for integrating static and dynamic typing within a single language that 1) puts the programmer in control of which regions of code are statically or dynamically typed and 2) enables the gradual evolution of code between the two typing disciplines
[Siek2015]
=> [Siek2015] “Refined Criteria for Gradual Typing”
=> » Theory | » Languages » Python » Typing This content has been proxied by September (3851b).Proxy Information
text/gemini;lang=en