?

Log in

No account? Create an account

Ничем не примечательный ЖЖ

History

7th October 2010

4:11pm: Давно хотел сделать это. Ну или подобное.

Дисклейзмер: тут всего лишь использование окамловских private types так, как это привыкли сделать с абстрактными типами, и остальное -- просто форсирование инварианта посредством запрещения создания (и тем более модификации) значений с нужным типом.

deni_ok напомнил про статическую типизацию, позволяющую работать с сортированными списками, сохраняя отсортированность как инвариант. Решил поиграться слегка, чтобы отвлечься как от одной работы (реляционки), так и от другой (жабаскрипт).
Collapse )
Можно было бы попробовать взять чуть другую аксиоматику (модуль Core), но сходу не получилось, а много времени тратить не хотел.
Powered by LiveJournal.com