On structure and extensionality of fixed-point combinators in cl w 中不动点组合算子的结构与范式
As well as providing numerous combinators, haxml allows the inclusion of arbitrary computations in the haskell language as part of the filtering 除了可以提供很多组合程序外,haxml允许在haskell语言中包含任意计算作为过滤的一部分。