ぶらさがってしまう問題があります。いうのはあまり得意でないのでばっさり省きます。系のモジュールのマニュアルを見てください。あるのですが、邪道なのでここでは触れません。いう問いは後の章で説明されます。関数やっと関数型言語ぽい説明をするところまで来ました。関数適用に関しては、実はすでに使っています。いうように、空白で区切って連続して書けば関数適用になります。関数型言語なので、関数も値です。従って名前を付けて変数に入れることができます。関数の返値は最後に評価した式の値です。書くのはめんどくさいですね。いう場合の略記法もあります。いう型になっています。返す関数、と実戦的には読みます。知りたい人は「カリー化」という単語でググってみてください。足し算である、と決めたせいです。