Pact Lang 笔记 #82
Description
Pact Lang 参考: http://pact-language.readthedocs.io/en/latest/pact-reference.html
Blog: http://kadena.io/blog/
官网: http://kadena.io/
关于创始人: https://qz.com/729786/jpmorgan-lost-two-leaders-on-its-blockchain-project/
Slides: http://slpopejoy.github.io/talks/pact-compose-2017.html
Pact Lang 是 kadena 公司开源的智能合约语言，两个创始人是 JP Morgan 前员工，用 Haskell 写的。强类型，类型推导，解释型，事务，非图灵完备。