4
Зв'язок між контрактами та залежним типізацією
Я читав деякі статті про залежні типи та контракти на програмування. З більшості того, що я прочитав, видається, що контракти динамічно перевіряються обмеженнями, а залежні типи - статично перевіряються. Було кілька паперів, які змусили мене думати, що можливо мати контракти, які частково перевіряються статично: Перевірка типу гібриду (C. Flanagan - …