[Зависимые типы] Объясните на пальцах.

Кто нибудь может в пяти строчках кода и паре предложений выразить суть и основные бенефиты идеи?

... << RSDN@Home 1.2.0 alpha 4 rev. 1111>>

Talk is cheap. Show me the code.

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: