> It's got the super powerful typesystem, and you're certain that it will be able to express any constraint you throw at it. You can go pretty far with, eg, Ja

> It's got the super powerful typesystem, and you're certain that it will be able to express any constraint you throw at it. You can go pretty far with, eg, Java, if you're ready to pay the cost in verbosity, by making types for everything and having read-only objects. Haskell is not dependently typed, you can't use the type system to make sure a value is in a given range. You could use phantom types to make sure your type has been validated before, but this kind of control is not really first-class.