Variable (var) typing rule in Hindley-Milner

Описание к видео Variable (var) typing rule in Hindley-Milner

We look at the variable (var) typing rule in Hindley-Milner. This typing rule is useful for evaluating the type of variable expressions by pulling out some assignment from the context into a judgement that we can use as input to other typing rules.

This is part of a subseries on the Hindley-Milner typing rules, which is part of the wider Hindley-Milner type inference series.

00:00 Intro
00:14 Breaking down the rule
01:32 Reading through the rule
03:59 Practical example 1
06:47 Getting an intuition
08:01 An analogy from algebra
10:46 Practical example 2
11:45 Next steps

Комментарии

Информация по комментариям в разработке

Похожие видео