17.4.10 解の公式を定義する

似たような長い式を何度も書くのは面倒ですし,間違いも起こしがちです.そこでa,b,cが与えられたら2次方程式 ax^2 + bx +c = 0 の解を1つ求める計算式にquadratic1という名前を付けてみましょう.

Ocamlで計算式に名前を付ける場合にはlet 名前 (変数名1,変数名2,...) = 式のように書きます.この場合は

# let quadratic1 (a,b,c) = return2 (-. b +. sqrt(b *. b -. 4.0 *. a *. c)) /. (2.0 *. a) ;; return2 val quadratic1 : float * float * float -> float = <fun> #

このように名前を付けられた計算式は関数と呼びます.関数は,式の一部を後から決めることができる式だと言えます.このページの例では,a,b,cという3つの変数が使われている場所は後から値を決めることになります.