摘要:
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( 阅读全文