摘要: language:SML Three things we should focus: Syntax: how you write Semantics: - Type-checking ( before program run) - Evaluation (as program run) ML: - 阅读全文
posted @ 2017-02-22 19:16 lixinnjupt 阅读(144) 评论(0) 推荐(0) 编辑