হাস্কেল: কনভেনশন কেন কোনও সহায়ক ফাংশনটির নাম রাখবেন "যান"?

Question 1

আমি goহাস্কেল উপাদান বা উত্স পড়ার সময় অনেক কিছুই দেখতে পাই , তবে আমি এটি সম্পর্কে সত্যই কখনই স্বাচ্ছন্দ্যবোধ করি না - (আমার মনে হয় এটি "মনের মধ্যে" গোটো "এর নেতিবাচক অর্থ আছে)। আমি LYH এর সাথে হাস্কেল শিখতে শুরু করেছিলাম এবং এটিই আমি ব্যবহার করার প্রবণতা accএবং stepভাঁজ লেখার সময় বেছে নিয়েছিলাম । লেখার জন্য সম্মেলনটি goকোথা থেকে এসেছে?

সর্বাধিক গুরুত্বপূর্ণ, নামটি goবোঝানোর কথা ঠিক কী ?

Question 2

হুঁ! কিছু প্রত্নতত্ত্ব!

২০০৪ সাল থেকে আমি 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 #-}

bytestringআগস্ট 2005 সালে ছিল ।

এটি আরডাব্লুএইচ-এ লেখা হয়েছিল এবং সম্ভবত সেখান থেকে জনপ্রিয় হয়েছিল। এছাড়াও, স্ট্রিম ফিউশন লাইব্রেরিতে, ডানকান কাউটস এবং আমি এটি প্রচুর করতে শুরু করেছি।

জিএইচসি সূত্র থেকে

আইডিয়ম যদিও আরও ফিরে যায়। foldrGHC.Base এ দেওয়া হয়:

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

এটি সম্ভবত যেখানে আমি কৌশলটি বেছে নিয়েছি (আমি ভেবেছিলাম এটি এন্ডি গিলের থিসিস থেকে এসেছে তবে goসেখানকার কোনও ব্যবহার খুঁজে পাচ্ছি না )। এটা তোলে নয় , Gofer এই ফর্মটি দেওয়া তাই আমি মনে করি এই প্রথম GHC কোড বেস দেখা যায়।

2001 এর মধ্যে, সাইমন মার্লো goসিস্টেম-লেভেলের কিছু কোড ব্যবহার করছিল , সুতরাং আমরা দোষটি কোথাও জিএইচসিতে রাখতে পারি এবং এই ক্লুটি আমাদের জিএইচসি উত্সের দিকে নিয়ে যায় , যেখানে 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)

জিএইচসি 3.02 এবং গ্লাসগো

জিএইচসি-র পুরানো সংস্করণগুলি খনন করে, আমরা দেখতে পাচ্ছি যে জিএইচসি 0.29-এ এই প্রতিমাটি উপস্থিত হয় না, তবে জিএইচসি 3.02 সিরিজ (1998) এর মাধ্যমে goপ্রতিমাটি সর্বত্র প্রদর্শিত হয়। 1996-1997 তারিখে তারিখে Numeric.lhsসংজ্ঞায়িত একটি উদাহরণ showInt:

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 সালে একটি যোগ goলুপটি নুমারিক.এলএইচএসে।

এটি বলছে যে কমপক্ষে 1998 এর মধ্যে সিগবজর্ন goজিএইচসি "স্টাডি" লাইব্রেরিতে লুপ যুক্ত করছিল , একই সময়ে, জিএইচসি সংকলক কোরের অনেকগুলি মডিউলgo লুপ ছিল । আরও খনন, জুলাই 1996 সালে উইল পার্টেনের থেকে এই খুব আকর্ষণীয় প্রতিশ্রুতি জিএইচসি-তে একটি "গো" লুপ যুক্ত করেছে - কোডটি সাইমন পিজে থেকে এসেছে যদিও!

তাই আমি এটাকে গ্লাসগোতে উদ্ভাবিত গ্লাসগো আইডিয়ম হিসাবে ডাকতে যাচ্ছি যারা 90 এর দশকের মাঝামাঝি সময়ে সায়মন মার্লো , সিগবজর্ন ফিন , উইল পার্টেন এবং সাইমন পাইটন জোন্স এর মতো জিএইচসি-তে কাজ করেছিলেন ।

Question 3

স্পষ্টতই ডনের উত্তরটি সঠিক। আমাকে কেবল একটি ছোট বিবরণ যুক্ত করতে দিন (যেহেতু এটি আমার লেখার মতো বলে মনে হচ্ছে যে আপনি সরাসরি উল্লেখ করছেন): যান চমৎকার কারণ এটি কেবল দুটি অক্ষর।

ওহ, এবং ইয়াসোদ বইটি গ্রাহকগণের প্যাকেজে এতগুলি বিষয়বস্তু নিবেদনের কারণ হ'ল কারণ আমি ইতিমধ্যে একটি ব্লগ পোস্ট সিরিজ হিসাবে অঙ্কের তিনটি অংশের টিউটোরিয়ালটি লিখে রেখেছি, তাই সিদ্ধান্ত নিয়েছি আমি এটিও বইটিতে অন্তর্ভুক্ত করতে পারি। গণক প্যাকেজটি ইয়েসোদ জুড়ে বেশ কয়েকটি স্থানে ব্যবহৃত হয়, সুতরাং এটি প্রাসঙ্গিক।

Question 4

আমি এই প্রবাদটি কেবল লিনিয়ার স্ট্রাকচার (এবং তাই "লুপস") নয়, শাখা (গাছের মতো) কাঠামোর ক্ষেত্রেও প্রযোজ্য বলে আশা করব।

আমি অবাক হই যে goকতক্ষণ প্যাটার্নটি সঞ্চয়ের পরামিতিগুলির সাথে সামঞ্জস্য হয় এবং আরও সাধারণভাবে, মিচ ওয়ান্ড কাগজটির ধারাবাহিকতা-ভিত্তিক প্রোগ্রাম রূপান্তর কৌশলগুলি (আমার সর্বকালের প্রিয় একটি কাগজপত্র) এর অন্বেষণকৃত ধারাবাহিকতা-এনকোডিং কৌশলগুলির সাথে । এই ক্ষেত্রে, goফাংশনটির একটি বিশেষ অর্থ রয়েছে, যা পরে মার্জিত স্পেসিফিকেশন থেকে দক্ষ কোড অর্জন করতে ব্যবহার করা যেতে পারে।