If you like those features, I think you would like Crystal, which has much of the same. Full union types, flow typing and type inference for basically everythin

If you like those features, I think you would like Crystal, which has much of the same. Full union types, flow typing and type inference for basically everything on the stack makes for a very fluid and scripting language like experience while keeping type safety.