ну, если включать в тип "разумный" набор пред- и постусловий, то гарантии будут. Например, если на выходе алгоритма сортировки требовать sortedSequence, то если алгоритм не сортирует, то будет ошибка типизации. Правде пока никто не знает, как это удобно реализовать :(
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2010-10-07 12:11 pm (UTC)