응용 프로그램 사이트에서는 동일하게 보이지만 물론 다릅니다. 당신이 그 두 가지 기능 중 하나에 적용하면 map또는 fmap값 목록에, 그들은 동일한 결과를 생성하지만 그는이 같은 목적을 위해 의미있는 것은 아닙니다.
GHCI 세션 (Glasgow Haskell Compiler Interactive)을 실행하여이 두 함수에 대한 정보를 쿼리 한 다음 구현을 살펴보면 많은 차이점을 발견하게됩니다.
지도
GHCI에 대한 정보를 쿼리하십시오. map
Prelude> :info map
map :: (a -> b) -> [a] -> [b] -- Defined in ‘GHC.Base’
모든 유형 a의 값 목록을 생성하는 모든 유형의 값 목록에 적용 할 수있는 고차 함수로 정의 된 것을 볼 수 b있습니다. (다형이지만 a및 b모든 유형의 상기 정의 스탠드로) map기능이 적용되도록 의도 값에서 하스켈 많은 사람들 중에서 단지 하나의 가능한 데이터 형식이다. map값 목록이 아닌 항목 에는 함수를 적용 할 수 없습니다.
GHC.Base 소스 코드 에서 읽을 수 있듯이 map함수는 다음과 같이 구현됩니다.
map _ [] = []
map f (x:xs) = f x : map f xs
패턴 일치를 사용 하여 목록 x의 꼬리 (the xs) 에서 머리 (the )를 빼낸 다음 :(cons) 값 생성자 를 사용하여 새 목록을 구성하여 앞에 추가합니다 f x( "f에 적용됨" 로 읽음 ). map목록이 비워 질 때까지 꼬리 위로 의 재귀에 . map함수 의 구현은 다른 함수에 의존하지 않고 그 자체에만 의존 한다는 점은 주목할 가치가 있습니다.
fmap
이제에 대한 정보를 쿼리 fmap하면 매우 다른 것을 볼 수 있습니다.
Prelude> :info fmap
class Functor (f :: * -> *) where
fmap :: (a -> b) -> f a -> f b
...
-- Defined in ‘GHC.Base’
이 시간 fmap은 Functor유형 클래스 에 속하려는 데이터 유형에 의해 구현이 제공되어야하는 함수 중 하나로 정의됩니다 . 이는 함수에 대한 구현을 제공 할 수있는 "값 목록" 데이터 유형 뿐만 아니라 둘 이상의 데이터 유형이있을 수 있음을 의미합니다 fmap. 이는 fmap훨씬 더 큰 데이터 유형 집합에 적용 할 수 있습니다. 실제로 펑터입니다!
GHC.Base 소스 코드 에서 읽을 수 있듯이 fmap함수 의 가능한 구현은 Maybe데이터 유형에서 제공하는 것입니다 .
instance Functor Maybe where
fmap _ Nothing = Nothing
fmap f (Just a) = Just (f a)
다른 가능한 구현은 2- 튜플 데이터 유형에서 제공하는 것입니다.
instance Functor ((,) a) where
fmap f (x,y) = (x, f y)
또 다른 가능한 구현은 목록 데이터 유형 (물론!)에서 제공하는 것입니다.
instance Functor [] where
fmap f xs = map f xs
map기능에 의존 합니다.
결론
map반면 함수 (값은 어떤 타입 인) 값들의 목록에 불과에 적용 할 수있는 fmap기능은 훨씬 더 많은 데이터 타입을 적용 할 수있는 다음 펑 클래스에 속하는 것들 (예 괜찮은 남자 튜플,리스트 등의 모든 ). 이후 "값에서" 다음 (그것의 구현을 제공하기 때문에), 데이터 타입은 펑이기도 fmap뿐만 아니라 매우 동일한 결과를 생산에 적용될 수있다 map.
map (+3) [1..5]
fmap (+3) (Just 15)
fmap (+3) (5, 7)