[일반] 범주론 개념이 많이 차용되네

[기괴공학도(mecheng98)]

Haskell 형이론 책을 보는데

Covariant, Contravariant, Invariant가 나와서 검색해보니까

이것도 범주론에서 빌린 개념이래 ㄷㄷ

난 읽어도 뭔 소린지 모르겠어

- dc official App

[익명(223.62)]

하스켈 monad나 functor같은 거 수학 범주론에서 아이디어 따온건 맞긴 한데 막상 보면 좀 다르긴 함

[기괴공학도(mecheng98)]

ㅇㅇ 나는 모나드의 수학적 개념을 이해 못했는데도 Haskell에서 모나드 잘만 씀. 하지만 수학적 개념을 이해해보고 싶음. - dc App