作业信息 课程信息：https://bbs.csdn.net/topics/608593392 作业内容描述： Complete the type inference ( two substitution functions ) Complete the implementation for let-polymorphism Think about how to handle recursive functions

作业信息 * 课程信息：https://bbs.csdn.net/topics/608593392 * 第四节作业提交帖：https://bbs.csdn.net/topics/609455877 作业内容描述： 1. 完成汇编器(assembler)中的`encode`函数。 2. 使用C/C++/Rust实现支持课程中使用的指令的虚拟机。 3. 完整实现编译器(compiler) 4. 实现一个支持递归函数的解释器(interpreter)

* 课程信息：https://bbs.csdn.net/topics/608593392 * 第二节作业提交帖：https://bbs.csdn.net/topics/608988916 1. Complete the de Bruijn index based interpreter in natural semantics 2. Apply the de Bruijn index for extended lambda calculus (+ Let)

* 课程信息：https://bbs.csdn.net/topics/608593392 * 第二节作业提交帖：https://bbs.csdn.net/topics/ 作业内容描述： 1. 完成Codewars Kata Church Numbers 2. 完成Codewars Kata Church numbers: find the predecessor and subtract

基础软件理论与实践 第一节作业