Type Inference/hindley%e2%80%93milner Type Inference Algorithm

Famous quotes containing the words type and/or inference:

    “Music, in performance, is a type of sculpture. The air in the performance is sculpted into something.”
    —Frank Zappa (1940–1994)

    “The inference is, that God has restated the superiority of the West. God always does like that when a thousand white people surround one dark one. Dark people are always “bad” when they do not admit the Divine Plan like that. A certain Javanese man who sticks up for Indonesian Independence is very lowdown by the papers, and suspected of being a Japanese puppet.”
    —Zora Neale Hurston (1891–1960)