La Dicotomía de Ousterhout (denominada por algunos la "Falsa dicotomía de Ousterhout" o la "Falacia de Ousterhout") es una división de los lenguajes de programación, propuesta por John Ousterhout, que plantea dos categorías fundamentales: la de los llamados "lenguajes de programación de sistemas" y la de los "lenguajes de scripting".