- 授权协议: MIT
- 开发语言: C#
- 操作系统: 跨平台
- 软件首页: https://gitee.com/anycmd/tlang
- 软件文档: https://gitee.com/anycmd/tlang
软件介绍
tlang
一个类 Lisp 语言，基于王垠的 Yin 语言和 Java 实现，通过将程序翻译成 .NET 机制实现。
tlang是用来去除区块链的虚拟机的类lisp语言
因为区块链的虚拟机不是必要的，改以解释执行tlang的形式表达智能合约，然后提供标准交易模板，普通交易使用交易模板进行，有复杂逻辑的交易由应用开发者使用tlang语言表达即可（也可以使用面向java、.net、js、go等语言的sdk书写，使用sdk书写的程序会自动翻译为tlang）。
案例
下面举例用tlang书写的一段合约逻辑
这个合约的逻辑是，如果想要该合约的执行结果为true：要么知道我的birthDay是2017-06-23 要么 给出pubKey和用对应的私钥对该交易的签名。
为了使合约执行结果为true，调用者需提供正确的birthDay pubKey sign
合约调用方提供的数据：
(define birthDay "{birthDay}")
(define pubKey "{pubKey}")
(define sign "{sign}")上面的键值对来自合约调用者，数据是键值对，执行时直接把键值对加入作用域不需要拼代码从而没有注入代码的可能。
下面三行是智能合约的逻辑，这三行是死的不会被调用者注入代码。
合约定义方定义的逻辑：
(define pubKeyHash="8658cefd0c1cf0ff294d14a66278f5a5490a1f8e") (define myBirthDayHash="d4a0f6c5b4bcbf2f5830eabed3daa7304fb794d6") (or (= (hash160 birthDay) myBirthDayHash) (and (= (hash160 pubKey) pubKeyHash) (= (decrypt pubKey sign) txHash)))
and = hash160 or decrypt是系统函数，txHash或者叫txId是当前交易记录的hash。
如果提供checksig系统函数的话(= (decrypt pubKey sign) pubKeyHash)也可以是(checksig pubKey sign pubKeyHash)。
ps:话说，这个案例不好，因为生日可以被枚举出来，从今天往前推100年挨着计算每一天的hash然后跟myBirthDayHash比对的话就能取走被这个合约锁定的资产了。
马云现象的经济学分析：互联网经济的八个关键命题
胡晓鹏 / 上海社会科学院出版社 / 2016-11-1 / CNY 68.00
互联网经济的产生、发展与扩张，在冲击传统经济理论观点的同时，也彰显了自身理论体系的独特内核，并与那种立足于工业经济时代的经典理论发生显著分野。今天看来，“马云”们的成功是中国经济长期“重制造、轻服务，重产能、轻消费，重国有、轻民营”发展逻辑的结果。但互联网经济的发展却不应仅仅止步于商业技巧的翻新，还需要在理论上进行一番审慎的思考。对此，我们不禁要问：互联网经济驱动交易发生的机理是什么？用户基数和诚......一起来看看 《马云现象的经济学分析：互联网经济的八个关键命题》 这本书的介绍吧!
