Databases
StackOverflow2013
Postsdbo
PODescribe the Damas-Milner type inference in a way that a CS101 student can understand
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PODescribe the Damas-Milner type inference in a way that a CS101 student can understand
    primarykey
    data
    text
    <p>Hindley-Milner is a type system that is the basis of the type systems of many well known functional programming languages. Damas-Milner is an algorithm that infers (deduces?) types in a Hindley-Milner type system. </p> <p><a href="http://en.wikipedia.org/wiki/Type_inference#Hindley.E2.80.93Milner_type_inference_algorithm" rel="nofollow noreferrer">Wikipedia</a> gives a description of the algorithm which, as far as I can tell, amounts to a single word: "unification." Is that all there is to it? If so, that means that the interesting part is the type system itself not the type inference system.</p> <p>If Damas-Milner is more than unification, I would like a description of Damas-Milner that includes a simple example and, ideally, some code. </p> <p>Also, this algorithm is often said to do type inference. Is it really an inference system? I thought it was only deducing the types.</p> <p>Related questions:</p> <ul> <li><a href="https://stackoverflow.com/questions/399312/what-is-hindley-milner">What is Hindley Miller?</a></li> <li><a href="https://stackoverflow.com/questions/352789/type-inference-to-unification-problem">Type inference to unification problem</a></li> </ul>
    singulars
    1. PO
      singulars
      1. PTAnswer
    1. This table or related slice is empty.
    1. PTQuestion
    1. USCommunity
    1. USuser128807
    plurals
    1. PL
      singulars
      1. LTLinked
    2. PL
      singulars
      1. LTLinked
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. PO
      singulars
      1. PTAnswer
    2. PO
      singulars
      1. PTAnswer
    1. VO
      singulars
      1. PODescribe the Damas-Milner type inference in a way that a CS101 student can understand
      1. USMichiel Buddingh
      1. VTFavorite
    2. VO
      singulars
      1. PODescribe the Damas-Milner type inference in a way that a CS101 student can understand
      1. This table or related slice is empty.
      1. VTUpMod
    3. VO
      singulars
      1. PODescribe the Damas-Milner type inference in a way that a CS101 student can understand
      1. This table or related slice is empty.
      1. VTUpMod
    1. This table or related slice is empty.
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload