ちなみに Chris Lattner さんが「Swift で双方向 Hindley-Milner を採用したのは失敗だったから，Mojo では双方向も Hindely-Milner も採用せず C++ に近い type checker を採用した」と捉えられかねない話をしているのはこの辺です． https://www.youtube.com/watch?v=9ag0fPMmYPQ&t=373s (edited)

: a deep dive on ownership with Chris Lattner