Concept
Micro gradual typing
Books
Journey Statuslearning Tags
A Gradual typing approach where type annotations can be added to any subset of variables within the same code, freely mixing typed and untyped expressions.
A Gradual typing approach where type annotations can be added to any subset of variables within the same code, freely mixing typed and untyped expressions.