什麼時候在Haskell中使用「嚴格通配符」有用？它有什麼作用？

Question

我一直在尋找一些Haskell的源代碼，並與!_跨越模式匹配來了，代碼是在這裏：http://hackage.haskell.org/package/base-4.9.0.0/docs/src/GHC.List.html#unsafeTake

take n xs | 0 < n  = unsafeTake n xs 
      | otherwise = [] 

-- A version of take that takes the whole list if it's given an argument less 
-- than 1. 
{-# NOINLINE [1] unsafeTake #-} 
unsafeTake :: Int -> [a] -> [a] 
unsafeTake !_ []  = [] 
unsafeTake 1 (x: _) = [x] 
unsafeTake m (x:xs) = x : unsafeTake (m - 1) xs 

我真的不明白「嚴格通配符」是如何工作的，以及爲什麼它是有用此功能（或任何其他功能）。

Answer 1

的想法是，unsafeTake（和take爲此事），當被要求返回空列表的第一個元素m，它應該返回一個空列表，不管是什麼的m值。但是，如果m是引發異常的表達式呢？例如，unsafeTake undefined []返回[]會很奇怪。所以我們需要確保m的計算結果爲整數，即使我們不關心它的確切值（當然是空列表的情況）。這使得unsafeTake的行爲方式與第一個參數相同，不管第二個參數（列表）是否爲空。