fmap은 왜 function을 두 번째 매개 변수로 사용할 수 있습니까
1246 단어 function
fmap :: Functor f => (a -> b) -> f a -> f b분명히 첫 번째 파라미터는function이고, 두 번째 파라미터는functor의instance이다
근데 저희가 이렇게 써요.
ghci> let f = (*5) ghci> let g = (+3) ghci> (fmap f g) 8그리고 마지막에 55를 얻었어요.
이걸 봤을 때 저와 제 친구들이 깜짝 놀랐어요!
털을 위해, 분명히 x->y의 function이야, 털을 위해!!!
나중에 구과 선생님의 지시를 받았다
a+b 우리는 (+)ab로 볼 수 있다
동리 a->b는 바로 (->)ab
Int -> Int는 (->) Int Int, (->) Int는 Functor로 볼 수 있습니다.
우리 fmap 좀 봅시다
(a -> b) -> f a -> f b
f를 (->)r로 바꿉니다.
(a -> b) -> ((->) r a) -> ((->) r b)
계속 (->)rx를 r->x로 바꾸면
(a -> b) -> (r -> a) -> (r -> b)
낯이 익어서 나무가 있다!기능 구성 아닌가..
뒤져보니까(->r) instance도 그렇습니다.
instance Functor ((->) r) where
fmap = (.)
이 내용에 흥미가 있습니까?
현재 기사가 여러분의 문제를 해결하지 못하는 경우 AI 엔진은 머신러닝 분석(스마트 모델이 방금 만들어져 부정확한 경우가 있을 수 있음)을 통해 가장 유사한 기사를 추천합니다:
콜백 함수를 Angular 하위 구성 요소에 전달이 예제는 구성 요소에 함수를 전달하는 것과 관련하여 최근에 직면한 문제를 다룰 것입니다. 국가 목록을 제공하는 콤보 상자 또는 테이블 구성 요소. 지금까지 모든 것이 구성 요소 자체에 캡슐화되었으며 백엔드에 대한 ...
텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
CC BY-SA 2.5, CC BY-SA 3.0 및 CC BY-SA 4.0에 따라 라이센스가 부여됩니다.
좋은 웹페이지 즐겨찾기
