#typescript #javascript #type safety #programming language #static types #superset