Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-16

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:50 xstill jo, zhruba, akorát teda takové nasazení asi nevydržíme
09:09 mornfall prej nasazení... to chceš říct že fulltime je horní limit toho co zvládnete?
09:23 mornfall nicméně pokud bude někdo po osmi hodinách padat do mdlob únavou tak může jít klidně spát
10:07 mornfall xstill: jakej je rozdíl mezi IsOrd/IsEq a IsComparable?
10:08 mornfall neměl by to být jen alias, nebo to rovnou smazat?
10:14 xstill tak, rozdíl je v tom kolik volání dělaj jestli si dobře pamatuju, no a nechtěl jsem rozhrabat všechno co používá comparable, tak jsem tam zatím nechal obojí
10:20 mornfall a má to po optimalizaci nějakej dopad?
10:26 mornfall (pokud dodáš implementaci ==, tak se to liší jen implementací ostrých nerovností)
10:27 mornfall (a asi nevidim důvod proč tu jednodušší nepoužít v Comparable)
14:09 xstill hm, asi ne, dalo by se to dát jako jedno alias druhého
14:09 xstill asi bych chtěl pořád mít samostatné Eq ale, dává mi smysl to mít oddělené
14:10 xstill a teda ten patch se mi dost nechce měnit, protože bych si tím rozhrabal celou historii
14:17 mornfall no tak to oprav navrchu, ale takhle to je hodně hloupý...
14:17 xstill ok, opravím a pošlu
14:19 mornfall i když teda nevim úplně jak to smysluplně rozdělit
14:20 xstill hm, co tím myslíš?
14:20 mornfall mi skoro přijde že implementace != nebo dědit od brick::types::Eq už vyjde skoro nastejno
14:21 mornfall no že když je defaultní implementace == podle <=...
14:21 xstill podle mě pořád lepší to dědění
14:24 mornfall ale jo, to bude fungovat, operator== bude pod IsOrd podle <=, operator != podle IsEq podle == a ono se to celý nějak srovná
14:25 mornfall takže když podědíš Eq musíš dodat ==, když Ord tak stačí <= a == se odvodí
14:25 mornfall jakou událost má Jiřík?
14:26 xstill velkou vědeckou radu, v rámci té jeho profesůry
14:36 xstill dobrá zpráva je, že gcc 6 přeloží (můj) DIVINE
17:25 xstill mornfall: mám v kalendáři RedHat 15. 6. od 12 do 2, souhlasí?
17:26 mornfall téměř, posunulo se to o hodinu na 13:00
17:27 xstill ok, doufám, že nějak zásadně do pozdějš to posunout nehrozí (tak aby to nezkončilo dřív než v 5)
17:30 mornfall snad ne
23:30 mornfall eh, proč je antea.fi.muni.cz anna?
23:31 mornfall a anna.fi.muni.cz je taky anna

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