Editing Latent typing (section)

{{short description|Type system where types are associated with values and not variables}}
{{type systems}}

In [[computer programming]], '''latent typing''' refers to a type system where types are associated with [[value (computer science)|values]] and not [[variable (computer science)|variables]].<ref name="Tucker2004">{{cite book|author=Allen B. Tucker|title=Computer Science Handbook, Second Edition|url=https://books.google.com/books?id=9IFMCsQJyscC&pg=SA92-PA27|date=28 June 2004|publisher=Taylor & Francis|isbn=978-1-58488-360-9|pages=92–}}</ref> An example latently typed language is [[Scheme (programming language)|Scheme]]. This typically requires run-time type checking and so is commonly used synonymously with [[dynamic typing]].<ref name="Pierce2002">{{cite book|author=Benjamin C. Pierce|title=Types and Programming Languages|url=https://books.google.com/books?id=ti6zoAC9Ph8C&pg=PA2|date=January 2002|publisher=MIT Press|isbn=978-0-262-16209-8|pages=2–}}</ref>