Re:Why is Rust difficult?
by marcosdumay on Monday January 22, 2018 @09:07AM
(#16204391)
> but I would normally define 'correctness' to include rigorous mathematical proofs
Well, Rust does push for strong algebraic types. They aren't as expressive as other languages (the lack of higher order types irks me all the time - no, hygienic macros are not a good alternative) but they are the best ones you will find on any bare-metal language.
Well, Rust does push for strong algebraic types. They aren't as expressive as other languages (the lack of higher order types irks me all the time - no, hygienic macros are not a good alternative) but they are the best ones you will find on any bare-metal language.