Logs: freenode/#haskell
| 2021-03-10 20:01:56 | <hseg> | that works except when you need to synthesise new data |
| 2021-03-10 20:02:07 | <hseg> | so e.g. no Monoid instance |
| 2021-03-10 20:02:09 | <sclv> | https://www.tweag.io/blog/2017-12-21-reflection-tutorial/ |
| 2021-03-10 20:02:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-10 20:03:40 | <sclv> | this has all been wrapped up in a usable way somewhere iirc but its not all in e.g. the reflection package directly. i think in practice people find it irritating to use, but i know it was all worked out at one point |
| 2021-03-10 20:04:13 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2021-03-10 20:04:33 | <hseg> | y... |
| 2021-03-10 20:05:06 | <hseg> | actually, i think i was burned by this the previous time, but this specific usecase i want could actually work |
| 2021-03-10 20:05:43 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 276 seconds) |
| 2021-03-10 20:05:56 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:06:11 | <hseg> | (specifically, given rotateMinimum :: Ord a => [a] -> [a], i'd like to rotateMinimumOn (scanl1 (+)) |
| 2021-03-10 20:06:31 | <hseg> | which will make the output list satisfy all (>=0) |
| 2021-03-10 20:06:33 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 20:06:34 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-03-10 20:06:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-10 20:06:52 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:07:14 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds) |
| 2021-03-10 20:07:19 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-10 20:07:23 | <hseg> | hrm. it seems that as long as i only ever have the projected data in negative position this can work |
| 2021-03-10 20:07:49 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-03-10 20:07:54 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-10 20:07:59 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-10 20:08:01 | <hseg> | which makes sense -- if you have data in positive position, you start having to worry about how to combain the various projections |
| 2021-03-10 20:08:15 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 20:08:15 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-10 20:08:34 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:09:25 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 20:09:44 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:10:32 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 20:10:50 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:11:43 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 20:12:02 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:14:51 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-10 20:15:53 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-10 20:16:09 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-10 20:16:15 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-10 20:16:43 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 245 seconds) |
| 2021-03-10 20:17:21 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-10 20:19:11 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-10 20:19:39 | → | zangi joins (~azure@103.154.230.250) |
| 2021-03-10 20:20:51 | × | zangi quits (~azure@103.154.230.250) (Client Quit) |
| 2021-03-10 20:23:29 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-10 20:23:49 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:24:05 | → | zangi joins (~azure@103.154.230.250) |
| 2021-03-10 20:24:38 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-10 20:25:22 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-10 20:25:47 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:383a:c6c2:f8c1:ca2c) () |
| 2021-03-10 20:26:31 | → | carbolymer joins (~carbolyme@dropacid.net) |
| 2021-03-10 20:27:36 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-10 20:28:50 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-03-10 20:28:50 | × | sablib1 quits (~sablib@171.113.166.176) (Read error: Connection reset by peer) |
| 2021-03-10 20:29:21 | → | sablib1 joins (~sablib@59.173.154.87) |
| 2021-03-10 20:29:38 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-10 20:31:01 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2021-03-10 20:31:22 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2021-03-10 20:32:17 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-10 20:35:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-10 20:35:39 | × | forgottenone quits (~forgotten@176.42.29.216) (Ping timeout: 246 seconds) |
| 2021-03-10 20:36:33 | × | arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 264 seconds) |
| 2021-03-10 20:36:56 | → | maxxe_test joins (~maxxe@unaffiliated/maxxe) |
| 2021-03-10 20:38:45 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-10 20:39:38 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:40:19 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 20:40:40 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 20:40:55 | × | kozowu quits (uid44796@gateway/web/irccloud.com/x-wlfxxlfkkrrqlsqe) () |
| 2021-03-10 20:41:11 | → | kozowu joins (uid44796@gateway/web/irccloud.com/x-qrafyzcgzsqfnujy) |
| 2021-03-10 20:41:24 | × | maxxe_test quits (~maxxe@unaffiliated/maxxe) (Quit: brb) |
| 2021-03-10 20:42:26 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-03-10 20:47:03 | × | supercoven_ quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 2021-03-10 20:48:21 | → | jneira joins (5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191) |
| 2021-03-10 20:50:08 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-10 20:53:58 | × | amerigo quits (uid331857@gateway/web/irccloud.com/x-ogtmyetatpwdhnbk) (Quit: Connection closed for inactivity) |
| 2021-03-10 20:54:43 | → | petrus joins (~petrus@unaffiliated/petrus) |
| 2021-03-10 20:58:45 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-10 20:59:39 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-10 21:00:06 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-10 21:00:38 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 264 seconds) |
| 2021-03-10 21:00:39 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-10 21:02:10 | → | leah2 joins (~leah@vuxu.org) |
| 2021-03-10 21:02:36 | × | zangi quits (~azure@103.154.230.250) (Ping timeout: 246 seconds) |
| 2021-03-10 21:03:33 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-10 21:03:57 | × | milessabin quits (sid86799@gateway/web/irccloud.com/x-xytdxzsyhuzytcdc) () |
| 2021-03-10 21:04:13 | → | milessabin joins (sid86799@gateway/web/irccloud.com/x-wrfvlipjxxwtgdkb) |
| 2021-03-10 21:04:42 | × | kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-yhojjneatqeoigbv) () |
| 2021-03-10 21:04:42 | → | zangi joins (~azure@103.154.230.250) |
| 2021-03-10 21:04:50 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-10 21:04:55 | → | kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-mfzxnpgkmcgufsvn) |
| 2021-03-10 21:05:18 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-10 21:07:22 | → | pera joins (~pera@unaffiliated/pera) |
| 2021-03-10 21:07:55 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-10 21:08:14 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-10 21:08:17 | → | fendor_ joins (~fendor@77.119.131.80.wireless.dyn.drei.com) |
| 2021-03-10 21:09:15 | → | encod3 joins (~encod3@45-154-157-94.ftth.glasoperator.nl) |
| 2021-03-10 21:10:56 | × | Kamuela quits (sid111576@gateway/web/irccloud.com/x-rawlogsccanndxab) () |
| 2021-03-10 21:10:59 | × | fendor quits (~fendor@178.165.128.28.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-03-10 21:11:22 | → | Kamuela joins (sid111576@gateway/web/irccloud.com/x-clkrtorqsnvtctky) |
| 2021-03-10 21:12:09 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9595a49e15de1a2c16dc.dip0.t-ipconnect.de) |
| 2021-03-10 21:12:13 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-10 21:13:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-10 21:13:11 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
All times are in UTC.