我想我明白了strongtyping，但是每次我寻找弱类型的示例时，我最终都会找到简单地自动强制/转换类型的编程语言示例。例如，在这篇名为Typing:Strongvs.Weak,Staticvs.Dynamic的文章中说Python是强类型的，因为如果你尝试这样做会得到一个异常:Python1+"1"Traceback(mostrecentcalllast):File"",line1,in?TypeError:unsupportedoperandtype(s)for+:'int'and'str'然而，这样的事情在Java和C#中是可能的，我们不认为它们是弱类型的。Javainta=1

​以前和一个朋友讨论通过异常检测的方法去分析某个故障的产生原因，我们是通过知识图谱找到与这个故障现象有关的指标，经过对这些指标做异常检测发现其中存在的问题，然后再根据这些问题进行归类分析，找出问题的主因和次因。他觉得既然异常检测算法与问题归类算法都已经比较完备，还通过知识图谱去收集指标集干嘛，干脆用全量指标集去计算好了，虽然算力要求比较高，不过大部分企业还花得起这个算力的。实际上算力并不是主要问题，主要的问题是我们的系统往往是处于亚健康状态的，平时系统中就有这个那个的问题，有一些性能瓶颈。这些问题是常态化存在的，很可能和发生的故障无关，如果拿全量指标去做分析，那么诊断结论里就会掺杂一些和这个故

​以前和一个朋友讨论通过异常检测的方法去分析某个故障的产生原因，我们是通过知识图谱找到与这个故障现象有关的指标，经过对这些指标做异常检测发现其中存在的问题，然后再根据这些问题进行归类分析，找出问题的主因和次因。他觉得既然异常检测算法与问题归类算法都已经比较完备，还通过知识图谱去收集指标集干嘛，干脆用全量指标集去计算好了，虽然算力要求比较高，不过大部分企业还花得起这个算力的。实际上算力并不是主要问题，主要的问题是我们的系统往往是处于亚健康状态的，平时系统中就有这个那个的问题，有一些性能瓶颈。这些问题是常态化存在的，很可能和发生的故障无关，如果拿全量指标去做分析，那么诊断结论里就会掺杂一些和这个故