search

stevedonovan / gentle-intro

A gentle Rust tutorial
MIT License
834 stars 112 forks source link

"Languages like Haskell" #58

Open BartMassey opened 6 years ago

BartMassey commented 6 years ago

In 1-basics: "languages like Haskell have such powerful type inference that there are hardly any explicit type names". Probably something more like "languages like Haskell have such powerful type inference that almost no explicit types are required"?

tshepang commented 6 years ago

what's the difference

BartMassey commented 6 years ago

Haskell programs are normally full of explicit type names, whether needed or not. The type inference is used in practice almost exactly like it is in Rust.

tshepang commented 6 years ago

Oh, I see... I understood the text as if "required" was present.

stevedonovan commented 6 years ago

Good point - I like your re-wording.