Формальная семантика позиционирования CSS-блока

Question

Я (теоретик) студент-информатик, и поэтому исследование семантики языков программирования является одним из предметов моего исследования (wikipedia).

Я много играл с CSS и имел разумное представление о правилах позиционирования коробки. (Если вы скажете мне создать страницу с определенным макетом, я могу часто думать о правильном полевом подходе и применимых правилах CSS.)

Было бы здорово иметь какую-то формальную семантику для правил позиционирования CSS-блока, но после поиска сети некоторое время я не мог найти ничего полезного.

Я в основном просто заканчиваюсь спецификациями CSS, которые отформатированы как длинные тексты с псевдо-алгоритмами (не самое большое чтение). Я еще не прочитал ни одной из этих спецификаций.

Не пробовали ли формализовать эту теорию “ в какой-то математической модели, более строгой, чем спецификации могут предложить? Я не ищу что-то полное или окончательное, но оно было бы аккуратным (и полезным!), Если бы, по крайней мере, способ размещения ящиков мог быть смоделирован формально.

Кто-нибудь знает о таких исследованиях?

Answer 1

Не ответ!Это пример возможной формализации очень упрощенного случая (см. Мой комментарий выше).

Скажем, к примеру, мы работаем в мире с участием (1) ширина известный экран , (2) упорядоченный список коробки которые не гнездились, имеют без полей/отступов-х/границ , плавают слева и из которых мы знаем их высоту (2.1) и ширину (2.2) через математические функции и .

Мы будем определять функции и , в которых указываются координаты левого верхнего угла каждого окна.

Мы будем определение/с использованием соотношений « начинается выравнивают » и « имеет высоту ».

Прежде всего, начинается линия 0.

Тогда, если начинает выстраиваться , и, кроме того, если для некоторых

...мы приходим к выводу, что:

1. 
2. 
3. имеет высоту
4. начинается линия +1 тогда и только тогда

Эти правила определяют положение заданных коробками в формальном манера. Это единственный способ сделать это, конечно, и, вероятно, не самый умный (просто подумал об этом быстро), но он правильно оформляет способ работы float (по модулю опечаток, я не проверил его достаточно хорошо).

При работе с языками программирования можно выбрать многие из этих формализмов, каждый из которых придуман для конкретных целей (см. wikipedia).

Мне просто интересно, если кто-нибудь когда-либо пытался придумать некоторую формализацию для позиционирования блока CSS. Разумеется, спецификации проделали долгий путь, но они не так уж строги, как математический способ.