• PEP 484:

  • 英文：https://www.python.org/dev/peps/pep-0484/
  • 中文：https://bbs.huaweicloud.com/blogs/143892
• 简略介绍，PEP 483: https://www.python.org/dev/peps/pep-0483/

• PEP 544

  • Protocols: Structural subtyping (static duck typing)
  • 用来规定鸭子类型的检验 typecheck
  • 英文：https://www.python.org/dev/peps/pep-0544/

• mypy 泛型教程

  • 英文：https://mypy.readthedocs.io/en/latest/generics.html

• type tree

  • 类型树

    • 类似 class tree (类树)

• 注意

https://treyhunner.com/2018/09/stop-writing-lambda-expressions/

1

normalize_case = lambda s: s.casefold()

1

def normalize_case(s): return s.casefold()

https://blog.csdn.net/kongwei521/article/details/54927689

• dotPeek

  • 好用，免费
  • 在线源码支持
• .Net Reflector

• ILSpy/dnSpy

  • dnSpy 报病毒

System.String

• 两种格式

  • "a string"

    • ""

  • @"a string, c:home"

    • @""
    • 相当于其它语言 r"a string c:home"
    • 不把 "\" 当成转义符，而是普通字符
    • crude string
    • 支持换行，类似 python """ a string """, doc string

https://www.tutorialspoint.com/junit/junit_overview.htm

• Test Case

  • 用来测试一段代码（类的方法）的最小单元

• 测试一个问题

  • 最少需要两个 Test Case

    • 一个“正确”的结果测试 positive
    • 一个“失败”的结果测试 negative

• 不需要具体安装
• 放到依赖中即可

• 使用 JUnitCore.run(your_test_class.class) 运行

https://www.runoob.com/servlet/servlet-intro.html

https://www.javatpoint.com/servlet-tutorial

一种用于创建 web 应用的技术

• 用于创建动态 web Application

• an API

  • 包括多个接口和类
• 创建一个 Servlet 必须要实现 Servlet 的接口
• 用于扩展服务器 Server, 处理 Request 的功能
• Servlet 是一个 Web component, 用于部署到服务器来创建动态网页

https://www.javatpoint.com/servlet-tutorial