Very advanced type system which allows to move a lot of program correctness to typing system. So basically if your program compiles, it probably works.
It's also has GC which makes it better suited for most programs, compared to Rust with its manual memory management.
Very advanced type system which allows to move a lot of program correctness to typing system. So basically if your program compiles, it probably works.
It's also has GC which makes it better suited for most programs, compared to Rust with its manual memory management.
Rust does not have manual memory management, and its type system also has the property that if your program compiles it probably works, IME.
Purely functional code is easier to test because of its referential transparency and lack of shared state.
Haskell is also nice because of quickcheck.