Racket 中的 gensym

发布于 2024-10-30 23:51:19 字数 165 浏览 3 评论 0原文

我知道 gensym 可以生成符号,但似乎有一个带有基数的全局计数器,它可以非常大,例如, (define s (gensym 's)) s 可以结束与s12345一起。 我想知道是否有办法重置计数器,其中生成的数字可以很小?例如s14

I know gensym can generate symbols, but it seems that there is a global counter there with the base, which can be very large, for example, (define s (gensym 's)) the s can end up with s12345.
I am wondering whether there is a way to reset the counter, where the number generated can be small?like s14?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

叫嚣ゝ 2024-11-06 23:51:20

没有办法做到这一点,否则就会在 文档。您只能为新符号提供“基础”。如果您确实需要一个小计数器,那么可以使用 字符串->不可读-符号,例如:

(define gensym
  (let ([counter 0])
    (lambda ([x 'g])
      (if (number? x)
        (set! counter x)
        (begin0 (string->unreadable-symbol
                 (format "~a~a" x counter))
          (set! counter (add1 counter)))))))

There's no way to do that, otherwise it would have been mentioned in the docs. You can only provide a "base" for the new symbol. If you really need a small counter, then it's easy to make up your own gensym using string->unreadable-symbol, for example:

(define gensym
  (let ([counter 0])
    (lambda ([x 'g])
      (if (number? x)
        (set! counter x)
        (begin0 (string->unreadable-symbol
                 (format "~a~a" x counter))
          (set! counter (add1 counter)))))))
~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文