「関数プログラミング」以外には、関数型言語の哲学が学べる和書ってないの？
無いなら洋書でもいいけど、なにかある？

あるいは、関数型言語と数学の繋がりを述べた本でもいい