This is great...I would encourage you to add the ability for users to offer new languages. I noticed that Modula-2, PL/I, Trac Language, ALGOL 60, ALGOL68, and Joss/Focal could be added. (ALGOL 60 would be a challenge, as the originally-defined language had no input/output!)
What about lean?
def main : IO Unit := IO.println "Hello, world!"
Also Coq was renamed to Rocq
https://rosettacode.org/wiki/Hello_world/Newbie is similar.
rosettacode.org also has other tasks: https://rosettacode.org/wiki/Category:Programming_Tasks
+1 for Rosetta Stone. This one is a little more succinct FWIW.
https://rosettacode.org/wiki/Hello_world/Text
Rosetta Stone's code, by virtue of being a pretty popular community effort, is also very well-vetted. Even when I've tested some of the examples in more obscure langs like Malbolge, they've always worked.
That is actually really nice. I'm glad you showed me this! and not sure how I missed this when originally searching. Thanks!
Nice work! It's cute and lovely. I would use it to give my students intellectual curiosity.
Sorry, you have been blocked
You are unable to access jdunn.dev
Why have I been blocked?
This website is using a security service to protect
itself from online attacks. The action you just performed
triggered the security solution. There are several action
that could trigger this block including submitting a certain
word or phrase, a SQL command or malformed data.Ah, sorry about that! I think my cloudflare rules might have been a little too aggressive! You should be able to try again if you want. Thanks for checking it out
Works great now!