茄子:Clojure的行为驱动开发(BDD)库。 简单是关键
2021-01-28 22:15:30 9KB clojure data-driven bdd bdd-specs
1
元概率 嵌入的一种用于概率编程和元编程的语言。 注意:Metaprob当前是不稳定的研究原型,几乎没有文档,而且测试覆盖率很低。 同样,将来的版本可能与此版本不向后兼容。 我们不建议将其用于基础研究以外的任何目的,并且尚不能为MIT概率计算项目之外的用户提供支持。 主要特征 可以通过生成代码表示模型,即可以随机选择的普通代码 模型也可以通过近似表示,例如具有非平凡权重的重要性采样器 定制推理算法可以通过反射性语言结构以用户空间代码编写,用于: 跟踪程序执行 使用部分跟踪来指定干预和约束 通用推理算法是通过标准库中的用户空间代码提供的; 添加新算法不需要修改语言实现 所有推理算法都是普通的生成代码,可以作为模型进行跟踪和处理 新的概率分布和推理算法是一流的公民,可以在程序执行期间动态创建 动机 概率编程和推理元编程的轻量级嵌入 基于浏览器的交互式数据分析工具(通过 ) 适用于企业部署的智能数据管道(通过JVM上的Clojure) “小核心”语言可能适合正式规范和验证 教学 有兴趣实施自己的最低PPL的本科生和研究生 对概率建模和推理感兴趣的软件工程师和数据工程师 人工智能与认知
1
Clojure是一种动态、通用的程序设计语言,既有脚本语言易于学习和交互开发的特点,又具备适合多线程编程的高效和强健的基础架构。虽然Clojure属于编译语言,却是完全动态的,所有特性都能在运行时得到支持。借助可选的类型提示和类型接口,Clojure可以方便地访问Java框架,确保在调用时不会出现Java反射。   Clojure是一种Lisp方言,继承了Lisp“代码即数据”的设计理念以及功能强大的宏系统。总体而言,Clojure属于函数式编程语言,包括丰富的不可变和可持久化数据结构。当需要处理可变状态时,Clojure通过软件事务内存与响应式Agent系统,确保实现清晰、正确、多线程的设计。
2020-01-03 11:30:17 99.56MB clojure
1
这本书是关于编程语言Clojure的。具体而言,这本书是关于如何用Clojure的方式写Clojure代码。更确切的说,这本书是关于有经验的、成功的Clojure程序员是如何编写Clojure代码的,以及语言本身如何影响开发软件的方式。
2019-12-21 19:58:42 83.49MB clojure java
1