我知道haskell中有“奇”和“偶”函数，但是“奇s”和“偶s"是什么意思呢？
odds和evens只是变量名。它们与odd和even函数没有直接关系。它们是复数（以s结尾），因为这是Haskell对列表的命名约定。
让我们从func [44, 8, 11, 23]开始，逐步完成示例输入。
由于这是一个递归函数，所以会有多个调用func，它们都有自己的局部变量。为了避免混淆，我将为每个调用的局部变量添加数字，例如x1和x2，而不仅仅是x。
首先，func [44, 8, 11, 23]匹配func的第三个子句func (x : y : xs)。

let
  x1 = 44
  y1 = 8
  xs1 = [11, 23]
  (odds1, evens1) = func xs1
in (x1 : odds1, y1 : evens1)

字符串
这可以简化一点。

let
  (odds1, evens1) = func [11, 23]
in (44 : odds1, 8 : evens1)

型
现在我们需要知道func [11, 23]的值。这也匹配第三个子句。

let
  (odds1, evens1) = let
    x2 = 11
    y2 = 23
    xs2 = []
    (odds2, evens2) = func xs2
    in (x2 : odds2, y2 : evens2)
in (44 : odds1, 8 : evens1)

型
再一次，我们可以简化。

let
  (odds1, evens1) = let
    (odds2, evens2) = func []
    in (11 : odds2, 23 : evens2)
in (44 : odds1, 8 : evens1)

型
最后，func []匹配第一个子句func [] = ([], [])。

let
  (odds1, evens1) = let
    (odds2, evens2) = ([], [])
    in (11 : odds2, 23 : evens2)
in (44 : odds1, 8 : evens1)

型
所以我们可以继续简化，直到我们得到一个解决方案。

let
  (odds1, evens1) = let
    odds2 = []
    evens2 = []
    in (11 : odds2, 23 : evens2)
in (44 : odds1, 8 : evens1)

let
  (odds1, evens1) = (11 : [], 23 : [])
in (44 : odds1, 8 : evens1)

let
  odds1 = 11 : []
  evens1 = 23 : []
in (44 : odds1, 8 : evens1)

(44 : 11 : [], 8 : 23 : [])

([44, 11], [8, 23])

一件一件来：

func (x:y:xs) = ...

字符串
当输入的长度>=2时，从x和y开始，然后继续列表xs.

... = (x:odds, y:evens)

型
.结果是一对，其第一个分量是x : odds，第二个分量是y : evens。变量odds和evens定义为.

where
    (odds, evens) = func xs

型
.这些（列表）值是由递归调用func xs产生的。
让我们举个例子：

func [1,2,3,4] =
func (1:2:xs) =   -- with xs = [3,4]
(1:odds, 2:evens) 
where (odds, evens) = func xs = func [3,4]

型
为了完成计算，我们计算递归调用：

func [3,4] =
func (3:4:xs2) =  -- with xs2 = []
(3:odds2, 4:odds2)
where (odds2, evens2) = func xs2 = func []

型
再递归调用一次computing，但这是立即的：func [] = ([], [])。
所以我们有

(odds2, evens2) = func [] = ([],[])
-- hence
odds2 = evens2 = []

型
发现了这一点后，我们从前面的方程中得到：

func [3,4] = (3:[], 4:[]) = ([3], [4])

型
所以我们有

(odds, even) = ([3], [4])
-- hence
odds = [3]
evens = [4]

型
所以我们从更古老的方程中得到：

func [1,2,3,4] = (1:odds, 2:evens) = (1:[3], 2:[4]) = ([1,3], [2,4])

型