- 授权协议: BSD
- 开发语言: C/C++
- 操作系统: Linux
- 软件首页: https://github.com/tomhrr/dale
- 软件文档: https://github.com/tomhrr/dale
软件介绍
Dale 是一个系统编程语言,使用 S- 表达式作为语法,支持语义宏。基本语言类似 C,提供如下额外特性:
local type deduction;
overloaded functions;
anonymous functions;
function structs;
reference parameters;
object lifetime operations;
namespaces;
modules;
concepts; and
compiler introspection.
示例代码:
(import cstdio) (def main (fn extern-c int (void) (printf "hello, world\n")))
The Little Prover
Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, wi......一起来看看 《The Little Prover》 这本书的介绍吧!
