PureScript compiles to JavaScript, but unlike many other languages that do so, it enforces referential transparency by default, meaning functions always produce the same output for the same input, without side effects. elaborate
SuperCollider's core language, sclang, is dynamically typed, meaning you don't need to explicitly declare variable types, making it faster to prototype and experiment. elaborate
Standard ML's type system is so powerful that it can guarantee the absence of certain runtime errors, like null pointer exceptions, at compile time. elaborate
