Generally sensible, but a few things seem already fixed. The duplicate argument thing already generates a warning (I wish warnings were enabled by default thou

Generally sensible, but a few things seem already fixed. The duplicate argument thing already generates a warning (I wish warnings were enabled by default though): # let f x x = x;; Warning 27: unused variable x. val f : 'a -> 'b -> 'b = <fun> "Values of type string and bytestring are not mutable." In 4.02, strings can be made immutable (it's optional currently, to avoid breaking existing code). Camlp4 is already on the way out, being replaced by Extension Points. Rather than adding checked exceptions, I'd rather just see more use of variants in the standard library (3rd-party libraries mainly do this already). I don't see why checked exceptions should be faster - maybe this is just a compiler optimisation problem?