28 ms·Why don't you do it?by woah 9y agoWhy don't you do it?catnaroek 9y agoBecause 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.