Semantica formale del posizionamento della scatola CSS

Question

Sono uno studente di scienze (teorico), e come tale l'indagine sulla semantica dei linguaggi di programmazione è uno degli argomenti del mio studio (wikipedia).

Ho giocato molto con i CSS e ho una ragionevole comprensione delle regole di posizionamento della scatola. (Se mi dici di creare una pagina con un determinato layout, posso spesso pensare all'approccio corretto e alle regole CSS applicabili.)

Sarebbe bello avere una sorta di semantica formale per le regole di posizionamento della scatola CSS, ma dopo aver cercato la rete per un po ', non sono riuscito a trovare nulla di utile.

Per la maggior parte mi baso semplicemente sulle specifiche CSS, che sono formattate come testi lunghi con pseudo-algoritmi (non il più grande argomento di lettura --- non ho ancora letto nessuna di queste specifiche con molto sforzo).

Nessuno ha provato a formalizzare questa teoria “ ” in un modello matematico, più rigoroso di quello che le specifiche hanno da offrire? Non sto cercando qualcosa di completo o definitivo, ma sicuramente sarebbe pulito (e utile!) Se, almeno, il modo in cui le scatole dovrebbero essere posizionate potrebbe essere modellato in modo formale.

Qualcuno sa di tale ricerca?

Answer 1

Non una risposta!Questo è un esempio di una possibile formalizzazione di un caso molto semplificato (vedere il mio commento sopra).

Supponiamo, ad esempio, stiamo lavorando in un mondo con (1) larghezza uno schermo noto , (2) un elenco ordinato di scatole che non sono annidati, non hanno margini/di padding/confini , sono flottanti a sinistra e di cui conosciamo la loro altezza (2.1) e (2.2) larghezza tramite le funzioni matematiche e .

Definiremo le funzioni e , che indicano le coordinate dell'angolo superiore sinistro di ciascuna casella.

Saremo definendo/utilizzando le relazioni " inizia schiereranno " e " dispone altezza ".

Prima di tutto, inizia Riga 0.

Poi, se si avvia linea , e, inoltre, se per certi

...concludiamo che:

1. 
2. 
3. ha altezza
4. inizia allineano +1 sse

Queste regole definiscono le posizioni indicate scatole in un formale maniera. È solo un modo per farlo, ovviamente, e probabilmente non è il più intelligente (l'ho pensato rapidamente), ma formalizza correttamente il modo in cui i float funzionano (errori di formattazione del modulo, non l'ho controllato abbastanza bene).

Quando si tratta di linguaggi di programmazione, è possibile scegliere molti di questi formalismi, ciascuno inventato per scopi particolari (vedere wikipedia).

Sono solo interessato se qualcuno ha mai provato a venire con alcune formalizzazioni per il posizionamento della scatola CSS. Ovviamente le specifiche sono molto importanti, ma non sono altrettanto rigorose quanto il modo matematico che ti costringe ad essere.