Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-30

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

All times shown according to UTC.

Time Nick Message
07:35 xstill mornfall: annu jsem nahodi, vypnul jsem hydru
07:37 xstill mornfall: antea nemá home
07:37 xstill ani ostatní
07:45 xstill mornfall: už jsem to vyřešil
07:45 xstill musal jsem udělat exportfs -r na anně
07:46 xstill jinak by bylo dobrý změnit ten loglevel v grubu
08:12 mornfall zásadní otázkou je, bylo něco vypsanýho na konzoli?
09:22 xstill stacktrace kernelu
09:22 xstill mám fotku jestli chceš ale asi ti to moc nepomůže
09:27 mornfall zajímavé
09:28 mornfall máme nějaké nové info k pořizování nového počítače?
09:28 mornfall nebo mam poslat tu konfiguraci za 99.9k a pořídí se to?
09:42 mornfall nic, směr zubař, kdybych se nevrátil pracujte dál na divinu ;-)
10:11 xstill nevím zeptej se Ivany na ten limit
11:44 mornfall no, žiju
11:44 mornfall zatím
13:02 xstill :-D
16:46 xstill prej nám nejde php, nevím jak ho zapnout
17:10 mornfall není problém nfs na antee?
17:15 xstill tak home má, ale já nevím co vlastně nejede
17:15 xstill jen že Jiřík říkal, že php
17:15 xstill (vím že to s home nesouvisí)
17:15 xstill ale je to obojí nfs
17:16 xstill +přes
17:16 mornfall to je zase jednou popis problému...
17:18 mornfall řekl bych že nejede jeho home na antee
17:19 mornfall hm, ten funguje
17:19 mornfall tak nevim :-)
17:20 mornfall ale nefunguje http://anna.fi.muni.cz/~xbarnat/publist.php tím nejspíš myslel
17:27 xstill nojo je to rozbitý, ale já vůbec nevím jak je to udělaný
17:30 mornfall no, antea běhá fastcgi php
17:32 xstill www-commonphp.service?
17:32 mornfall už ho restartuju
17:32 mornfall ale zatím to je spíš tuhý :)
17:33 mornfall a je to vyléčený
17:33 xstill takže stačilo to restartovat?
17:33 mornfall no, pomohlo to, aspoň zatím
17:34 mornfall jestli to je proto že někde visí nějaký nfs na který to časem hrabne a zdechne to nevim
17:34 xstill hm, a máš představu proč bylo potřeba udělat to exportfs?
17:34 xstill a proč anně nejede terminál?
17:36 mornfall hm, to exportfs jsem už někdy řešil, ale už si to zase nepamatuju
17:37 mornfall anně terminál jede, jen systemd umí jen jednu konzolu a vybírá si tu sériovou která nefunguje
17:44 xstill aha
17:48 spito joined #divine
17:54 xstill http://www.gotw.ca/publications/mill17.htm co se může stát se specializací šablonových funkcí...
17:56 mornfall :-)
17:58 mornfall tak, specializace funkcí je asi fakt dobrá hlavně jako specializace, tzn. optimalizace
17:59 xstill no problém je že se nemusí chovat moc intuitivně jak tam píšou
17:59 xstill protože záleží na pořadí specializace vzhledem k overloadům
18:00 xstill ještě tam vůbec nezmínili co se stane když té funcki explicitně napíšu šablonové parametry
18:02 mornfall no to právě nezáleží :-)
18:03 mornfall záleží jen na tom *co* specializuješ
18:03 mornfall nezáleží v jakém pořadí
18:03 mornfall specializace se zavolá právě když je to specializace toho co by se zavolalo kdyby tam nebyla
18:04 mornfall to co je asi matoucí, když máš overloady, nemusí být jasné co specializuješ
18:04 xstill jasně, ale to co specializuješ záleží mimo jiné na tom kde v kódu tu specializaci máš
18:05 xstill teda tak jsem to pochopil z toho příkladu
18:05 mornfall tak, to taky jenom proto že nemůžeš specializovat něco co neexistuje :-)
18:05 xstill jistě
18:06 mornfall zrada je, že v té specializaci samotné není napsaný čeho specializace to je
18:06 mornfall a to může být nejednoznačný, a nemůže to být chyba (protože to jinak napsat nejde)
18:08 xstill hm, další sviňárna je že i při explicitním volání se šablonou se ti to asi ještě může overloadovat, teda v to příkladě f< int >( x ) by záleželo na tom, jestli je x typu int nebo int * a podle toho by se volalo, ne?
18:18 mornfall to se asi musí zkusit, řekl bych že jo, protože jak jinak
18:18 mornfall ale kdoví :-))
18:23 xstill no fakt to tak je, jsem si to zkusil
18:27 xstill http://pastebin.dqd.cz/MkrX/
18:27 xstill dobrý ne?
18:27 xstill to by mě samotnýho nenapadlo nebýt toho článku
18:27 xstill a ani to nejsou specializace
18:29 mornfall f< int * >( &y ) by taky mělo fungovat
18:29 mornfall teda zavolat T *
18:29 xstill jo to jo
18:29 mornfall a to je, milé děti, důvod proč Java a Python nemají overloading ;-)
18:30 xstill :-D
18:30 xstill spito: to kdyby jsi chtěl na C++ ukázat něco z čeho utečou a není to divine
18:32 mornfall tak, vždycky je v záloze ještě boost
18:33 xstill no tak to je dost hardcore
18:33 xstill to by se asi nelíbilo ani mně
18:45 xstill spito: ještě bys jim měl napsat do slajdů že nemaj nikdy ale opravdu nikdy const castovat reference
18:45 mornfall :-)))
19:01 xstill hm, dá se dělat sfinae v závislosti na šablonovém parametru třídy?
19:01 mornfall v jakém smyslu?
19:02 xstill no v závislosti na šablonovém parametru třídy vyhodím úplně některé metody, protže by jejich tělo nedávalo smysl
19:02 mornfall v nešabloně to asi nejde
19:04 mornfall nejde to vůbec, v tomto případě substitution failure IS an error :-)
19:05 mornfall musí to být vzhledem k něčemu co se substituuje až při tom volání
19:05 mornfall parametry třídy se substituují v momentě kdy se vyrobí instance té třídy
19:06 mornfall to co chceš je asi specializace :-)
19:06 xstill hm taky fakt
19:07 mornfall alternativně teda můžeš vytáhnout ty metody které můžou nedávat smysl do mezičlánku kterej pak podědíš
19:09 mornfall template< typename T, typename Base > struct Stuff : Base { ... }; template< typename T > struct MoreStuff : Stuff< T, BaseClass > { ... };
19:16 spito xstill: co udělá const ref castovaná na ref?
19:17 spito to by nemělo udělat téměř nic, ne?
19:17 mornfall to udělá solidní bordel
19:17 spito až na to, že někdy to bude mít vedlejší efekt a někdy ne
19:17 xstill spito: ta const ref může být temporary
19:17 mornfall ona to může být dokonce temporary i když to je lvalue
19:18 spito až tak?
19:18 spito kdy?
19:18 mornfall (protože bitfield je sice lvalue ale nejde z něj vzít adresu)
19:18 xstill hmm
19:18 spito no, tak to potom jo
19:19 mornfall const reference je speciální magie; nedotýkat se
19:20 spito použít můžem, žejo :)
19:20 spito (já vim, zlobim)
19:20 mornfall a když se volání inlinuje, tak by const_cast mohl tu temporary dokonce vynutit i kdyby jinak ve skutečnosti nikdy neexistovala... jediné štěstí že bitfield nemůže mít konstruktor
19:20 spito muhehe
19:21 spito já to dám do slajdů
19:21 xstill nemůže mít konstruktor?
19:21 mornfall bitfield musí být POD
19:21 xstill ah
19:21 mornfall teda to z čeho ten bitfield je, ne ta struktura kolem
19:22 xstill jo tak
19:22 xstill jasný už
19:22 mornfall ono to teda bude všechno fungovat, víceméně
19:22 mornfall i když ten const_cast použiješ
19:23 mornfall jen ne vždy to bude mít stoprocentně intuitivní výsledky
19:24 mornfall je myslím jasný, že když to uděláš, budou umírat koťátka... přinejmenším
19:30 spito a může zkolabovat internet a přestat svítit slunce ;)
20:10 xstill lze ekvivalenci na množině zadat jenom třídami rozkladu?
20:11 mornfall proč ne?
20:12 xstill nevím bych řekl, že by to jít mělo
20:12 xstill ale já co já vím
20:13 mornfall x <=> y iff \exists t. {x, y} \subseteq t ne? :)
20:14 xstill :-)
20:19 mornfall to ti definuje nejen tu ekvivalenci ale dokonce aj množinu nad kterou je
20:19 mornfall třídy rozkladu jsou supr

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