Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-10-13

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

All times shown according to UTC.

Time Nick Message
14:27 xstill proč že se vlastně mají psát #include před ochranná makra?
14:30 mornfall no, když máš #include uvnitř tak tím vznikají vnořený ifdefy který se nechovaj úplně intuitivně
14:32 xstill jo, no já jsem se to dneska snažil vysvětlit studentům když se na to zeptali a pěkně jsem se do toho zamotal
14:32 mornfall :-)
14:35 mornfall jeden důvod by mohl být že když vyrobíš #include cyklus, tak bez guardů ti překladač řekne že máš cyklus, s guardama ti to nějak seskládá a vybouchne to na nějaký chybějící deklaraci, nejspíš
15:10 xstill jojo, to jsem zrovna vymyslel
15:11 mornfall ono tam teda bylo ještě něco ale nechce se mi to vymýšlet
15:12 xstill :-D to jsem jim taky řekl
15:12 mornfall :D
16:39 CcxCZ joined #divine
16:57 CcxCZ Dobrý večer :-)
17:00 mornfall o tom by se dalo diskutovat
17:00 mornfall :-P
17:08 CcxCZ ... "What do you mean?" he said. "Do you wish me a good morning, or mean that it is a good morning whether I want it or not; or that you feel good this morning; or that it is a morning to be good on?"
17:08 CcxCZ :-)
17:09 mornfall to znám
17:11 CcxCZ nejakou dobu se divam po model-checkerech a hledam neco co mi umozni modelovat sitove servery (a jejich komponenty) s dynamickou alokaci pameti. Zatim nejslibneji vypadal SPIN ale tam se ta dynamicka pamet modeluje opravdu osklive. Jak je na tom divine?
17:12 mornfall no, docela dobře, řekl bych
17:13 mornfall pokud ti nevadí „modelovat“ v C++ (potažmo C)
17:14 CcxCZ tak nevadi mi ho generovat, ale koukam na DVE coz vypada podstatne srozumitelneji ve vysledku
17:14 mornfall DVE nic jako dynamickou paměť neumí
17:15 mornfall (rozumně)
17:15 CcxCZ ok, takze jedine C(++) nebo LLVM bitcode?
17:15 mornfall jo, LLVM je určitě možnost
17:16 mornfall DVE umí jen staticky velký stavy, takže by se to muselo nějak hrozivě ohackovat
17:16 mornfall a taky by se asi muselo generovat, protože psát v tom není zrovna pohodlný
17:18 mornfall na LLVM/C/C++ je zase blbý že to není modelovací jazyk, takže procesy a synchronizace tam nativně nejsou
17:18 mornfall ale v generovaným kódu to snad půjde rozumně udělat pthreadama a atomickýma sekcema
17:19 mornfall to by pak ani nemuselo být moc drahý (aspoň pokud jde o velikost stavového prostoru)
17:20 CcxCZ tak ja pocitam s nejakou abstraktnejsi reprezentaci ala CSP s algebraickyma typama z ktery chci delak jak quickcheck pro jednotlivy komponenty tak pak z toho udelat jednotlivy procesy pro ten model
17:21 mornfall no, divine kdysi uměl nějaký mCRL2
17:22 mornfall což je ala CSP s ADT
17:22 CcxCZ a vicemene vsechno pro co to chci ma nejaky druh globalniho locku, jde mi hlavne o deadlocky a sitovou komunikaci nez o klasicky vlaknovy problemy
17:22 CcxCZ divam se na to..
17:29 CcxCZ to nevypada uplne spatne, maji tam dokonce srozumitelny priklady, to se casto nevidi :-)
17:38 mornfall hm, cvs log furt normálně funguje... to mě skoro i překvapuje

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