Open Krantz-XRF opened 3 years ago
https://krantz-xrf.github.io/2020/10/16/list-comprehensions.html
上一周《计算概论（A）：函数式程序设计》课上讲到了列表生成式（list comprehensions），可以理解成是Haskell语言的一个语法糖（syntactic sugar）。这里我们将介绍Haskell 2010 Report(1)中给出的一种转译方案（translation strategy），可以用来...
https://krantz-xrf.github.io/2020/10/16/list-comprehensions.html
上一周《计算概论（A）：函数式程序设计》课上讲到了列表生成式（list comprehensions），可以理解成是Haskell语言的一个语法糖（syntactic sugar）。这里我们将介绍Haskell 2010 Report(1)中给出的一种转译方案（translation strategy），可以用来...