Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-09-18

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
08:20 xbarnat joined #divine
08:21 xbarnat Mornfall: ad MUSEPAT, muze byt v atomicke sekci cyklus?
08:21 xbarnat nebo je ok tvrdit, ze se jedna pouze o acyklickou strukturu, ktera se "kontrahuje" ...
08:24 xstill xbarnat: když budeš mít v atomické sekci cyklus a bude nekonečný tak divine ten stav nikdy nedogoneruje (a tau redukce nikdy nesplácne cyklus do jednoho přechodu)
08:25 xbarnat takze to co piseme v clanku je nepravda ... protoze tau redukce konci i nalezenim cyklu
08:25 mornfall ?
08:26 mornfall tau redukce a atomická sekce není úplně to stejný
08:26 xbarnat j jasne
08:26 xstill tau redukce končí když ten cyklus když ten cyklus obejde jednou dokola tuším
08:26 mornfall co píšem v článku? resp. ve kterém?
08:27 xbarnat no podle me v musepat chybi dulezite info, ze to co se splacne pri tau+redukci je acyklicky graf ... proto se to da tak snadno videt, ze je to korektni ...
08:31 xstill acyklický by asi měl být, pokud je to dobře naprogramovaný
08:31 mornfall no, dokonce tam píšeme 'tree' což je silnější než DAG
08:31 mornfall a vzhledem k tomu že uvnitř těch sekcí se nedělá deduplikace tak bych řekl že to je pravda
08:32 mornfall prostě to je unroll
08:32 mornfall (což je vždy strom)
08:32 mornfall i kdyby ten původní graf byl nakrásně cyklickej
08:32 mornfall (jen pak by ten strom byl nekonečnej, a tomu bráníme statickou kontrolou na control-flow cykly)
08:33 xstill myslím, že Jiříkovi jde právně o ten původní
08:36 xbarnat kde to je napsane v musepat clanku?
08:36 mornfall napsané co?
08:37 mornfall o tau plus tam je víceméně jen \cite{RBB13}
08:37 xbarnat ze je to acyklicke ta struktura? (protoze to co nam vytyka recenzent 2 z icfemu, ze to teda neni vubec jasne ze je to korektni ... protoze je to sakra tezky to redukovat, kdyz tam jsou cykly (to je pravda), ale to neni nas pripad, a my to musime v tom clanku zduraznit ...) Narazil na to i dalsi recenzent ...
08:39 mornfall ?
08:40 xstill mornfall: no, recenzent si asi nebude číst \cite
08:40 xstill xbarnat: kde to je? mrknu na to taky
08:40 xstill (která sekce?)
08:41 mornfall jmenuje se, překvapivě, Probabilities and tau+reduction
08:41 xstill
08:42 mornfall je to jeden odstavec
08:42 mornfall to že to je sakra těžký s cyklama je IMHO kravina
08:43 mornfall těžký to je jen když chceš redukovat celej cyklus na jednu hranu místo abys měl cycle proviso, ale to platí o deterministickým systému stejně
08:43 mornfall a přijde mi přirozený očekávat že když to je POR tak to má cycle proviso, ale napsat se to tam může
08:43 xstill to je fuk, napsat tam že to je acyklický neuškodí
08:44 mornfall no, napsat tam že to je acyklický vyrobí víc zmatku než užitku
08:45 mornfall (psát že je strom acyklickej nedává smysl a to z čeho ten strom vznikl je 'acyklický' jen ve velice lokálním smyslu)
08:47 xstill ono by stálo za to i u té __interrupt_mask zmínit, že to co je uvnitř musí být acyklické, pokud to tam ještě není
08:48 xstill jdu si přečíst 3.3
08:59 xstill já bych byl pro přidat na konec toho odatavce co zmiňuje mask/unmask (3. v 3.3), že ten kus kódu v masce nesmí obashovat nekonečné cykly, a v té části 3.4 bych přidal, že to neunrolluje cykly víc než 1x asi za tu větu "A piece of code is dynamically marked…"

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary