Haskell에서 foldr를 사용하는이 함수가 작동하지 않는 이유를 이해하려고합니다.

tl; dr

다만 항상 명시 적 유형의 서명을 작성 , 그런 이상한 문제에서 다음 이제 안전 (r)을.

이전에는 작동했지만 지금은 작동하지 않는 이유 는 foldr이전에 서명이 있었기 때문입니다.

foldr :: (a -> b -> b) -> b -> [a] -> b

WikiBooks가 가정하는 것이지만, 최신 GHC에서는 실제로 더 일반적인 서명이 있습니다.

foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b

이전 버전 은 단순히을 선택하여 특별한 경우입니다 t ~ []. 그들이 그것을 변경 한 이유는 배열이나 맵과 같은 다른 컨테이너를 접을 수도 있기 때문입니다. 사실, 당신의 코드에서

echoes = foldr (\ x xs -> (replicate x x) ++ xs) []

입력 컨테이너가 목록이 될 필요가 없으므로 실제로 서명과 완벽하게 작동합니다.

echoes :: Foldable t => t Int -> [Int]

... 다시 한 번 [Int] -> [Int]특별한 경우이므로 해당 함수를 다음과 같이 사용할 수 있습니다.

> echoes [1,2,3]
[1,2,2,3,3,3]

뿐만 아니라

> echoes $ Data.Map.fromList [('a',2), ('c',5), ('b',1)]
[2,2,1,5,5,5,5,5]

또는 함수에 목록 별 서명을 제공 할 수 있습니다.

echoes' :: [Int] -> [Int]
echoes' = foldr (\x xs -> (replicate x x) ++ xs) []

똑같이 작동 [1,2,3]하지만 Map.

문제는 왜 GHC가 이러한 서명 중 하나를 자체적으로 추론하지 않는가입니다. 글쎄요, 만약 하나를 선택해야한다면, Foldable사람들이 이것을 다른 컨테이너와 함께 사용해야 할 수도 있고 Foldable t =>수량 자를 계속 반복하고 싶지 않을 것이기 때문에 더 일반적인 버전 이어야합니다 . 그러나 이것은 또 다른 Haskell 규칙 인 monomorphism 제한 과 모순 됩니다 . echoes구현이 명시 적으로 매개 변수를 허용 하지 않기 때문에 (포인트없이 만 수행) 상수 적용 양식 이며, 다형성으로 명시 적으로 지정되지 않는 한 독립형 CAF는 단 형성 유형을 가져야합니다. 따라서 오류 메시지가 나타납니다. GHC는 이것이 단일형이기를 원하지만 무엇 을 제한 하는 정보가 없습니다.Foldable선택할 콘크리트 용기.

이 문제를 해결하는 방법에는 네 가지가 있습니다.

• 아시다시피, 인수를 명시 적으로 범위로 가져옴으로써는 echoes더 이상 CAF가 아니므로 GHC는 다형성 유형을 유추합니다.

  echoes'' l = foldr (\x xs -> (replicate x x) ++ xs) [] l
  

  > :t echoes''
  echoes'' :: Foldable t => t Int -> [Int]

• 단 형성 제한을 비활성화하면 GHC는 CAF인지 더 이상 신경 쓰지 않고 다음과 같은 일반적인 유형을 제공합니다.

  {-# LANGUAGE NoMonomorphismRestriction #-}
  echoes''' = foldr (\x xs -> (replicate x x) ++ xs) []
  

  > :t echoes'''
  echoes''' :: Foldable t => t Int -> [Int]

• 권장 사항-XExtendedDefaultingRules 확장 기능을 켜면GHC가 자동으로[]CAF의 구체적인 단일 형태 컨테이너로선택합니다.

  {-# LANGUAGE ExtendedDefaultRules #-}
  echoes'''' = foldr (\x xs -> (replicate x x) ++ xs) []
  

  > :t echoes''''
  echoes'''' :: [Int] -> [Int]

  GHCi는 -XExtendedDefaultingRules기본적으로 활성화되어 있으므로 GHCi 프롬프트에서 함수를 선언하는 경우에도 마찬가지입니다.

• 강력하게 권장 서명을 명시 적으로 지정하면 사용자와 GHC 모두 특별한 GHC 확장을 요구하지 않고 의도 된 내용을 정확히 알고 그에 따라 동작합니다.

  echoes :: Foldable t => t Int -> [Int]
  echoes = foldr (\x xs -> (replicate x x) ++ xs) []
  
  echoes' :: [Int] -> [Int]
  echoes' = foldr (\x xs -> (replicate x x) ++ xs) []
  

  > :t echoes
  echoes :: Foldable t => t Int -> [Int]
  > :t echoes'
  echoes' :: [Int] -> [Int]