Matija Pretnar: Izpeljava tipov, 2. del
Datum objave: 11. 3. 2013
Seminar za temelje matematike in teoretično računalništvo
Torek, 12. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Povzetek. Podrobneje si bomo ogledali Hindley-Milnerjev algoritem za izpeljavo tipov. Ta deluje v dveh korakih: najprej izrazu priredimo parametrični tip ter množico enačb med parametri, nato pa z Robinsonovim algoritmom izračunamo najbolj splošno substitucijo, ki zadosti enačbam, ali pa pokažemo, da take substitucije ni.
