Home›Articles›Why Hindley-Milner allows polymorphism only for let-bound namesArticleWhy Hindley-Milner allows polymorphism only for let-bound namesArticlesConnectionsSourcesComments (0)Reader Challenges (0)ConnectionsArticle OnHindley-Milner type system, Concepts Well-attested SourcesHindley-Milner type system (Wikipedia)Introduction, Let-polymorphismQuote, Introduction, Let-polymorphismInstead, HM distinguishes variables that are immediately bound to an expression from more general λ-bound variables, calling the former let-bound variables, and allows polymorphic types to be assigned only to these.View the SourceComputing Atlas Original Articlestier 1Comments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.