> What I am aiming for is to move away from writing JavaScript or minimize it to the level where it's more controllable.

Why is this a goal? Could you elaborate?

> And from my experience Typescript isn't 100% safe as well.

Does it need to be? In my experience, enforcing reasonable standards (don't allow escape hatches like the `any` type, or the `// @ts-ignore` comment band-aid) fosters pretty strong interfaces. I haven't really needed more from the type system. Has your experience been different?