2024 年 Clojure 状态调查!中分享您的想法。

欢迎!请查看关于页面以获取更多关于其工作方式的信息。

+4
编译器
已关闭

被用户 yuhan 在 Slack 上发现 https://clojurians.slack.com/archives/C03S1KBA2/p1724499452475139

❯ clj -Sdeps '{:deps {org.clojure/clojure {:mvn/version "1.12.0-rc1"}}}'
Clojure 1.12.0-rc1
user=> (definterface Foo (^String/1 bar []))
user.Foo
user=> (reify Foo (bar [this]))
Syntax error (ClassNotFoundException) compiling reify* at (REPL:1:1).
java.lang.String.1
user=>
以如下备注关闭: 发行在 1.12.0-rc2

1 个答案

0

感谢您帮助发布问题!

为了提供更多背景信息,我发现给定相同的元数据标签,defprotocol 生成有效的接口,因为生成的方法是动态类型的,标签仅被放置为协议地图中的类型提示。

user=> (defprotocol PFoo (^String/1 bar [this]))
PFoo
user=> (reify user.PFoo (bar [this] :ok))
#object[user$eval196$reify__197 0x64a9d48c "user$eval196$reify__197@64a9d48c"]
user=> (bar *1)
:ok
user=> (first (.getMethods (:on-interface PFoo)))
#object[java.lang.reflect.Method 0x35178483 "public abstract java.lang.Object user.PFoo.bar()"]

尽管它产生一个不可读的符号感觉同样不正确

user=> (:sigs PFoo)
{:bar {:tag [Ljava.lang.String;, :name bar, :arglists ([this]), :doc nil}}
user=> (get-in PFoo [:sigs :bar :tag])
[Ljava.lang.String;
user=> (class *1) ; oh no
clojure.lang.Symbol
by
谢谢!为了澄清,我在上面最后一句中说的“难以阅读”是指语法上不可逆的:这里是一个独立的重现
    
    user=> (defprotocol P (^int/5 oops [this]))
    P
    user=> (get-in P [:sigs :oops])
    {:tag [[[[[I, :name oops, :arglists ([this]), :doc nil}
    user=> (read-string (pr-str *1))
    执行错误在 user/eval162 (REPL:1).
    不匹配的定界符: }

这个 `[[[[I` 符号可能应该被强制转换为字符串或存储为原始语法(后者现在被认为是规范表示吗?)
by
感谢这个重现。我认为这应该是一个不同的工单。我会尽快整理一个。
...