Logs: freenode/#haskell
| 2021-03-07 22:02:21 | <minoru_shiraeesh> | I mean it's not like there are several pages of postmodernism discussion |
| 2021-03-07 22:02:52 | <minoru_shiraeesh> | and this channel is ok with couple off-topic messages here and there |
| 2021-03-07 22:03:44 | → | xff0x joins (~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) |
| 2021-03-07 22:05:33 | × | mirrorbird quits (~dwsjeid91@2a00:801:42b:7529:141c:bbbc:ad74:9e2c) (Ping timeout: 272 seconds) |
| 2021-03-07 22:06:01 | → | Natch joins (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-03-07 22:06:15 | <minoru_shiraeesh> | so let's attribute the rude question to monochrom's rudeness that we should be patient about, not to the channel as a whole |
| 2021-03-07 22:07:09 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-07 22:07:26 | × | Tops2 quits (~Tobias@dyndsl-095-033-094-199.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-07 22:07:30 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds) |
| 2021-03-07 22:07:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-07 22:08:45 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-07 22:12:31 | × | xff0x quits (~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) (Ping timeout: 272 seconds) |
| 2021-03-07 22:12:46 | → | krt joins (488a1c12@72.138.28.18) |
| 2021-03-07 22:12:49 | <heck-to-the-gnom> | IDK wtf postmodernism is and there wasn't a good tldr online about it... Anyway, Monochrom's been quite nice to me in the past, I think that you should remain at least moderately on-topic, or else shut your trap. |
| 2021-03-07 22:12:58 | → | xff0x joins (~xff0x@2001:1a81:52eb:4100:dcc4:53fa:b81b:b04d) |
| 2021-03-07 22:13:46 | <MarcelineVQ> | don't sweat the small stuff, as they say :> |
| 2021-03-07 22:14:46 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-07 22:15:03 | <minoru_shiraeesh> | heck-to-the-gnom: do you realize that your message is off-topic itself? lol |
| 2021-03-07 22:15:41 | <minoru_shiraeesh> | which proves my point that the channel is ok with couple of off-topic messages here and there |
| 2021-03-07 22:16:18 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 245 seconds) |
| 2021-03-07 22:16:43 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-07 22:16:48 | <monochrom> | That was not my point. |
| 2021-03-07 22:17:15 | <heck-to-the-gnom> | Hmm, so one can't defend on-topicness without getting off topic. Such a shameful way of thinking. And an incredibly foolish way to justify your poor decisions. |
| 2021-03-07 22:18:26 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-07 22:18:31 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.0.1) |
| 2021-03-07 22:24:58 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-03-07 22:27:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 22:29:56 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-07 22:30:06 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-07 22:31:34 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-07 22:32:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-07 22:33:33 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-07 22:34:17 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) |
| 2021-03-07 22:36:21 | × | NllPtr quits (~NllPtr@dvc-157-183-156-186.movil.vtr.net) (Read error: Connection reset by peer) |
| 2021-03-07 22:38:52 | <minoru_shiraeesh> | heck-to-the-gnom: if you're so interested in me and my decisions, you could apply the principle you just stated and pm me |
| 2021-03-07 22:40:59 | <minoru_shiraeesh> | I think the conclusion is that we should be patient and careful when we answer questions and when we ask questions too |
| 2021-03-07 22:41:10 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-07 22:42:16 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-07 22:42:38 | × | xff0x quits (~xff0x@2001:1a81:52eb:4100:dcc4:53fa:b81b:b04d) (Ping timeout: 264 seconds) |
| 2021-03-07 22:43:03 | × | krt quits (488a1c12@72.138.28.18) (Ping timeout: 240 seconds) |
| 2021-03-07 22:43:11 | → | xff0x joins (~xff0x@2001:1a81:52eb:4100:7c75:434:3c88:779d) |
| 2021-03-07 22:43:55 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 2021-03-07 22:44:38 | <heck-to-the-gnom> | Hmm, looks like we disagree on the moral of this situation. Perhaps we should A. stay on topic, and B. not justify things when we're called out on them, and rather take responsibility. |
| 2021-03-07 22:50:16 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 276 seconds) |
| 2021-03-07 22:51:33 | → | conal joins (~conal@66.115.157.43) |
| 2021-03-07 22:52:39 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-07 22:53:47 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:e5b6:4037:8443:cad1) (Remote host closed the connection) |
| 2021-03-07 22:56:21 | × | fendor quits (~fendor@178.115.130.22.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-03-07 22:56:51 | <minoru_shiraeesh> | ok, I'm gonna stop feeding the troll |
| 2021-03-07 22:57:17 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-03-07 22:59:57 | <heck-to-the-gnom> | -_-... I'll just let that slide... For the sake of ending the argument. |
| 2021-03-07 23:00:18 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-07 23:01:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 23:01:52 | × | dh quits (dh@bsd.ee) (Disconnected by services) |
| 2021-03-07 23:01:58 | → | dh_ joins (dh@bsd.ee) |
| 2021-03-07 23:02:10 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-07 23:03:32 | → | __minoru__shirae joins (~shiraeesh@46.34.207.143) |
| 2021-03-07 23:03:38 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.19) (Ping timeout: 264 seconds) |
| 2021-03-07 23:05:04 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Ping timeout: 245 seconds) |
| 2021-03-07 23:06:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-07 23:08:14 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 23:09:07 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-07 23:09:16 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 23:10:09 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 264 seconds) |
| 2021-03-07 23:13:09 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 264 seconds) |
| 2021-03-07 23:19:26 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-07 23:19:50 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-07 23:20:20 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-07 23:22:33 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 260 seconds) |
| 2021-03-07 23:23:06 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 23:24:50 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-07 23:25:31 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-07 23:25:51 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 23:26:05 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0.1) |
| 2021-03-07 23:26:36 | × | kam1 quits (~kam1@113.203.63.161) (Ping timeout: 246 seconds) |
| 2021-03-07 23:26:38 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-07 23:27:04 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 23:27:05 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-07 23:27:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-07 23:28:46 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-07 23:28:55 | × | o1lo01ol_ quits (~o1lo01ol1@bl7-88-181.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-03-07 23:29:05 | × | conal quits (~conal@66.115.157.43) (Quit: Computer has gone to sleep.) |
| 2021-03-07 23:30:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds) |
| 2021-03-07 23:32:01 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 2021-03-07 23:32:08 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-07 23:32:10 | → | conal joins (~conal@66.115.157.43) |
| 2021-03-07 23:32:17 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2021-03-07 23:32:30 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-07 23:32:49 | <koz_> | I have a whole bunch of HKD records which all derive Generic. I need to write a function with a signature like (Generic rec) => rec Identity -> rec Maybe -> Bool, which would compare those HKDs field by field. Nothings match anything, Justs only match the value inside the Just. |
| 2021-03-07 23:32:50 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-07 23:32:58 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-03-07 23:33:02 | <koz_> | I assume this is _doable_ with Generic, but I'm not sure how to even begin to write it. |
| 2021-03-07 23:33:12 | <koz_> | Does someone have some resource(s) they could point me to? |
| 2021-03-07 23:33:27 | <koz_> | (before the inevitable 'y so complicated' - I didn't pick the types or the problem) |
| 2021-03-07 23:33:43 | <koz_> | s/HKDs/HKD records/ |
| 2021-03-07 23:37:04 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 23:42:27 | × | dddddd quits (~dddddd@unaffiliated/dddddd) (Ping timeout: 256 seconds) |
| 2021-03-07 23:43:25 | → | qih joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-07 23:44:52 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Ping timeout: 276 seconds) |
| 2021-03-07 23:45:00 | → | dddddd joins (~dddddd@unaffiliated/dddddd) |
All times are in UTC.