如何在lambda上刷新，重制，修饰词法？

作者: star
发布时间: 2024-01-17 10:35:25 (5月前)
转自：

3 条回复

0#
回复此人
离线请留言 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 你的问题是 <code> eval </code> 。 <code> eval </code> 没有词汇环境从它被调用的地方而不是它最多具有顶级绑定。例如。 </p> <pre class="lang-scm prettyprint-override"> <code> (define x 12) (let ((x 10)) (eval '(+ x x))) ; ==> 24 </code> </pre> <P> <code> eval </code> 几乎总是错误的解决方案，通常可以用闭包替换，直接或用 <code> apply </code> 。这是我要做的： </p> <pre class="lang-scm prettyprint-override"> <code> (define (shuffle-generator lst) (define shuffled (shuffle lst)) (define (next-element) (when (null? shuffled) (set! shuffled (shuffle lst))) (begin0 (car shuffled) (set! shuffled (cdr shuffled)))) next-element) (define next-int15 (shuffle-generator '(1 2 3 4 5))) (define random-bool (shuffle-generator '(#t #f))) (random-bool) ; ==> #f (next-int15) ; ==> 5 (next-int15) ; ==> 4 (next-int15) ; ==> 2 (next-int15) ; ==> 1 (next-int15) ; ==> 3 (next-int15) ; ==> 3 (random-bool) ; ==> #t (random-bool) ; ==> #t </code> </pre> <P> 返回的值是随机的，所以它就是我第一轮的结果。而不是命名 <code> next-element </code> 一个人可以简单地返回lambda，但是名称提供了它的作用信息，调试器将显示名称。例如。： </p> <pre class="lang-scm prettyprint-override"> <code> next-int15 ; ==> #<procedure:next-element> </code> </pre> </DIV>

编辑
1#
回复此人
⑩Ⅵ嵗Ｄ夨憶 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 你不需要使用 <code> eval </code> 在这里。它使解决方案更加复杂（和 <a href="https://stackoverflow.com/questions/2571401/why-exactly-is-eval-evil"> 不安全 </A> ）比需要的。此外，“循环”逻辑是不正确的，因为你没有更新位置 <code> lst-nouns </code> ，无论如何，每次调用该过程时都会重新定义它。另外，请参阅 <a href="https://docs.racket-lang.org/guide/eval.html#%28part._.Local_.Scopes%29" rel="nofollow noreferrer"> 链接 </A> Sorawee分享了解原因 <code> eval </code> 看不到本地绑定。 </p> <P> 在Scheme中，我们尽可能避免变异状态，但对于这个过程，我认为这是合理的。诀窍是保持需要在闭包内更新的状态;这是一种方法： </p> <pre> <code> (define nouns '(time year people way day man)) ; notice that `next-noun` gets bound to a `lambda` ; and that `lst-nouns` was defined outside of it ; so it's the same for all procedure invocations (define next-noun ; store list position in a closure outside lambda (let ((lst-nouns '())) ; define `next-noun` as a no-args procedure (λ () ; if list is empty, reset with shuffled original (when (null? lst-nouns) (set! lst-nouns (shuffle nouns))) ; obtain current element (let ((noun (car lst-nouns))) ; advance to next element (set! lst-nouns (cdr lst-nouns)) ; return current element noun)))) </code> </pre> <P> @PetSerAl在评论中提出了更为惯用的解决方案。我的猜测是你想从头开始实现这个目的 - 但是在现实生活中我们会做这样的事情，使用Racket的 <a href="https://docs.racket-lang.org/reference/Generators.html" rel="nofollow noreferrer"> 发电机 </A> ： </p> <pre> <code> (require racket/generator) (define next-noun (infinite-generator (for-each yield (shuffle nouns)))) </code> </pre> <P> 无论哪种方式，它按预期工作 - 反复呼叫 <code> next-noun </code> 将返回所有元素 <code> nouns </code> 直到用完为止，此时列表将重新洗牌，迭代将重新启动： </p> <pre> <code> (next-noun) => 'day (next-noun) => 'time ... </code> </pre> </DIV>

编辑

登录后才能参与评论