itarticle how to learn test automation Automation Principle Automation Hierarchy Automation Script Design 0
itarticle cs-retrospect了解一件事,首先:properties of a true high-level languagedesign principle properties of a true high-level language design principle 0
itarticle SOLID IntroductionSingle responsibility principleOpen–closed principleLiskov substitution principleInterface segregation principleDependency inversion principle Single responsibility principle Open–closed principle Liskov substitution principle Interface segregation principle Dependency inversion principle 0
itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0