编程语言的类型修饰符modifiers

编程语言修饰符，代表语言要素与常规表达不同的语义；

这些语义的不同需要编译器和运行时作出不同的解释；

作用域、访问；

生命周期；

同步异步；

多态；

纯函数；

注解；

懒加载；

编译器合成；