Haskell: tại sao quy ước đặt tên một hàm trợ giúp là “go”?

Tôi thấy gorất nhiều khi đọc tài liệu hoặc nguồn của Haskell, nhưng tôi chưa bao giờ thực sự thoải mái về nó - (tôi đoán nó mang hàm ý tiêu cực của "goto" trong tâm trí tôi). Tôi bắt đầu học Haskell với LYAH, và đó là nơi tôi chọn ra xu hướng sử dụng accvà stepkhi viết các nếp gấp. Quy ước về chữ viết gobắt nguồn từ đâu?

Quan trọng nhất, chính xác cái tên gođược cho là ngụ ý gì?

Hừ! Khảo cổ học nào đó!

Kể từ khoảng năm 2004, tôi đã sử dụng golàm tên chung cho các vòng lặp worker đệ quy đuôi, khi thực hiện chuyển đổi worker / wrapper của một hàm đệ quy. Tôi bắt đầu sử dụng nó rộng rãi trong bytestring, ví dụ:

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 #-}

là từ bytestringtháng 8 năm 2005.

Điều này đã được viết trong RWH , và có lẽ đã được phổ biến từ đó. Ngoài ra, trong thư viện tổng hợp luồng , Duncan Coutts và tôi đã bắt đầu làm việc đó rất nhiều.

Từ các nguồn GHC

Mặc dù vậy, thành ngữ còn đi xa hơn. foldrtrong GHC.Base được đưa ra là:

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

đó có lẽ là nơi tôi đã chọn ra mẹo (tôi đã nghĩ rằng đây là từ luận án của Andy Gill, nhưng không thể tìm thấy bất kỳ công dụng nào goở đó). Nó không được đưa ra dưới dạng này trong Gofer, vì vậy tôi nghĩ nó xuất hiện lần đầu tiên trong cơ sở mã GHC.

Đến năm 2001, Simon Marlow đã sử dụng gotrong một số mã cấp hệ thống, vì vậy chúng ta có thể đổ lỗi ở đâu đó trong GHC và manh mối này dẫn chúng ta đến nguồn GHC , nơi gođược sử dụng rộng rãi trong các hàm worker:

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 và Glasgow

Đào lại các bản GHC cũ, chúng ta thấy trong GHC 0.29 không thấy xuất hiện thành ngữ này, nhưng đến loạt bài GHC 3.02 (1998) thì gothành ngữ này xuất hiện khắp nơi. Một ví dụ, trong Numeric.lhsđịnh nghĩa của showInt, từ năm 1996-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'
      }}

đây là cách triển khai khác với cách được đưa ra trong báo cáo H98 . Tuy nhiên, đi sâu vào việc triển khai "Numeric.lhs" , chúng tôi thấy rằng nó không giống với phiên bản đã được thêm vào GHC 2.06 vào năm 1997 và một bản vá rất thú vị từ Sigbjorne Finne xuất hiện, vào tháng 4 năm 1998, thêm một govòng lặp tới Numeric.lhs.

Điều này nói rằng ít nhất vào năm 1998, Sigbjorne đã thêm gocác vòng lặp vào thư viện "std" GHC, trong khi đồng thời, nhiều mô-đun trong lõi trình biên dịch GHC có gocác vòng lặp. Tìm hiểu sâu hơn, cam kết rất thú vị này từ Will Partain vào tháng 7 năm 1996 thêm một vòng lặp "go" vào GHC - tuy nhiên, mã đến từ Simon PJ!

Vì vậy, tôi sẽ gọi đây là một thành ngữ Glasgow được phát minh bởi những người tại Glasgow, những người làm việc trên GHC vào giữa những năm 90, chẳng hạn như Simon Marlow , Sigbjorn Finne , Will Partain và Simon Peyton Jones .

Rõ ràng câu trả lời của Don là đúng. Hãy để tôi chỉ thêm vào một chi tiết nhỏ (vì nó có vẻ là bài viết của tôi mà bạn đang trực tiếp đề cập đến): go là tốt vì nó chỉ có hai chữ cái.

Ồ, và lý do cuốn sách Yesod dành nhiều nội dung cho gói điều tra viên là vì tôi đã viết hướng dẫn ba phần về điều tra viên dưới dạng một loạt bài đăng trên blog, vì vậy tôi quyết định đưa nó vào cuốn sách. Gói điều tra viên được sử dụng ở một số nơi trên Yesod, vì vậy nó có liên quan.

Tôi mong rằng thành ngữ này không chỉ có thể áp dụng cho các cấu trúc tuyến tính (và do đó là "vòng lặp"), mà còn cho các cấu trúc phân nhánh (giống cây).

Tôi tự hỏi tần suất gomẫu tương ứng với các tham số tích lũy và nói chung là với các chiến lược mã hóa tiếp tục mà Mitch Wand đã khám phá trong bài báo Chiến lược chuyển đổi chương trình dựa trên liên tục (một trong những bài báo yêu thích nhất mọi thời đại của tôi). Trong những trường hợp này, gohàm có một ý nghĩa cụ thể, sau đó có thể được sử dụng để lấy mã hiệu quả từ một đặc tả trang nhã.