- 博客(4)
- 收藏
- 关注
RSS订阅原创 eos开发dapp的环境搭建
eos 编译教程启动服务器创建钱包，密钥对，账户和代币自己编写智能合约本文是在eos平台上开发dapp的一个简单介绍eos 编译教程安装eos对硬件和操作系统有一定要求，具体可以看到官网介绍Amazon 2017.09 and higherCentos 7Fedora 25 and higher (Fedora 27 recommended)Mint 18Ubuntu 16....
2018-12-10 17:31:46
1195
原创 类型系统(二)
无类型$\lambda$演算基础变量与元变量(Variables and Metavariables)作用域(Scope)操作语义无类型λ\lambdaλ演算基础变量与元变量(Variables and Metavariables)首先看一个式子 λ\lambdaλx.λ\lambdaλy.xy有形式λ\lambdaλz.s其中z,s被称为元变量，x,y被称为对象语言变量作用域(Sc...
2018-12-05 12:52:13
402
原创 awk命令的一些简单用法
awk简介awk命令的输入文本文件程序指令awk命令的输出awk命令编程语言正则表达式关系表达式模式组合BEGIN/END模式操作语法规则特殊变量参考文章awk简介AWK其中pattern表示AWK在数据中查找的内容，而action是在找到匹配内容时所执行的一系列命令。awk命令的输入awk命令采用两种类型的输入：文件文件和程序指令文本文件搜索和操作在输入文本文件上执行：命令行...
2018-12-03 13:45:41
560
2
原创 类型系统(一)
类型系统简介数学基础无类型算术表达式语法 本文为学习类型系统的系列文章的第一篇。主要参考资料为大名鼎鼎的TypesTypesTypes andandand ProgrammingProgrammingProgramming LanguagesLanguagesLanguages。相信有很多跟我一样的读者都是从CCC系语言如JavaJavaJava,C/CPPC/CPPC/CPP等入门开始学习...
2018-12-02 18:25:02
1024
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人