関数型言語
Functional programming, computing, and algebra.