Computer Science · Programming Languages

Static vs Dynamic Typing

A topic within Programming Languages, itself one of 13 topics in that field and part of Computer Science.

Reading on Static vs Dynamic Typing

2 works

Paper2004

Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages

Erik Meijer & Peter Drayton

Argues the static-versus-dynamic typing debate is a false choice, because real languages gain from static checking wherever a type is known and from dynamic dispatch wherever it is not yet.

13 pageslink checked 17 Sept 2026

Computer Science · Programming Languages

FreeIntermediate

Paper2006

Gradual Typing for Functional Languages

Jeremy Siek & Walid Taha

Defines a type system letting statically and dynamically typed code coexist in one program, with a formal account of exactly where a runtime type error can originate as it crosses the boundary.

12 pageslink checked 17 Sept 2026

Computer Science · Programming Languages

FreeAdvanced

Reading on Static vs Dynamic Typing

Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages

Gradual Typing for Functional Languages

Other topics in Programming Languages