Оно бы да - но на это шансов яво меньше, чем на (постепенное) приведение JS к приемлемому виду. В принципе, там не так много надо - кроме того, что в топике, осталось добавить необязательную типизацию для примитивных типов и какой-то вид описания сложных типов - что-то вроде:
typedef myType... {
  callable foo,
  callable bar(AnotherType a, ~int b) : ~int,
  ~int y,
  String z,
  AnotherAnotherType t,
  Object ?optionalvar
}

где ~ означает "корерктно преобразуется" (т.е. для ~int строка "22" будет принята, а строка "10.9" или "foo" отвергнута,
три точки после имени типа означают, что могут быть и другие члены любых типов, ? - необязательное поле.

Синтаксис, понятное дело, я от балды нарисовал, но идея ясна:
- можно наложить огранчиение на переменную или параметр функции, указав, какие поля должны быть, какие могут быть и могут ли быть какие-то дополнительные.

по сути - это просто способ упростить проверку параметров настолько, чтобы её начали пользоваться.