跳到内容目录
首页
/
笔记
/
编程语言
编程语言
PL
编程语言,主要是 UW 课程 CSE341 的内容。
38 篇笔记
序
SML与函数式编程
SML 基础
一等函数
匿名函数
柯里化
词法作用域
环境与闭包
类型推断
初探 Racket
Racket 语法
动态类型
延迟求值与 Thunks
可变绑定
惰性求值
流
静态检查
解释器与编译器
SML 与 Racket 对比
静态检查
正确性
弱类型
初探 Ruby
基于类的面向对象
万物皆对象
动态类定义
鸭子类型
代码块
动态分派
方法查找规则
面向对象式 v.s. 函数式
面向对象与函数式的分解
扩展新操作或变体
二元方法
多分派
单继承之外
抽象方法
子类型
子类型概述
深度子类型
数组子类型
函数子类型
面向对象中的子类型
泛型与子类型