Алгебра типів

TODO: основна ідея. стани яких не можна досягти - невиразимі.

TODO: how microsoft writes bug less code.

Приклад: C++

Як з допомогою unsigned, классів та шаблонів можна виразити деякі обмеження.

Доповідь хлопця з facebook.

Приклад: erlang

Як алгебра типів підтримується в erlang

Угорський запис

Основна стаття: Угорський запис. Як він допомагає з реалізацією концепцій алгебри типів.