関数型プログラミング言語Haskell Part33

[0127 デフォルトの名無しさん 2020/03/30(月) 04:50:50.17 ID:BWxPCUH7]

モナドについてはDSLと言うのは言い得て妙で、mainはIO ()を得るために式を展開する。
その過程で副作用を含む式が動き出す。
個人的にはHaskellは副作用は有るが、参照透明性は崩れていないと言うのがHaskellが純粋関数型言語を主張する根拠なのだと思う。