Ahmed FASIH is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
Ahmed FASIH @22

Are there languages with static types that compile to the way and compile to or how to or ♯ to .NET CLR?

Rain 🚱 @grainloom@cybre.space

@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.)

Ahmed FASIH @22

@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).

· Web · 0 · 1
octodon.social powered by Mastodon