Skip to content

Guide: reference to "really smart type theorists" unnecessary #17229

Closed
@bjpop

Description

@bjpop

Section 5, Variable bindings, mentions "Well, Rust has this thing called "Hindley-Milner type inference", named after some really smart type theorists."

This is a minor nitpick, but I cringed when I read that sentence.

There are lots of features in Rust that are the result of work by smart people. There is no need to single out the Hindley-Milner algorithm.

Also the follow on text seems a bit patronising "If you clicked that link, don't be scared:"

Writing like that tends to perpetuate the idea that type inference is deep magic, when it is not.

I expect many people reading the Rust guide will be familiar with type inference, even the HM algorithm. It is fine to link to the Wikipedia article, but I think the Guide should not imply that it is a difficult topic or something which is scary.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions