No it is not nearly as nice as Haskell. It is however usable in contexts where Haskell will get people killed and on embedded devices where you can reasonably afford the Haskel overhead.

Also I haven't seen design by contract as enforced by the compiler in Haskell yet (not this is different from testing).