- 授权协议: BSD
- 开发语言: Lisp
- 操作系统: 跨平台
- 软件首页: http://homes.cs.washington.edu/~emina/rosette/
软件介绍
Rosette 是新的计算机辅助解析编程（SDSLs）语言，扩展了 Racket 的一些特性：合成，验证，调试和执行。
Rosette 是一个解算器辅助的编程语言，扩展了 Racket 用于程序合成、校验等。为了校验和合成代码，Rosette 将其编译为带 SMT 解决逻辑的逻辑限制解算。
示例代码：
#lang rosette (define (interpret formula) (match formula [`(∧ ,expr ...) (apply && (map interpret expr))] [`(∨ ,expr ...) (apply || (map interpret expr))] [`(¬ ,expr) (! (interpret expr))] [lit (constant lit boolean?)])) ; This implements a SAT solver. (define (SAT formula) (solve (assert (interpret formula)))) (SAT `(∧ r o (∨ s e (¬ t)) t (¬ e)))
王牌创业者：风口游戏
澈言 / 百花洲文艺出版社 / 2018-2 / 48.00
《王牌创业者：风口游戏》是一部围绕互联网创业展开的商战小说：故事的主人公莫飞是“毕业即创业”的当代年轻创业者的典型代表，他大学在校时就凭借创业项目拿到了天使融资，创业几年后，当产品估值越做越大时，他却忽然遭遇创业伙伴及投资人的联手陷害，失去了自己一手建立的公司。 此时， 莫飞的女友林姿参加了一场声势浩大的创业比赛，并一举夺魁，直进决赛。可在决赛中，突如其来的一场新闻事件让她名誉扫地。最终，为......一起来看看 《王牌创业者：风口游戏》 这本书的介绍吧!
