简介
Typed Clojure 保留了 Clojure 的优势,是 Clojure 的可选类型系统,也可以说是 Clojure 的一个库,改善了大量的静态类型安全检测。主要特性:从 Java 中保护你的 Clojure 程序,进行安全的互操作,正确的使用外部 Java 库。Typed Clojure 支... 更多
其它信息
地区
不详
开源组织
无
所属分类
程序开发、 常用工具包
授权协议
EPL
操作系统
跨平台
收录时间
2023-09-28
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
XsemanticsXtext 的类型系统
EclipseXsemantics是一种DSL(在Xtext中实现的),为Xtext实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。Xsemantics定义是一套具有结论和一套前提的判断规则
XsemanticsXtext 的类型系统
0
DS Schedulercron 类型的调度系统
DSScheduler是一个集中式的用于Linux/Unix下的cron类型的调度系统,提供一个Web管理界面用来管理、监控和调度作业和命令,支持多主机环境。特征:可以用作cron的替代产品。可以基于
DS Schedulercron 类型的调度系统
0
DefinitelyTypedTypeScript 类型定义
DefinitelyTyped包含大量的高质量的TypeScript类型定义。包括:AceCloud9Editor(byDiulleiGomes)AmCharts(byCovobonomo)Angul
DefinitelyTypedTypeScript 类型定义
0
DefinitelyTypedTypeScript 类型定义
DefinitelyTyped 包含大量的高质量的 TypeScript 类型定义。包括:Ace C
DefinitelyTypedTypeScript 类型定义
0