奥斯特豪特二分法是计算机科学家约翰·奥斯特豪特提出的编程语言分类理论，将高级编程语言分为系统编程语言和脚本语言两类。系统编程语言通常静态类型化，支持创建复杂数据结构，编译成机器码执行，用于开发大型独立应用程序，例如操作系统和数据库。脚本语言则通常动态类型化，不擅长处理复杂数据结构，解释执行，主要用于连接其他程序或扩展现有程序的功能，例如Web页面生成和系统管理。该理论的设计理念贯穿于奥斯特豪特设计的Tcl语言中，但其对编译型和解释型语言的区分受到批评，被认为是武断的错误二分法。