← Back to context

Comment by vbezhenar

1 day ago

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.

4 comments

vbezhenar

Reply
ModernMech  1 day ago

Rust does not have manual memory management, and its type system also has the property that if your program compiles it probably works, IME.

  • atilaneves  7 hours ago

    I hear this about both Haskell and Rust, and yet, when I tried both in the former I wrote a useless program because I didn't handle state (and yet passed all tests!) while in the latter I immediately wrote a deadlock.

    So...yeah.