系统编程语言 Dale

码农软件 · 软件分类 · 脚本编程语言 · 2019-03-04 18:13:56

软件介绍

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")))

本文地址:https://codercto.com/soft/d/626.html

The Little Prover

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》 这本书的介绍吧!

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

SHA 加密
SHA 加密

SHA 加密工具

UNIX 时间戳转换
UNIX 时间戳转换

UNIX 时间戳转换