Isabelle 中的等效 Haskell 列表理解
Equivilant Haskell list comprehensions in Isabelle
以下List Comprehension in Haskell：
(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]
以下List Comprehension in Haskell：
(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]