3 ms·
Because I have no time to study languages I dislike, and the one that I do like (Standard ML) already has a formal semantics and a type safety proof.
by catnaroek 9y ago
Because I have no time to study languages I dislike, and the one that I do like (Standard ML) already has a formal semantics and a type safety proof.