itarticle clean code 笔记 (2) function what makes sun shine the first rule of funtions Are you out of mind where do classes go to hide one thing extract untill your drop conculsion 0
itarticle practical foundations for programming languages 1 1 Abstract Syntax 2 Inductive Difintions 3 Hypothetical and General Judgements 4 Statics 5 Dynamics 6 Type Safety 7 Evaluation Dynamics 8 Function Definitions and Values 9 System T 10 Product Types 11 Sum Types 12 Constructive Logic 13 Classical Logic 0
