ここで引用されている Chris Lattner さんの双方向 Hindley-Milner に対する後悔？みたいな話がありますが，根本原因はこういうところなんですかね？ https://danielchasehooper.com/posts/why-swift-is-slow/