如何在 Clojure 中进行列表理解？

Question

我正在学习 Clojure，我找到了使用列表理解在 Haskell 书中找到直角三角形问题的解决方案，使问题巧妙地解决了：

寻找直角三角形

• 三边的长度都是整数。

• 每条边的长度小于或等于10。

• 三角形的周长（边长之和）等于 24。

在哈斯克尔：

ghci> let rightTriangles' = [ (a,b,c) | c <- [1..10], a <- [1..c], b <- [1..a],
a^2 + b^2 == c^2, a+b+c == 24]

ghci> rightTriangles'
[(6,8,10)]

Clojure 中有这么优雅的列表理解解决方案吗？

Answer 1

Clojure 有for语法：

(for [ c (range 1 (inc 10))
       a (range 1 (inc c))
       b (range 1 (inc a))
       :when (== (+ (* a a) (* b b)) 
                 (* c c))
       :when (== (+ a b c) 24) ]
  [a b c])

Answer 2

(for [c (range 1 11)
      a (range 1 c)
      b (range 1 a)
      :when (and (= (+ a b c) 24)
                 (= (* c c) (+ (* a a) (* b b))))]
  [a b c])

您还可以通过在c和a绑定之间插入:let [c2 (* cc)]来提高性能，然后在:when使用c2 ，以避免不必要地频繁对c进行平方。

Clojure 的for基本上是列表 monad 的 do-notation，其中:when表现得像guard ， :let表现得像let 。 还有:while ，但我不知道对应的 haskell 是什么。