SML has rigorously defined semantics and is known to be type-safe.
H SML ορίζει με αυστηρότητα τη σημασιολογία και είναι γνωστό ότι είναι ασφαλής ως προς τους τύπους.