博斯克协议（Bosque Protocol）是一个由美国华盛顿州立大学计算机科学教授 Mark Marron 提出的编程语言设计理念。该协议旨在将现有的编程语言设计中“瑕疵”和“复杂性”消除，从而提高代码的可读性、可维护性和可靠性。
博斯克协议的设计是基于以下几个原则：
1. 简单性：语言设计应该尽可能简单，以减少代码中的错误、提高可读性和可维护性。
2. 可靠性：语言设计应该减少常见的编程错误和降低代码出错的概率。
3. 高效性：语言设计应该既能够支持高效的代码编写，也能够支持高效的代码执行。
4. 安全性：语言设计应该能够在编译时和运行时检测和防止各种类型的代码漏洞和攻击。
博斯克协议采用了一些现有语言的设计思想和技术，如类型推断和泛型编程，同时还引入了一些新的特性，如混合类型系统（blended type system）和‘流元’（flowing element）等，以实现协议的设计目标。