История изменений

(дада в этом самом ООП такого никогдаб не произошло)

Этого никогда бы не произошло в языке с зависимыми типами. Вот пример реализации сетевого протокола.

http://docs.idris-lang.org/en/latest/st/examples.html

Как можно видеть, всё состояние выражено в типах. Т.е. компилятор, для нашего случая, просто не позволил бы вызвать любую функцию доступную «авторизованному» подмножеству функций из неавторизованного состояния. И пишется это легко и элегантно, с полной компил-таймовой проверкой (в отличие от рантаймовой при реализации стейт-машин на си).

(вот тут получше разжёвано и пример попроще, кому интересно http://docs.idris-lang.org/en/latest/st/machines.html )

(дада в этом самом ООП такого никогдаб не произошло)

Этого никогда бы не произошло в языке с зависимыми типами. Вот пример реализации сетевого протокола.

http://docs.idris-lang.org/en/latest/st/examples.html

Как можно видеть, всё состояние выражено в типах. Т.е. компилятор, для нашего случая, просто не позволил бы вызвать любую функцию доступную «авторизованному» подмножеству функций из неавторизованного состояния. И пишется это легко и элегантно, с полной компил-таймовой проверкой (в отличие от рантаймовой при реализации стейт-машин на си).

(вот тут получше разжёвано на другом примере кому интересно http://docs.idris-lang.org/en/latest/st/machines.html )

(дада в этом самом ООП такого никогдаб не произошло)

Этого никогда бы не произошло в языке с зависимыми типами. Вот пример реализации сетевого протокола.

http://docs.idris-lang.org/en/latest/st/examples.html

Как можно видеть, всё состояние выражено в типах. Т.е. компилятор, для нашего случая, просто не позволил бы вызвать любую функцию доступную «авторизованному» подмножеству функций из неавторизованного состояния. И пишется это легко и элегантно, с полной компил-таймовой проверкой (в отличие от рантаймовой при реализации стейт-машин на си).

(вот тут получше разжёвано на другом примере кому интересно http://docs.idris-lang.org/en/latest/st/examples.html )

(дада в этом самом ООП такого никогдаб не произошло)

Этого никогда бы не произошло в языке с зависимыми типами. Вот пример реализации сетевого протокола.

http://docs.idris-lang.org/en/latest/st/machines.html

Как можно видеть, всё состояние выражено в типах. Т.е. компилятор, для нашего случая, просто не позволил бы вызвать любую функцию доступную «авторизованному» подмножеству функций из неавторизованного состояния. И пишется это легко и элегантно, с полной компил-таймовой проверкой (в отличие от рантаймовой при реализации стейт-машин на си).

(дада в этом самом ООП такого никогдаб не произошло)

Этого никогда бы не произошло в языке с зависимыми типами. Вот пример реализации сетевого протокола.

http://docs.idris-lang.org/en/latest/st/machines.html

Как можно видеть, всё состояние выражено в типах. Т.е. компилятор, для нашего случая, просто не позволил бы вызвать любую функцию доступную «в авторизованном» подмножестве из неавторизованного состояния. И пишется это легко и элегантно, с полной компил-таймовой проверкой (в отличие от рантаймовой при реализации стейт-машин на си).

(дада в этом самом ООП такого никогдаб не произошло)

Этого никогда бы не произошло в языке с зависимыми типами. Вот пример реализации сетевого протокола.

http://docs.idris-lang.org/en/latest/st/machines.html

Как можно видеть, всё состояние выражено в типах. Т.е. компилятор, для нашего случая, просто не позволил бы вызвать любую функцию доступную «в авторизованном» подмножестве из неавторизованного состояния. И пишется это легко и элегантно.