Виктор Вершанский — Родословные зависимых типов на JavaScript