型推論
起源
https://en.wikipedia.org/wiki/Type_inference#Hindley–Milner_type_inference_algorithm
The origin of this algorithm is the type inference algorithm for the simply typed lambda calculus that was devised by Haskell Curry and Robert Feys in 1958.citation needed
https://en.wikipedia.org/wiki/Hindley–Milner_type_system#Introduction
The origin is the type inference algorithm for the simply typed lambda calculus that was devised by Haskell Curry and Robert Feys in 1958.citation needed
ref.
https://www.worldcat.org/title/combinatory-logic/oclc/640783649/editions?referer=di&sd=asc&start_edition=1&se=yr&qt=sort_yr_asc&editionsView=true&fq=
Combinatory Logic - Haskell Brooks Curry, Robert Feys, J. Roger Hindley, Jonathan Paul Seldin, William Craig - Google Books
ref.
型推論 - Wikipedia
/mrsekut-p/型推論