计算代数:通用计算机代数系统作为Haskell中的EDSL