저도 한 번 훑어봤는데,
이 책에 Applicative Functor 안 나오죠?
class Functor f => Applicative F where
__ pure :: a → f a
__ <*> :: f (a → b) → f a → f b
-- APPLICATIVE'S LAWS
pure id <*> v == v -- IDENTITY
pure f <*> pure x == pure (f x) -- HOMOMORPHISM
u <*> pure y == pure ( $ y) <*> u -- INTERCHANGE
pure (.) <*> u <*> v <*> w == u <*> (v <*> w) -- COMPOSITION
뭐하는 책인데
프로그래머에게 범주론 알려주는 책임. 함수형 언어 하쉴? - λ
https://bartoszmilewski.com/2017/02/06/applicative-functors/
그 책에서 찾긴 힘들지만 내용이 필요한 거면 여길 보는 건 어떨까.
솔직히 저 책도 그렇고 난이도에 비해 범주론이 실제 프로그래밍에 어떻게 유용해질지 감이 안 옴.
오 감사합니다 - λ
닉언 자제좀
그럼 그거 공지에 추가하는 건 어떰?
category theory 처음 접하시는 분은 bartoz 선생님의 유튜브 강의를 보시는게 좋습니다.
저 시간 없어서 거의 못 읽었어요.. - return 0;