Haskellのpattern bindingについて # GHC7.8.3 4 Declarations and Bindings Haskellpattern bindingfunction bindingpattern binding p | gs1 = e1 | gs2 = e2 … | gsm = em where { decls } simple pattern binding`p = e`pattern binding Monomorphism Restrictionfunction bindingsimple pattern binding **** MRnon-simple pattern binding(MR) non-simple pattern binding `() - (simple pattern binding) = wherepattern binding` h :: Num a => [a] -> a h | guard = sum | otherwise = sum where guard = False simple pattern binding Stack Overflow`(x:xs) = f something``(f, g) = ((+), (-))`non-simple pattern bindingsimple pattern binding simple pattern binding`p`simple`p`)`f``g``Num a => a -> a -> a`MR # non-simple pattern binding

4.5.5

> a simple pattern binding is a pattern binding in which the pattern consists of only a single variable


`() - (simple pattern binding) = wherepattern binding``h`simple pattern binding`(x:xs) = f something``(f, g) = ((+), (-))`non-simple pattern binding

4.4.3.2 Pattern bindings