Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет polytheme ([info]polytheme) в [info]programming
@ 2007-08-27 15:12:00

Previous Entry  Add to memories!  Tell a Friend!  Next Entry
красивые грабли: OCaml
о прекрасном.

написал чудесный функтор
module type Holder =
sig
type t
end

module Comparable(H:Holder) =
struct
type t = H.t
let compare = compare
end

прекрасно применяется, между прочим, к целым,
строкам, декартовым произведениям, вариантам ...

и всё бы было ничего, но функция
lim f eq start =
let next = f start in
if (eq start next) then next
else lim f eq next
(которая весьма полезна для набивки множеств,
получения связных компонент графов и
всего такого прочего) у меня зациклилась
(на Map[Comparable[Set[...]]] и этот самый
compare = 0)


не будь, как тот медведь:
compare действительно определяет структурную
эквивалентность базовых типов - т.е. сравнение того,
что лежит внутри. но у множеств внутри лежат
сбалансированные деревья, и вот они-то множеством
определяются неоднозначно: зависят от порядка закладки
туда элементов. посему, кстати, у Set и Map есть
свой compare, правильный


(Читать комментарии)

Добавить комментарий:

Как:
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Тема:
Сообщение: