guages》中的抽象计算机编程语言（或编程语言家族）。名称是如下首字母缩写“If you See What I Mean”。尽管没有实现，它被证明为在编程语言开发中非常有影响力的语言，特别是函数式编程语言，比如SASL，Miranda，ML，Haskell和它们的后继者，还有数据流程编程语言如Lucid。
设计.ISWIM是带有由加了语法糖的lambda 演算组成的函数式核心的指令式语言，它增加了可变变量和赋值，和强力控制机制Landin的，它能够捕获当前的续体（Scheme