OCaml学习——Representing-Program-Syntax Representing Program Syntax Defining Programming Language Semantics To write a program, you have to know how the language works. Semantics: The study of how the language works Methods: for defin 2020-11-11 Computer Science OCaml OCaml
2020书单——读书杂芜，不足为训 2020 书单——读书杂芜，不足为训 非技术类 《Justice》 《文化上人——21 世纪的出版业》 《娱乐至死》 《如何阅读一本书》 《占星术杀人魔法》 《三体 1》（二刷） 《武汉人》 《克苏鲁神话》 《三体 2》（二刷） 《看见》 《82 年的金智英》 《有所不为的反叛者》 《孤独六讲》 《我执》 《大话西方艺术史》 《永久记录》 《战争时期的日本精 2020-11-11 Life 阅读 阅读
OCaml学习——OCaml-Datatypes OCaml Datatypes We have seen a number of basic types (e.g. int, float, char, string, bool) and a few structured types (e.g. pairs, tuples, options, lists). In this lecture, we will see some more gen 2020-11-10 Computer Science OCaml OCaml
A-Basic-Introduction-to-SSA-Lustre-and-K2 A Basic Introduction to SSA Lustre and K2 New terms. SSA From wiki, Simple and Efficient Construction of Static Single Assignment Form The relation ship between source program, SSA form and CPS ve 2020-11-04 Computer Science 形式化验证 形式化验证