ice_1替代为：codice_2.在APL、Haskell、Clean、Erlang、occam、、OCaml、Swift与Scala程序设计语言中，这一术语有特殊含义。Mathematica中，卫被称为约束（constraints）。形式化方法的一种语言，守卫命令语言中，卫是基础概念。在增强的中，卫语句用于跳过一些即使结构匹配的模式。条件语句中的布尔表达式也符合卫的定义，虽然被称作“条件”。下述Haskell语言的例子，卫出现在每对"|"与"="之间：f x这类似于如下的数学