- 博客(3)
- 资源 (7)
- 收藏
- 关注
转载 erlang的类型系统一
“Erlang是动态类型的语言,因而不能进行静态分析,所生成的文档也不包含有助于理解的类型信息”——这是惯常的看法,广为流行,而且被看作是Erlang 在开发大型系统时的一个短板(大型系统意味着更强烈的静态分析需求和更严重的依赖文档进行沟通)。然而 Erlang 是一个有着 20多年历史的成熟系统,它早已发展出了一套自己的类型标注系统,不仅用来生成文档,更重要的是可以据此对源码进行静态分析
2015-10-22 22:26:46 941
转载 erlang解析socket包头
1. 对于测试用例的介绍:Erlang编写TCP服务器。只做一次Accept,接收到Socket之后开始收数据。用python编写Client,连接到服务器上;发送LEN(int)+CMD(short)+BODY(binary)格式的数据包。用于熟悉Erlang如何做拆解包,数据读取。2. 编写简单的Erlang TCP服务器:Erlang里面的TCP socket应该都是这个方式来编
2015-10-22 09:43:47 1229
转载 erlang Emakefile
Erlang有个类似Makefile的文件Emakefile负责编译erl程序,格式是Erlang代码{Modules, Options}.其中Modules是一个atom,或者是一个atom的列表。这些atom可以是一个模块名,如file1;可以是别的目录中的模块名,如../foo/file3;也可以是通过通配符匹配的一系列模块名,如file*;
2015-10-18 22:08:52 1669
GNU的自平衡二叉查找树(AVL tree、redblack tree等)源代码
2012-03-14
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人