**Ahmed FASIH** @22@octodon.social · Mar 29, 2018, 07:44

**Ahmed FASIH** @22@octodon.social · Mar 29, 2018, 07:44

Ahmed FASIH @22@octodon.social

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?

**Rain 🚱** @grainloom · 2018-03-29T09:12:24Z

Rain 🚱 @grainloom

@22 #Idris has codegen backends for a lot of things, it might have one for Python? It has one for whitespace and one for PHP, so.

And you don't easily get any more typed than Idris. (not unless you go to something even more experimental. or maybe use ATS??? but that's for C.)

Mar 29, 2018, 09:12 · Web · 0 · 0

**Ahmed FASIH** @22@octodon.social · Mar 29, 2018, 16:13

**Ahmed FASIH** @22@octodon.social · Mar 29, 2018, 16:13

@grainloom Thanks for reminding me how nice the Idris book looks on my bookshelf 🤣 I guess I was looking for something more pedestrian than Idris but it, and Futhark, are something to keep in mind, as I dream about re-implementing Pandas and Numpy in Rust or OCaml (or any language that compiles to both bare metal and JavaScript).