摘要： 涉及的形式化概念 1、函数式语言中的类型 在典型的函数式语言类型系统（以ML和Haskell为代表）中，除基本数据类型（整数、逻辑真值、浮点数等）和简单的复合数据类型（如数组、n元组和记录）外，还存在函数类型、归纳定义的数据类型（或称代数数据类型）等类型，以及参数化多态性、函子（functor）、单 阅读全文

摘要： 1、Socket 在端到端的一个连接中，这两个端叫做Socket。 (1)Unix中的Socket 操作系统中也有使用到Socket这个概念用来进行进程间通信。 代表了在操作系统中传输数据的两方，只是它不再基于网络协议，而是操作系统本身的文件系统。 Socket起源于UNIX，在Unix一切皆文件哲 阅读全文

摘要： 1、MySQL支持数据类型 MySQL支持SQL标准数据类型INTEGER (or INT) and SMALLINT，也支持TINYINT, MEDIUMINT, and BIGINT。下面是各整型的取值范围： 参考： https://dev.mysql.com/doc/refman/5.7/en 阅读全文