1
`선택적`의 van Laarhoven 표현이 있습니까?
많은 유형의 광학 장치는 van Laarhoven 표현을 가지고 있습니다. 예를 들어, Lens유형 Lens s t a b 은 다음과 같이 나타낼 수 있습니다. Functor f => (a -> f b) -> s -> f t 유사하게는 Traversal, 스와핑, 비슷한 방법으로 표현 될 수 Functor에 대한 제약 조건을 Applicative: Applicative f …