Алгебра типів
TODO: основна ідея. стани яких не можна досягти - невиразимі.
TODO: how microsoft writes bug less code.
Приклад: C++
Як з допомогою unsigned
, классів та шаблонів можна виразити
деякі обмеження.
Доповідь хлопця з facebook.
Приклад: erlang
Як алгебра типів підтримується в erlang
Угорський запис
Основна стаття: Угорський запис. Як він допомагає з реалізацією концепцій алгебри типів.