The Basics of a Standard Type Inference Techniqueby@ltcmelo
203 reads

The Basics of a Standard Type Inference Technique

by Leandro T. C. Melo10mSeptember 24th, 2020
Read on Terminal Reader
Read this story w/o Javascript
tldt arrow

Too Long; Didn't Read

Since C# 3.0, developers may declare implicitly typed variables with the type of an initializer. Type inference is a common feature among mainstream programming languages. The de facto type inference discipline adopted in typical functional languages is that of Hindley-Milner’s type system. In this article, I will describe (at a superficial level) the core ideas behind a constraint-based approach to type-inclusion. A constraint language is composed by its own syntactic language, and by the language which we are modelling; C# type is a constraint language.

Companies Mentioned

Mention Thumbnail
Mention Thumbnail
featured image - The Basics of a Standard Type Inference Technique
Leandro T. C. Melo HackerNoon profile picture
Leandro T. C. Melo

Leandro T. C. Melo

@ltcmelo

http://ltcmelo.com

About @ltcmelo
LEARN MORE ABOUT @LTCMELO'S
EXPERTISE AND PLACE ON THE INTERNET.

Share Your Thoughts

About Author

Leandro T. C. Melo HackerNoon profile picture
Leandro T. C. Melo@ltcmelo
http://ltcmelo.com

TOPICS

THIS ARTICLE WAS FEATURED IN...

Permanent on Arweave
Read on Terminal Reader
Read this story in a terminal
 Terminal
Read this story w/o Javascript
Read this story w/o Javascript
 Lite
L O A D I N G
. . . comments & more!