09/07/19 07:05:47 YNd63FhU0
>>244
予定調和って話で言ったら、テトの方が該当するだろ。
本来相互に作用するはずのない孤立した個々のものが、あたかも相互に関係している(相互調和している)ように見えるのは、神があらゆる状態の中で
最善のものを選んでいる(予め個々の要素の間に仕組まれた調和)からというのが、本来の予定調和説だし。
安価というモナドは孤立した存在だが、指定安価によってテトが形作られる様はまさに予定調和そのものだ。
お前さんが言ってるのは、単に提供者の意図通りに事が運ぶのが嫌なだけだろ。
そういうのに予定調和とか使うな。