lixinnjupt

摘要： 1、用下载的离线安装包configure，报错，要装很多依赖包。 2、根据提示安装依赖包，提示版本冲突，google意思是换源导致。 3、换回最初的源，不想一个个安装依赖包，google。 4、就2步骤，链接https://www.linuxhelp.com/how-to-install-emacs 阅读全文

摘要： build up data with multiple parts 元组是固定数量的不同类型数据集合，列表是不定数量的相同类型集合。其实这么定义就是为了更好的在内存里管理空间 pairs: 2-tuples sytanx: (e1, e2) evaluation: e1->v1, e2->v2, t 阅读全文

摘要： C 中的generic： 先看个传递pionter 的函数来交换int 数值的函数 这个没什么好说的吧 ，就是基本pionter 操作了 那如果我们想要一个函数来交换任何类型的值呢，对于指针就是void *吗，比如 但是啊，对于temp你赋值啊，你这个*p1到底多大啊，还有，你这个temp得留多大内 阅读全文

摘要： Function(definition): Syntax: fun x0 (x1: t1, x2: t2........,xn: tn) = e 当我们写出fun pow(.....)=e的时候，我们就新建了func bindiing 其实就是 fun x0=e 相当于val a=1，fun 和va 阅读全文

摘要： language:SML Three things we should focus: Syntax: how you write Semantics: - Type-checking ( before program run) - Evaluation (as program run) ML: - 阅读全文

摘要： 其实和第一个笔记差不多，就是通过对arrary首地址取址，强行让其解释为（array *）型这样再用数组的对内赋值->来对越界的内存进行操作，还是很好理解的 这个其实没什么意思，就是告诉你，只要我得到一个数组首地址，可以通过arr[k]=*(arr+k)操作任何内存 这个就数组和强换指针结合下，本来 阅读全文

摘要： 结果会证明，第一个字节是0000 0010，第二个字节是0000 0001，所以不是我们平时写的那样0000 0001 0000 0010，指针取得首地址在0000 0010 上，第二字节有点像堆在上面，这里面好像有术语低地址高地址什么的，现在就不深入，用实验明白就行。 上面代码说明了小内存想大内存 阅读全文

摘要： /* 一直有个疑问变量如何和值相联系的，在机器的层次上，之前看看Berkeley 61a有说namespace 是按照index-value 模式，但还是不能从内存或者编译上面去理解，stackflow 看了下 How are variable names stored in memory in C 阅读全文

摘要： Why hava? allow different sections of code to share information easily enable complex "linked" data structures like linked lists and binary trees What 阅读全文

摘要： //继续挖坑 3. Memory Mapping Segment: the kernel maps contents of files directly to memory. Any application can ask for such a mapping via the Linux mmap( 阅读全文