Unlambda
「s」は汎用の評価演算子である。「```sABC」というプログラムは、A、B、Cの値に関係なく、「``AC`BC」と評価される。この「s」と「k」だけでいかなる計算も行えるという事実は、注目すべき点である。例えば、恒等関数「i」は「``skk」によって実現することができる。なぜなら、「```skkA」は、いかなる A に対しても A を返すからである。
Unlambda言語の唯一のフロー制御機構は「c」演算子によって提供される「現在の継続を伴う呼び出し」(call with current continuation) である。「`cA」というコードが評価されると、その瞬間の処理系の状態を表す「継続」と呼ばれる特殊なオブジェクトが生成される。続いて「A」の部分が評価され、その評価結果に対して、先の継続オブジェクトが引数として渡される。もしも、その継続が引数として渡されることがなければ、コード「`cA」の評価値は「A」の評価値と同じになる。しかし、その継続オブジェクトが「B」に渡されたなら、「A」の実行はすぐに中断され、コード「`cA」の全体としての評価は「y」になる。
Unlambda言語の既定の評価戦略は先行評価であるが、d演算子をつかえば遅延評価をさせることもできる。