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

欢迎!请参阅 关于 页面以了解有关如何运行的更多信息。

0
core.typed

如何重现

(t/cf (t/fn [] (keep even? [1 2 3])))

观察到的结果

`
已弃用的语法 (NO_SOURCE_PATH): 所有语法都已弃用,请使用 clojure.core.typed/All
类型错误 (NO_SOURCE_PATH:1:16) 内部错误 (NO_SOURCE_PATH:1:16) 无法解析类型: Option
提示:Option 是否在作用域内?
提示:是否已通过 check-ns、cf 或 typed-deps 发现 Option 的注释?

异常信息 类型检查器:发现 1 个错误 clojure.core/ex-info (core.clj:4403)
`

预期的结果

(t/ASeq Integer) 或类似的,我想。

详细信息

`
broz@macmicro:~/src/foo$ lein try org.clojure/core.typed "0.2.92"
nREPL 服务器已在端口 63244 上启动,主机 127.0.0.1 - nrepl://127.0.0.1:63244
REPL-y 0.3.5,nREPL 0.2.6
Clojure 1.6.0
Java HotSpot(TM) 64 位服务器虚拟机 1.8.0_40-b26

Docs: (doc function-name-here)
      (find-doc "part-of-name-here")

源: (source function-name-here)
JavaDoc: (javadoc java-object-or-class-here)

Exit: Control+D or (exit) or (quit)

结果:存储在变量 1,2,3,e 中发生异常

user=> (require ['clojure.core.typed :as 't])
nil
user=> (t/cf (t/fn [] (keep even? [1 2 3])))
初始化 core.typed ...
构建 core.typed 基础环境 ...
已完成构建基础环境
"已过时间:9649.842771 毫秒"
已初始化 core.typed。
已弃用的语法 (NO_SOURCE_PATH): 所有语法都已弃用,请使用 clojure.core.typed/All
类型错误 (NO_SOURCE_PATH:1:16) 内部错误 (NO_SOURCE_PATH:1:16) 无法解析类型: Option
提示:Option 是否在作用域内?
提示:是否已通过 check-ns、cf 或 typed-deps 发现 Option 的注释?

异常信息 类型检查器:发现 1 个错误 clojure.core/ex-info (core.clj:4403)
user=>
`

1 个答案

0
参考: https://clojure.atlassian.net/browse/CTYP-223(由 alex+import 报告)
...