Helyességbizonyítás
Bizonyos feladatoknál (erőművek, légiforgalom irányítás, stb.) rendkívül fontos, hogy a programok helyesen működjenek. Programok helyességét bizonyítani nem egy könnyű feladat, még az egyszerűbb problémák esetében sem. Ugyan az ML önmagában nem ad eszközt a helyességbizonyításra, de a benne írt programok helyességét - ahogy a többi funkcionális programozási nyelvekben is - sokkal könnyebb bizonyítani, mint egy imperatív (Pl.: C, Pascal) programozási nyelvben, a bevezetésben említett tulajdonságok miatt.
Párhuzamosság
Az ML nem támogatja párhuzamos programok írását, de ahogyan azt a legújabb kutatások megmutatták (legalábbis Andrew Cumming szerint), egy funkcionális programozási nyelvben írt programot nagyon jó hatékonysággal lehet párhuzamosítani.