Racket:for 内部的词法范围

Question

在 Haskell 中，在列表推导中，我可以在每次迭代时将表达式绑定(bind)到一个变量:

[a | x <- xs, let a = x ^ 2, a >= 25]

如何在 Racket 的 for 理解中绑定(bind)词法变量？

目前我有这个代码:

(define (euler4)
  (apply max
         (for*/list ([i (in-range 100 1000)]
                     [j (in-range i 1000)]
                     #:when (string=? (number->string (* i j))
                                      (string-reverse (number->string (* i j)))))
           (* i j))))

我想将 (* i j) 绑定(bind)到一个变量，并将表达式替换为函数中的任何位置。

Answer 1

使用 in-value表单具有绑定(bind)到单个值的循环变量。

在你的例子中:

(define (euler4)
  (apply max
         (for*/list ([i (in-range 100 1000)]
                     [j (in-range i 1000)]
                     [ij (in-value (* i j))]
                     #:when (string=? (number->string ij)
                                      (string-reverse (number->string ij))))
           (* i j))))