S Typescriptem to nemá společného nic.
Je tam sice vidět silná inspirace některými návrhy do ES ale tím to končí.
Sympatická vypadá podpora SIMD ale to je utopie asi stejná, jako že se dostanou do ES typy. U WASM by to mohlo mít smysl, ale přijde mi to celé trochu naivní. Kde je Dart? ;-) Asi podobně. Někoho si to najde, podle mě slepá větev evoluce, ale pěkné že se pořád podporuje výzkum.
Proč zrovna Haskell? To je jako tvrdit, že návrhem jakéhokoliv funkcionálního jazyka znovu objevuji Haskell. Což je zhruba totéž jako tvrdit, že vše už bylo vynalezeno. ne, že by se to celkem pravidelně haskellisté tvrdit nepokoušeli...
Navíc pokud je jejich cílem jednoduchost, těžko objevují zrovna ten.