[%] 내가 잘못 알고 있었네

[기괴공학도(mecheng98)]

이것이 Applicative의 법칙과 동등하다고 합니다.

ㅈ문가질 ㅈㅅ;; 쪽팔려라 ㅋㅋ

[나니킷(nanikit)]

애초에 무슨 의문을 가졌고 뭘 알았는지 아는 사람이 있을까 싶은데. 나도 무지한 사람이니 좀 더 친절한 설명을 요구함.

[기괴공학도(mecheng98)]

왜 4개의 법칙(identity, compoistion, homomorphism, interchange)이 Applicative의 법칙이어야 하는지가 궁금함.

[나니킷(nanikit)]

의문을 해결한 줄 알았는데 그게 아니었나;;
https://cs.stackexchange.com/a/79901
난 수학적인 쪽에 젬병이지만 네가 찾던 게 이거임?

[기괴공학도(mecheng98)]

ㅇㅇ 여기에 있는 Idiom 논문 읽는 중.