department of computer science, columbia universitysedwards/classes/2016/4115-spring/... · 2016....
TRANSCRIPT
![Page 1: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/1.jpg)
![Page 2: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/2.jpg)
![Page 3: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/3.jpg)
![Page 4: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/4.jpg)
![Page 5: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/5.jpg)
Types
Int | Float | String | Bool | Unit | Lists
Operators+ - * /
< > <= >= ==
&& || not
Control Flow if (a == b) then
let bool c = trueelse
let bool c = false;match a with
b -> print_int(1)| c -> print_int(2)| _ -> print_int(0)
;
Builtins print_int(3);print_float(3.14);print_string(“tail”);print_bool(true);
![Page 6: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/6.jpg)
![Page 7: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/7.jpg)
![Page 8: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/8.jpg)
Function Assignmentslet int a (int b, string c) = fun {expression list} ;
Variable Assignments Expression Definitionlet int a = {int literal};
List Definitionlet int [] a = [ {literal list} ];
![Page 9: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/9.jpg)
![Page 10: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/10.jpg)
![Page 11: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/11.jpg)
![Page 12: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/12.jpg)
![Page 13: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/13.jpg)
![Page 14: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/14.jpg)
![Page 15: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/15.jpg)
○
○○
![Page 16: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/16.jpg)
![Page 17: Department of Computer Science, Columbia Universitysedwards/classes/2016/4115-spring/... · 2016. 5. 13. · 2eeee —"Documents/compiler$ . /dem02 lost (conservative estimate) -](https://reader033.vdocuments.us/reader033/viewer/2022060923/60ae78b582de6f08250aa159/html5/thumbnails/17.jpg)