Задача про ip-диапазоны: cуперкомпиляция условий

[swizard]

В продолжение предыдущего поста.

Давайте еще раз посмотрим на код условия, которое мы генерируем по описанию диапазона:

IP-RANGES> (ip-range "104.57.221.173,104.75.219.35")(AND

Comments

[thesz]

А это какой суперкомпилятор? Позитивный или негативный? Думал ли ты над применением дистилляции?

[swizard]

А чёрт его знает. Скорее, негативный -- чаще используется знание об ограничениях переменных, благо эти ограничения очевидны.

А дистилляция (если я правильно помню, что это такое) здесь используется -- смело выполняется многократная прогонка правил по изменяющемуся коду, пока не останется ничего, что можно было бы оптимизировать. Зацикливаний здесь нет, потому что и код и правила достаточно простые.

[zlokk]

пособие по превращению более-менее читаемого кода в БЕЗУМNЕ ))

[rigidus]

Наоборот ваще-то

[nponeccop]

Я на заре своей карьеры делал обратную процедуру: из лапши ветвлений, составленной вручную, делал конфигурационный файлик и интерпретатор к нему.

[nponeccop]

А как ты собираешься дерево ветвлений балансировать? На 1к диапазонов у тебя сейчас будет минимум 1к сравнений против 11 необходимых. Сделай суперкомпиляцию двоичного поиска в сортированном массиве интов - и делов-то. Сортировка балансировку дерева сравнений обеспечит.

[swizard]

Для ip адресов, по-моему, выгодней построить и суперкомпилировать патрицию (которая binary radix tree), чем двоичный поиск. Но тут не суть важно, я просто серией этих постов пытаюсь продемонстрировать подход к программированию в стиле "скобки вокруг спецификации" :)

А сортировка и балансировка получившихся ветвлений у меня будет в следующем посте.

[dmzlj]

а в чем прикол сравнивать побайтно? почему не по int32?
и в целом, сделать ничего лучше, чем построить дерево сравнений не выйдет таким образом.

и при десятках тысяч диапазонов оптимизатор, наверное, загнется.

[cvet_divanoff]

Так идея решения вроде была в минимальной деформации/трансформации условий?

[dmzlj]

Учитывая то, что будет происходить потом, по-моему уже копейки. Но если дело принципа, тогда конечно

[p2004r]

... а когда продолжение? :)