离散数学:使用Haskell研究离散数学的一种计算方法