Maple における関数型演算子は手続きの特殊な形です。関数型演算子は、次のような「矢印」記法を使って表します。

ここで、vars は変数名の並び（または，１つの変数）であり、result はその手続きを vars に作用した結果です。

たとえば、

は、その引数を2乗する関数を表しています。

多変数関数やベクトル値関数も許されます。vars や result が式列になる場合には、必ずそれらを括弧でくくる必要があります。たとえば、次のような関数の表現は、正しい構文です。

関数型演算子を生成する別の方法として、unapply 関数を利用する方法もあります。（トピック ?unapply を参照して下さい。）

その内部的なデータ構造は手続きと同じなので、関数型演算子は数式で与えた関数を「手続き化」するプロセスだと解釈するとよいでしょう。

関数型演算子

の意味は次の手続きと同じです。         proc(vars) option operator, arrow; result end

Maple は関数型演算子（より正確には、オプション演算子を持つ手続き）に対して、いくつかの簡単化を自動的に実行します。たとえば、x -> sin(x) は sin になってしまいます。

数値定数 numeric に対する定数演算子 () -> numeric は簡単化されて、単に numeric になってしまいます。

任意の変数名 x に対して、恒等演算子は x -> x と表されます。

f := x -> 3*x + 5;

f(2);

g := (x,y) -> sin(x)*cos(y) + x*y;

g(Pi/2, Pi);

h := x -> (2*x, x^3);

h(3);