PostScript's page description language was initially designed to control the output of laser printers, not to be a general-purpose programming language, but its Turing completeness made it surprisingly versatile.
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