Currently I am studying Scala and knowledge about Type System, hope I can make some contributions to MLScript in summer.