Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-03

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

All times shown according to UTC.

Time Nick Message
07:53 divine-next 4 new patches validated [divine mornfall]
09:40 divine-buildbot Hey! build divine-next-debug #510 is complete: Failure [finished]
09:52 yaqwsx Otázka mimo DIVINE; hypoteticky bych v C++ chtěl napsat trait, který je specializovaný pro char, int, short int, long int, long long int, ... a  přiřazuje jim nějakou konstatntu. Některé z těchto typů jsou ale stejné (na každé platformě ale jiné). Pokud jsou stejné, nezáleží mi na tom, kterou konstatntu k typu přiřadím. Jak vyřešit konflikt ve specializaci?
09:54 yaqwsx Nemůžu specializovat dle bitové šířky (pomocí int{n}_t)
10:39 xlauko Tak sme došli s Alexandrom k tomu, že vytvoríme nový tool, ktorý spojí Spotlib balgoritmy s DiVM. Hladáme pre neho meno, ak by ste mali nápady. Inak včera som už vyprodukoval céčkovy automat, ktorý bol spapaný Divinom :) Ten formát ale zatial Alexander nechce pridávať do Spotu, keďže je aktuálne len pre Divine, takže ten export by bol súčasťou nového toolu.
10:40 xlauko mornfall: Za týždeň dojde Alexander do Brna, tak sa chce pobaviť aj s tebou.
10:51 xstill_ yaqwsx: myslím, že ty věci co jsou na sebe natypedefované nerozlišíš nijak, co od toho potřebuješ, proč to nemůžeš dělat podle bitové šířky?
10:52 xstill_ xstill: možnost by mohla být hodit si type list dvojic (typ, hodnota) a v tom hledat první věc kde typy jsou stejné (is_same)
10:52 xstill_ hm, hrabe mi
10:53 xstill_ yaqwsx: ^^
10:53 yaqwsx xstill_: Je to spíše hypotetická otázka, ne nic co bych chtěl dělat v praxi.
11:04 xstill aha, a chceš vědět ještě něco?
11:05 xstill mornfall: kde jsi?
12:58 xstill mornfall: než na to zapomenu, až se budeš domlouvat s Alexandrem, docelá rád bych u té schůzky byl
19:25 xstill mornfall: měřené branche jsou v /srv/www/archive/2017/exceptions
20:18 xstill zajímavý, "In a standard-layout union with an active member of non-union class type T1, it is permitted to read a non-static data member m of another union member of non-union class type T2 provided m is part of the common initial sequence of T1 and T2 (except that reading a volatile member through non-volatile glvalue is undefined)." takže type punning přes union je definovaný podle standardu
20:34 xstill potřebujem per user memory cgrupy na arke
20:35 xstill zatím jsem zavřel Jardu do 70 GB grupy
20:37 xstill mornfall: do evaluace by se mělo napsat, že to unwindování i při nechycené výjimce bylo při evaluaci vypnuté
20:38 xstill zdá se, že to dělá dost rozdíl
20:39 mornfall xstill: není, to initial sequence omezení je dost podstatný
20:40 xstill ajo jasně, jsem si řekl, že v těch místech, kde jsem to nedávno použil to bylo OK, ale napsal jsem, že je to OK vždy což není
20:43 xstill přemýšlím na co jsme to řešili, že se to používalo v DIVINE
20:45 mornfall float/int ve value::Float třeba
20:46 mornfall resp. struktura/int
20:46 mornfall atp.
20:49 xstill aha tak to není OK teoreticky
20:52 xstill "the same pointer may have multiple integer representations" … ok
20:59 mornfall myslím že to jediný dovolený je struct X { int x, y; } struct Y { struct X x; int z; }; union { struct X x; struct Y y; } -- může se na x.x nebo y.x.x stejně dobře
21:00 mornfall možná to nemusí být skrz stejnej typ pokud jsou to stejně zarovnaný věci
21:00 mornfall (teda musí to být stejnej primitivní typ ale v jiným struct-u)
21:01 xstill jj, stejný typ zabalený v jiným structu má fungovat a asi i všechno před ním musí být stejný
21:23 mornfall xlauko: btw. to čo si označil ako microsoft v testsuite-private s MS nič nemá :p
21:24 mornfall xlauko: to je len historický githubový klon http://llvm.org/svn/llvm-project/test-suite
21:25 xstill "Your connection is not secure The owner of llvm.org has configured their website improperly." … ok
21:27 mornfall to je tvůj browser, nejspíš
21:27 xstill asi jo, jsem kdysi zakazoval nějaké míň bezpečné algoritmy tuším
21:28 mornfall to asi nebude tím, https na llvm.org jaksi není (resp. https://llvm.org je 404 a subdomény hlásí tohle protože certifikát je na llvm.org přímo)

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