下面的列表理解在哈斯克尔：
(i, 1) | i <- [7,7,7,8,8,8,2,2,1,1]
将输出以下元组：
[(7,1),(7,1),(7,1),(8,1),(8,1),(8,1),(2,1),(2,1),( 1,1),(1,1)]
Isabelle 中的等效代码是什么？
[(i, 1) . i <- [7,7,7,8,8,8,2,2,1,1]]
这将被自动翻译成
map (λi. (i, 1)) [7, 7, 7, 8, 8, 8, 2, 2, 1, 1]
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
点击生成二维码
我来说两句