関数型パラダイムは何故普及してきたのかを考える