在
2024年 Clojure 调查问卷
中分享您的想法!
欢迎!请参阅
关于
页面以了解更多关于如何使用本网站的信息。
Github 登录
所有活动
问题
未回答
标签
提出一个问题
关于
提出一个问题
错误的路径类型调用:nil
0
投票
提出
2015 年 9 月 16 日
在
core.typed
由
jira
讨论:
https://groups.google.com/d/msg/clojure-core-typed/-4XzTLD1LNE/LuJqMuNzAgAJ
(t/cf (t/fn [x :- (t/Option '[t/Num])] (let [[a] x] a)))
类型错误 (...) 内部错误 (...) 错误的路径类型调用:nil, ({:idx 0})
问题
jira
请
登录
或
注册
以添加评论。
请
登录
或
注册
以回答该问题。
1
个答案
0
投票
回答
2019 年 6 月 26 日
由
jira
参考:
https://clojure.atlassian.net/browse/CTYP-275
(由 overthink 报告)
请
登录
或
注册
以添加评论。
欢迎来到 Clojure 问答,在这里您可以向 Clojure 社区成员提问并获得答案。
相关问题
解析宏生成的匿名函数的类型(当类型是 c 时)时的错误类型语法
defn 上的错误类型提示导致编译器抛出 NPE
assoic-in 使用空键路径为 assoc-es 赋值为 nil
在调用重载方法 (Math/abs) 的反射调用中对原始类型进行无声截断/向下转换
在协议方法上的原始类型提示会破坏调用点
分类
所有分类
Clojure
(1.5k)
ClojureScript
(610)
ClojureCLR
(25)
Contrib 库
(719)
algo.generic
(3)
algo.monads
(4)
core.async
(112)
core.cache
(19)
core.contracts
(5)
core.logic
(66)
core.match
(44)
core.memoize
(8)
core.rrb-vector
(13)
核心类型(core.typed)
(33)
核心统一(core.unify)
(5)
数据AVL(data.avl)
(1)
数据编解码(data.codec)
(3)
数据CSV(data.csv)
(12)
数据指树(data.finger-tree)
(1)
数据Fressian(data.fressian)
(6)
数据生成器(data.generators)
(3)
数据整数映射(data.int-map)
(17)
数据JSON(data.json)
(17)
数据优先映射(data.priority-map)
(3)
数据XML(data.xml)
(23)
数据ZIP(data.zip)
(4)
Java类路径(java.classpath)
(2)
Java数据(java.data)
(12)
Java JDBC(java.jdbc)
(3)
Java JMX(java.jmx)
(6)
组合数学(math.combinatorics)
(5)
数字塔(math.numeric-tower)
(1)
副本(replicant)
(0)
测试检查(test.check)
(45)
生成性测试(test.generative)
(2)
分析工具(tools.analyzer)
(8)
构建工具(tools.build)
(29)
命令行工具(tools.cli)
(7)
依赖工具(tools.deps)
(119)
依赖图工具(tools.deps.graph)
(2)
JVM发射器工具(tools.emitter.jvm)
(7)
Git库工具(tools.gitlibs)
(4)
日志工具(tools.logging)
(6)
宏工具(tools.macro)
(8)
命名空间工具(tools.namespace)
(29)
读取器工具(tools.reader)
(11)
工具工具(tools.tools)
(2)
跟踪工具(tools.trace)
(5)
工具
(72)
网站元数据
(19)
其他
(91)
...