Modal是一种基于重写概念的灵活通用编程语言，创建于2018年。它只有一个操作：查找模式并用另一个模式替换。Modal程序通过多次替换操作“进化”，将自身的部分替换，最终形成一个无法应用更多规则的“结果”。Modal程序操作一个全局“树”结构，所有搜索和替换操作都发生在这个全局树上。Modal可以定义特殊的语法形式，将自身转变为解析器、编译器和解释器的融合体，也可以用作元语言或定义新语言的语言。