107
What are your favorite statically typed, compiled, memory safe programming languages?
(programming.dev)
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Follow the wormhole through a path of communities !webdev@programming.dev
purescript if you count “compile to js” as compiled.
Otherwise Haskell
That's transpiling, not compiling. Compiling is usually meant as "directly to machine code", but I am yet to find an "official definition".
There is no official definition, in part because there isn't any formal way to define the term that satisfies our intuition.
Most treatments will handle "transpiling" as a special case of "compiling" and some will even handle decompilation as a special case where the object language is higher level than the source. Of course, even defining "higher level" can be quite hard.
Plenty of languages "compile to C" and I see no issue with saying something "compiles to js," especially given that js mostly lacks features of purescript rather than the other way around.
transpiling is just a type of compiling. compiling in no terms means 'directly to machine code'.