Are there languages with static types that compile to #Python the way #PureScript and #Elm compile to #JavaScript or how #Eta to #JVM or #F♯ to .NET CLR?
@22 If you need it just for fun, there were some efforts to compile PureScript to Python.