純粋関数型言語
関数がすべて純粋関数であるプログラミング言語
関数に副作用がない