そういや,僕が関数型プログラミングで一番意味がわからないところは,「関数型プログラミングは数学的な意味での関数を使用することでプログラミングを行うこと」という感じの説明がされてると思うんですけど,Printf.printf とか数学的な意味での関数じゃねえじゃんってなるとこなんですよね...
関係データベースでも似たような話があって、RDBモデルは数学の集合論に基づいていてだから「正しい」のです、みたいな雑な主張を見かけたことがある
数学がそれ単体で工学的な正しさを証明するということはありえないはずなんだけど、なんとなく理論が数学的に整備されていることがハロー効果的にもっともらしい印象を与えてしまっているところがありそう
そんな雑なまとめ方する奴おるんか...?