職業プログラマだから日々の仕事においてCやC++で仕事をする上で必要な
ことを勉強するわけだけど、それとは別に学問としてのプログラミングも
勉強したい。つまり言語の理論的な根拠とかね。

関数型言語はそういったことを求めるプログラマの期待には応えてくれるもの？
数学の知識（代数、基礎論）はほんの僅かですがあります。