MLton. IMHO Poly/ML is borderline unusable because its build-system is so inferior to MLton's. I've never used SML/NJ but I get the impression that it has a lot

MLton. IMHO Poly/ML is borderline unusable because its build-system is so inferior to MLton's. I've never used SML/NJ but I get the impression that it has a lot of history and is kinda sprawling.