Passing on type inference can be solved by using Flow as an intermediate before transpiling down to Javascript. From my experience, modules and named arguments are the most important but hardest constructs to take care of when converting to js.

I'm currently working on something like this for the Crystal language.