微信架构总监：微信 10 亿日活场景下，后台系统微服务架构实践

·语法约束意味着我们可以在编译时检查某些需求是否得到满足(是否支持特定的操作?”或特定的操作是否产生特定的类型?)． ·语义约束是指满足了某些需求，只能在运行时进行检查(某个操作是否具有相同的效果?或对特定值执行相同的操作总是产生相同的结果吗?)．