Haskell : 왜 도우미 함수의 이름을“go”로 명명하는 규칙이 있습니까?

Haskell : 왜 도우미 함수의 이름을“go”로 명명하는 규칙이 있습니까?

---

내가 볼 go하스켈 재료 나 소스를 읽을 때 많은,하지만 난 그것에 대해 정말 편안 적이 없습니다 - (나는 내 마음에 "고토"의 부정적인 내포를 가지고 추측). 나는 LYAH와 함께 Haskell을 배우기 시작했고, 그것이 내가 사용하는 경향 acc과 step접는 부분을 쓸 때 알게 된 곳 입니다. 글쓰기 관습은 어디 go에서 왔습니까?

가장 중요한 것은 이름이 정확히 무엇 go을 의미해야 하는가?

---

흠! 일부 고고학!

2004 년경부터 go재귀 함수의 작업자 / 래퍼 변환을 수행 할 때 꼬리 재귀 작업자 루프의 일반 이름으로 사용 했습니다. 나는 널리에서 그것을 사용하기 시작 bytestring, 예를 들어,

foldr :: (Word8 -> a -> a) -> a -> ByteString -> a
foldr k v (PS x s l) = inlinePerformIO $ withForeignPtr x $ \ptr ->
        go v (ptr `plusPtr` (s+l-1)) (ptr `plusPtr` (s-1))
    where
        STRICT3(go)
        go z p q | p == q    = return z
                 | otherwise = do c  <- peek p
                                  go (c `k` z) (p `plusPtr` (-1)) q -- tail recursive
{-# INLINE foldr #-}

출신 bytestring2005 년 8 월.

이것은 RWH로 작성 되었고 아마도 거기에서 대중화되었을 것입니다. 또한 스트림 퓨전 라이브러리에서 Duncan Coutts와 저는 많은 일을 시작했습니다.

GHC 소스에서

관용구는 더 멀리 돌아갑니다. foldrGHC.Base 는 다음과 같이 제공됩니다.

foldr k z = go
      where
         go []     = z
         go (y:ys) = y `k` go ys

아마도 내가 트릭을 집어 들었던 곳일 것입니다 (나는 이것이 Andy Gill의 논문에서 나온 것이라고 생각했지만 go거기에서 어떤 용도도 찾을 수 없습니다 ). 그것은 하지 않습니다 나는이 처음 GHC 코드베이스에 등장 생각, 그래서 레이터에서이 형태로 주어진다.

2001 년, 사이먼 말로우는 사용했다 go우리는 GHC에서 비난 곳, 그리고이 단서 리드 우리 둘 수 있도록 시스템 수준 코드의 일부 GHC 소스 , go널리 작업자 기능에 사용됩니다 :

myCollectBinders expr
  = go [] expr
  where
    go bs (Lam b e)          = go (b:bs) e
    go bs e@(Note (SCC _) _) = (reverse bs, e)
    go bs (Cast e _)         = go bs e
    go bs (Note _ e)         = go bs e
    go bs e                  = (reverse bs, e)

GHC 3.02 및 글래스고

GHC의 이전 버전을 파헤쳐 보면 GHC 0.29에서는이 관용구가 나타나지 않지만 GHC 3.02 시리즈 (1998)에서는 go관용구가 모든 곳에 나타납니다. 의 Numeric.lhs정의에있는 showInt1996-1997 년의 예 :

showInt n r
  | n < 0     = error "Numeric.showInt: can't show negative numbers"
  | otherwise = go n r
    where
     go n r =
      case quotRem n 10 of                 { (n', d) ->
      case chr (ord_0 + fromIntegral d) of { C# c# -> -- stricter than necessary
      let
    r' = C# c# : r
      in
      if n' == 0 then r' else go n' r'
      }}

이것은 H98 보고서에 제공된 것과는 다른 구현 입니다. 그러나 "Numeric.lhs" 구현을 살펴보면 1997 년 GHC 2.06에 추가 된 버전과 동일하지 않으며 Sigbjorne Finne의 매우 흥미로운 패치가 1998 년 4 월에 나타납니다 . goNumeric.lhs로 루프합니다.

이는 1998 년 적어도 Sigbjorne가 추가 것을 말한다 go동시에, 많은 동안 GHC에 루프하는, 라이브러리를 "STD" GHC 컴파일러 코어 모듈은 한 go루프를. 더 자세히 살펴보면 1996 년 7 월 Will Partain 의이 매우 흥미로운 커밋은 GHC에 "go"루프를 추가합니다 . 코드는 Simon PJ에서 가져온 것입니다!

그래서 저는 이것을 글래스고의 사람들이 발명 한 글래스고 관용구 라고 부를 것입니다. 그는 Simon Marlow , Sigbjorn Finne , Will Partain , Simon Peyton Jones 와 같은 90 년대 중반 GHC에서 일했습니다 .

---

Obviously Don's answer is the correct one. Let me just add in a small detail (since it seems to be my writing that you're directly referring to): go is nice because it's only two letters.

Oh, and the reason the Yesod book devotes so much content to the enumerator package is because I'd already written up the three-part tutorial of enumerator as a blog post series, so decided I may as well include it in the book. The enumerator package is used in a number of places throughout Yesod, so it is relevant.

---

I'd expect this idiom to be applicable not just to linear structures (and hence "loops"), but also to branching (tree-like) structures.

I wonder how often the go pattern corresponds to accumulation parameters and, more generally, with the continuation-encoding strategites that Mitch Wand explored in the paper Continuation-Based Program Transformation Strategies (one of my all-time favorite papers). In these cases, the go function has a particular meaning, which can then be used to derive efficient code from an elegant specification.

참고URL : https://stackoverflow.com/questions/5844653/haskell-why-the-convention-to-name-a-helper-function-go