I would really love a type-safe python - quickly write a script with all the IDE-coddling that a type system can bring, and run/debug it with no compilation.

I'm a big typescript fan but the compile step and all the issues of the node ecosystem are a pain.

Really wanna play with F#'s scripting capabilities but not yet supported on dot net core.

MyPy is somewhat promising but it's slow and not the most ergonomic, library support is still lagging behind, and it's not expressive as a proper type system.

For all the languages we are blessed with these days, it's an odd void.