質問です。
関数型言語って
有る値の集合を有る値の集合へもっていく方法を
記述すると考えてよろしいのでしょうか?