Logs on 2021-05-15 (freenode/#haskell)
| 00:01:07 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:02:36 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 00:03:44 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 245 seconds) |
| 00:04:32 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 00:05:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 00:07:13 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 00:07:56 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:08:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 00:09:03 | → | houaria joins (~bmichel91@146.70.40.14) |
| 00:10:00 | → | jared-w joins (uid405292@gateway/web/irccloud.com/x-fwgdfquvjlivfmma) |
| 00:10:32 | → | isovector joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 00:12:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 00:12:37 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 00:14:01 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 00:14:43 | → | bennofs_ joins (~quassel@dynamic-077-011-131-014.77.11.pool.telefonica.de) |
| 00:15:10 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 00:17:18 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-mfyylfhapxbhwkzn) (Quit: Connection closed for inactivity) |
| 00:18:28 | × | bennofs__ quits (~quassel@dynamic-089-012-169-079.89.12.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 00:19:52 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 00:20:19 | × | letmein quits (~ircclient@c-71-59-221-7.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 00:20:45 | → | xcmw joins (~textual@2603-6011-2200-f103-78ed-3bbc-293e-9c4e.res6.spectrum.com) |
| 00:22:23 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:23:20 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 00:26:04 | → | stree joins (~stree@68.36.8.116) |
| 00:26:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 00:26:52 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::d3a0) |
| 00:28:05 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::d3a0) (Remote host closed the connection) |
| 00:30:53 | × | nighmi quits (~felix@port-92-196-15-14.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 00:34:40 | × | houaria quits (~bmichel91@146.70.40.14) (Ping timeout: 268 seconds) |
| 00:34:50 | → | houaria joins (~bmichel91@139.28.177.82) |
| 00:36:39 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 00:37:11 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 00:38:17 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::d3a0) |
| 00:39:47 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 00:41:09 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 00:42:10 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Quit: Leaving) |
| 00:42:33 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 00:45:28 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::d3a0) (Remote host closed the connection) |
| 00:45:39 | × | _bin quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Quit: ZNC - https://znc.in) |
| 00:46:03 | → | _bin joins (~bin@2600:1700:10a1:38d0:922b:34ff:fe99:1283) |
| 00:46:23 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 00:47:31 | × | houaria quits (~bmichel91@139.28.177.82) () |
| 00:50:08 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::d3a0) |
| 00:50:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:50:24 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 00:51:34 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::d3a0) (Remote host closed the connection) |
| 00:53:50 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::d3a0) |
| 00:54:18 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 00:54:42 | → | Tario joins (~Tario@200.119.184.176) |
| 00:55:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 00:58:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 00:59:00 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 01:02:21 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:04:58 | → | kilolympus joins (~kilolympu@5.151.5.180) |
| 01:06:35 | × | dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 260 seconds) |
| 01:07:19 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:12:05 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 01:12:43 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 01:15:57 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:15:58 | × | Tario quits (~Tario@200.119.184.176) (Read error: Connection reset by peer) |
| 01:16:14 | × | Wizek quits (uid191769@gateway/web/irccloud.com/x-marzjbfjxkdjkaeq) (Quit: Connection closed for inactivity) |
| 01:16:27 | → | Tario joins (~Tario@201.192.165.173) |
| 01:16:32 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:16:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 01:17:04 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:41 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-ooryghxdatknmzqr) (Quit: Connection closed for inactivity) |
| 01:19:24 | × | plutoniix quits (~q@node-ugb.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 01:20:30 | → | drbean_ joins (~drbean@TC210-63-209-34.static.apol.com.tw) |
| 01:21:22 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 01:21:32 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 01:27:17 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 01:41:43 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 01:43:26 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 246 seconds) |
| 01:48:05 | → | ddellacosta joins (~ddellacos@86.106.143.176) |
| 01:49:27 | × | xcmw quits (~textual@2603-6011-2200-f103-78ed-3bbc-293e-9c4e.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:49:59 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 01:50:26 | × | bobey88 quits (~bobey@72-172-218-188.fidnet.com) (Ping timeout: 246 seconds) |
| 01:51:33 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 01:52:41 | × | ddellacosta quits (~ddellacos@86.106.143.176) (Ping timeout: 240 seconds) |
| 01:52:54 | × | xff0x quits (~xff0x@2001:1a81:52d0:2800:727d:1405:3867:9cdc) (Ping timeout: 245 seconds) |
| 01:53:21 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 01:53:56 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-vnrovmdtqzryhchz) |
| 01:54:39 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 01:55:18 | → | xff0x joins (~xff0x@2001:1a81:52ea:b300:4fc0:e5c8:ce10:9b1b) |
| 01:57:37 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds) |
| 02:01:43 | → | bobey88 joins (~bobey@72-172-218-188.fidnet.com) |
| 02:07:54 | × | bobey88 quits (~bobey@72-172-218-188.fidnet.com) (Ping timeout: 252 seconds) |
| 02:08:26 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 02:10:39 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:11:43 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 02:12:04 | → | dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 02:14:19 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Read error: Connection reset by peer) |
| 02:15:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 02:16:05 | → | xcmw joins (~textual@cpe-69-133-55-43.cinci.res.rr.com) |
| 02:16:39 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 02:17:56 | → | bobey88 joins (~bobey@72-172-218-188.fidnet.com) |
| 02:21:46 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 02:22:41 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 02:24:12 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 02:24:41 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 02:25:39 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:25:39 | finn_elija | is now known as Guest52782 |
| 02:25:39 | FinnElija | is now known as finn_elija |
| 02:25:55 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 02:26:46 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 02:27:33 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 02:28:44 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 02:28:45 | × | Guest52782 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:30:55 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-149.dsl.bell.ca) (Remote host closed the connection) |
| 02:31:09 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-149.dsl.bell.ca) |
| 02:32:37 | → | letmein joins (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 02:34:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 02:36:37 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::d3a0) (Ping timeout: 250 seconds) |
| 02:40:49 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 02:41:09 | × | xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 02:42:40 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 02:46:56 | → | stree joins (~stree@68.36.8.116) |
| 02:48:47 | × | theDon quits (~td@muedsl-82-207-238-178.citykom.de) (Ping timeout: 265 seconds) |
| 02:50:26 | → | theDon joins (~td@muedsl-82-207-238-251.citykom.de) |
| 02:50:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:55:03 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-wsdzjwxkeisynwwr) |
| 02:55:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 02:56:59 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 02:57:54 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 02:57:57 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-iktbyznnjwficzkj) (Quit: Connection closed for inactivity) |
| 02:58:25 | <jackdk> | I keep misreading YMMV (bunch of capitals) as YMML aviation stuff about Tullamarine airport. I blame dibblego |
| 02:59:00 | → | Tario joins (~Tario@201.192.165.173) |
| 02:59:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:01:35 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 03:02:09 | → | ddellacosta joins (~ddellacos@86.106.143.215) |
| 03:02:59 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 03:04:14 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::d3a0) |
| 03:06:51 | × | ddellacosta quits (~ddellacos@86.106.143.215) (Ping timeout: 260 seconds) |
| 03:13:55 | × | danso quits (~dan@modemcable156.91-20-96.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 03:14:38 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 03:20:13 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 03:20:52 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:21:09 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-czjyemaoaqihlnkl) (Quit: Connection closed for inactivity) |
| 03:21:57 | × | concept2 quits (~concept2@unaffiliated/tubo) (Quit: See ya later!) |
| 03:22:24 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 03:23:25 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 03:23:55 | → | concept2 joins (~concept2@unaffiliated/tubo) |
| 03:24:40 | → | tgpdyk joins (889e08ac@136.158.8.172) |
| 03:24:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 03:25:49 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds) |
| 03:26:06 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 03:28:03 | → | monochrom joins (trebla@216.138.220.146) |
| 03:29:01 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 260 seconds) |
| 03:30:18 | × | jared-w quits (uid405292@gateway/web/irccloud.com/x-fwgdfquvjlivfmma) (Quit: Connection closed for inactivity) |
| 03:42:39 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:44:40 | × | tgpdyk quits (889e08ac@136.158.8.172) (Quit: Ping timeout (120 seconds)) |
| 03:44:45 | → | Tario joins (~Tario@201.192.165.173) |
| 03:47:45 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 03:47:46 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 03:49:06 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 04:00:30 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 04:00:59 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 04:03:49 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 04:03:55 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 04:05:47 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 04:08:33 | × | isovector quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: WeeChat 3.1) |
| 04:09:39 | → | bitmagie joins (~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de) |
| 04:14:06 | × | Iceland_jack quits (~user@95.147.45.92) (Remote host closed the connection) |
| 04:14:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:15:55 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:18:46 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 04:19:39 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 04:20:59 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 04:22:10 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 3.1) |
| 04:22:53 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 04:23:44 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 04:26:08 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 04:29:17 | × | TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 250 seconds) |
| 04:29:34 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 245 seconds) |
| 04:30:41 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 04:30:59 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 04:34:05 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 04:38:37 | × | bitmagie quits (~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de) (Quit: bitmagie) |
| 04:42:38 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 04:43:19 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 04:43:27 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 04:44:59 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 245 seconds) |
| 04:51:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:54:08 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:54:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 04:55:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 04:55:31 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection) |
| 04:55:54 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 04:56:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 04:58:48 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 04:59:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:01:38 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 05:03:55 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-wsdzjwxkeisynwwr) (Quit: Connection closed for inactivity) |
| 05:04:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 05:04:37 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 260 seconds) |
| 05:06:15 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 05:07:31 | → | stree joins (~stree@68.36.8.116) |
| 05:09:11 | × | alx741 quits (~alx741@186.178.108.187) (Quit: alx741) |
| 05:10:24 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 05:14:57 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 05:15:46 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 05:15:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:15:52 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 05:16:02 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 05:16:20 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 05:19:59 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 05:22:35 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 05:25:27 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 05:28:26 | × | aerona quits (~aerona@2600:6c54:4600:f300:b5ff:7564:82ff:9355) (Quit: Leaving) |
| 05:29:05 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::d3a0) (Ping timeout: 250 seconds) |
| 05:29:37 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 05:29:46 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 240 seconds) |
| 05:32:15 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 05:34:05 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 05:34:59 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 05:36:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 05:38:04 | × | KaitoDaumoto quits (Frat@unaffiliated/kaitodaumoto) (Remote host closed the connection) |
| 05:40:12 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 05:41:55 | → | ozzymcduff joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 05:41:55 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 05:41:57 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 05:43:52 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 240 seconds) |
| 05:43:57 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 05:46:55 | → | maylee joins (~mayleesia@dynamic-077-013-052-059.77.13.pool.telefonica.de) |
| 05:47:19 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-vgaeotlijwjbygta) |
| 05:51:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 05:57:27 | → | jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 05:57:27 | × | jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 05:57:27 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 05:58:47 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 05:59:03 | → | alexander joins (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) |
| 05:59:31 | alexander | is now known as Guest88420 |
| 05:59:53 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:01:04 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Client Quit) |
| 06:03:33 | × | asdgae33 quits (497b7713@gateway/web/cgi-irc/kiwiirc.com/ip.73.123.119.19) (Quit: Connection closed) |
| 06:04:17 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 06:04:47 | <sayola> | where can i get a c-like array that also works inside ST? Data.Array got a bit too much overhead. GHC.Prim has Array#, but i have no idea how to work with these. |
| 06:05:07 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 06:06:09 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 06:07:22 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-qvhnnxxbarmvcrtm) (Quit: Connection closed for inactivity) |
| 06:08:04 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 06:09:51 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 06:10:38 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 06:10:38 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:10:41 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 06:15:42 | <Cale> | sayola: What's wrong with STUArray? |
| 06:17:04 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 06:17:41 | → | eb joins (1fcb326c@31.203.50.108) |
| 06:18:23 | <Cale> | If you need to act on the array from C code, then StorableArray might be a better choice, but it has more overhead than STUArray since it uses the Storable class to encode Haskell values into corresponding C representations. |
| 06:18:24 | <sayola> | Cale: these arrays need to hold extra information to work with Ix . e.g. start and end point of the index as well as overall index. if i only want to work with many individual ~8 element long arrays, the index handling is noticable overhead. |
| 06:18:36 | <Cale> | ah, okay |
| 06:18:40 | <Cale> | There's Vector |
| 06:19:01 | <Cale> | http://hackage.haskell.org/package/vector |
| 06:19:55 | <Cale> | (Note that ST s is an instance of PrimMonad, which is a class you'll see a bunch of in there) |
| 06:21:27 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 06:22:14 | → | conal joins (~conal@64.71.133.70) |
| 06:22:57 | <sayola> | vector got extra information for slicing. buut its working on arrays from primitive package, which might have what i'm looking for |
| 06:23:05 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 268 seconds) |
| 06:23:37 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 06:27:10 | × | shailangsa quits (~shailangs@host86-186-191-113.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 06:27:21 | <sayola> | Cale: thanks for the tip. seems that Data.Primitive.SmallArray fits nicely |
| 06:27:57 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 06:28:19 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 06:31:12 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 06:37:33 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 06:43:23 | → | ddellacosta joins (~ddellacos@86.106.143.241) |
| 06:48:04 | × | ddellacosta quits (~ddellacos@86.106.143.241) (Ping timeout: 252 seconds) |
| 06:52:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:54:18 | → | shailangsa joins (~shailangs@host86-186-133-27.range86-186.btcentralplus.com) |
| 06:55:56 | × | dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
| 06:57:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 06:57:47 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:58:16 | → | dave_uy joins (~david@108.61.193.26) |
| 07:00:46 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:02:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 07:05:47 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 07:07:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 07:13:17 | → | plutoniix joins (~q@node-ul6.pool-125-24.dynamic.totinternet.net) |
| 07:15:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 07:19:20 | → | ddellacosta joins (~ddellacos@86.106.143.85) |
| 07:20:29 | → | poljar joins (~poljar@93-141-148-6.adsl.net.t-com.hr) |
| 07:22:54 | × | poljar1 quits (~poljar@78-2-35-208.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 07:24:17 | × | ddellacosta quits (~ddellacos@86.106.143.85) (Ping timeout: 265 seconds) |
| 07:25:51 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:28:52 | → | stree joins (~stree@68.36.8.116) |
| 07:42:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:44:27 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 07:45:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:49:49 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 07:54:39 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 07:55:49 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 07:56:37 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-vgaeotlijwjbygta) (Quit: Connection closed for inactivity) |
| 08:00:05 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 08:00:29 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 08:01:51 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 08:03:20 | → | kuribas joins (~user@ptr-25vy0i815a71ox79ixp.18120a2.ip6.access.telenet.be) |
| 08:03:54 | <kuribas> | I want to generate haskell types for my database schema. |
| 08:04:39 | <kuribas> | There are several options: to load the information schema, and generate haskell source code, to use template haskell to create the types from the information schema, or to use template haskell with a haskell ADT representing the database schema. |
| 08:04:50 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 08:05:28 | <kuribas> | The last option looks the most flexible to me. |
| 08:05:37 | <kuribas> | However with the first I could generate documentation. |
| 08:06:20 | <kuribas> | or can you generate haddock from TH? |
| 08:06:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 08:06:54 | → | kenran joins (~kenran@i577BCDEC.versanet.de) |
| 08:08:39 | → | zaquest joins (~notzaques@5.128.210.178) |
| 08:10:51 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 08:12:21 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:13:00 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 08:15:38 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 08:16:13 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:17:25 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-mtzrtyjcpxczquke) |
| 08:20:24 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds) |
| 08:21:39 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-dollewrwtlzsdbco) |
| 08:23:17 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 08:25:38 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 08:26:24 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 08:26:48 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 08:27:45 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 08:30:27 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:30:44 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 08:30:51 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 08:31:20 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Client Quit) |
| 08:31:28 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 08:34:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 08:36:14 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 245 seconds) |
| 08:38:19 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 08:38:44 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 08:42:31 | × | Guest88420 quits (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) (Ping timeout: 260 seconds) |
| 08:43:47 | → | shanemikel joins (~shanemike@143.198.136.99) |
| 08:44:14 | × | shanemikel quits (~shanemike@143.198.136.99) (Client Quit) |
| 08:45:14 | × | drbean_ quits (~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 08:45:50 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 08:46:55 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 08:47:19 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 08:47:25 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds) |
| 08:47:29 | → | z88 joins (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) |
| 08:48:45 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 08:48:46 | → | alexander joins (~alexander@athedsl-32112.home.otenet.gr) |
| 08:49:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 08:49:15 | alexander | is now known as Guest40497 |
| 08:49:26 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:49:54 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 08:50:53 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 08:52:43 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 08:53:40 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 08:58:15 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 08:58:37 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Client Quit) |
| 08:59:35 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 09:00:07 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 09:02:58 | → | invaser joins (~Thunderbi@91.226.34.177) |
| 09:03:35 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 09:04:35 | <invaser> | Hi, I've recently read somewhere that there's a distinction between types of monads: there are ones like State, Identity or Maybe that you can "leave" (there's something like m a -> a function), and there monads that you can |
| 09:04:42 | <invaser> | *can't, like IO |
| 09:05:07 | <invaser> | Is there a specific name for such a distinction? |
| 09:09:05 | <kuribas> | invaser: Monad doesn't say anything about leaving or not. The Monad Typeclass itself doesn't provide for "leaving", however it doesn't prevent it either. |
| 09:10:09 | <kuribas> | The fact that "IO a -> a" doesn't exist is particular to IO, it is not a feature or Monads. |
| 09:10:11 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 09:11:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 09:11:41 | × | xcmw quits (~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:13:18 | × | fendor_ quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Quit: Leaving) |
| 09:13:36 | → | fendor joins (~fendor@91.141.1.123.wireless.dyn.drei.com) |
| 09:14:11 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 09:14:37 | → | fendor_ joins (~fendor@91.141.1.123.wireless.dyn.drei.com) |
| 09:14:39 | × | fendor quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Client Quit) |
| 09:14:39 | × | fendor_ quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Remote host closed the connection) |
| 09:14:58 | → | fendor joins (~fendor@91.141.1.123.wireless.dyn.drei.com) |
| 09:15:53 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 09:17:34 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 09:17:58 | <invaser> | kuribas: Yes, you are right. I am aware that Monad doesn't impose any limitation on that. But I'd like to know if it's a thing that has a name? This "ability to leave". |
| 09:18:10 | <kuribas> | not that I know of |
| 09:18:21 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 09:18:39 | <Arahael> | I don't think Monad defines `M a -> a` at all. |
| 09:18:50 | <Arahael> | (If it did, we'd be able to leave IO) |
| 09:19:39 | <kuribas> | it looks a bit comonad-ish... |
| 09:19:43 | <kuribas> | extract :: w a -> a |
| 09:19:59 | <kuribas> | Identity is both a Monad and Comonad |
| 09:20:37 | <kuribas> | But there isn't "Maybe a -> a" or "StateT s a -> a" either |
| 09:20:41 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 09:20:44 | <kuribas> | not a total one at least |
| 09:20:55 | → | knupfer joins (~Thunderbi@200116b82b53960088be04fffe7c1aec.dip.versatel-1u1.de) |
| 09:21:12 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 09:21:23 | × | knupfer quits (~Thunderbi@200116b82b53960088be04fffe7c1aec.dip.versatel-1u1.de) (Remote host closed the connection) |
| 09:21:32 | → | knupfer joins (~Thunderbi@200116b82b53960000706a519d769a83.dip.versatel-1u1.de) |
| 09:21:41 | <kuribas> | So the act of "extracting" is quite different for State, Identity or Maybe. |
| 09:22:17 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 09:23:27 | <Arahael> | Which is to say, it's not part of the Monad type class. |
| 09:25:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 09:27:04 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 09:27:50 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 09:28:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 09:29:28 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Ping timeout: 265 seconds) |
| 09:33:13 | × | eb quits (1fcb326c@31.203.50.108) (Quit: Connection closed) |
| 09:36:53 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 09:37:34 | → | pera joins (~pera@unaffiliated/pera) |
| 09:37:51 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 09:38:52 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 09:44:30 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 09:45:04 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 09:45:35 | <wz1000> | kuribas: you can generate haddock from TH starting in GHC 9.2 |
| 09:46:14 | → | juri_ joins (~juri@79.140.120.113) |
| 09:46:39 | <kuribas> | A bit cutting edge, but at least it's progress :) |
| 09:46:41 | × | Guest40497 quits (~alexander@athedsl-32112.home.otenet.gr) (Ping timeout: 240 seconds) |
| 09:46:58 | <wz1000> | one option you have (that I have also considered) is to use older GHCs but generate documenation using a 9.2 prerelease and upload that |
| 09:47:25 | <kuribas> | can haddock generate types from TH? |
| 09:47:30 | <kuribas> | pre 9.2? |
| 09:47:35 | × | kenran quits (~kenran@i577BCDEC.versanet.de) (Remote host closed the connection) |
| 09:48:00 | <wz1000> | you mean do the types show up in haddock? yes |
| 09:48:35 | → | ddellacosta joins (~ddellacos@86.106.143.59) |
| 09:49:39 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 09:50:23 | → | stree joins (~stree@68.36.8.116) |
| 09:50:35 | <kuribas> | ok, so no docstrings or sections |
| 09:53:05 | × | ddellacosta quits (~ddellacos@86.106.143.59) (Ping timeout: 246 seconds) |
| 09:59:35 | → | alexander joins (~alexander@ppp-94-67-202-54.home.otenet.gr) |
| 10:00:05 | alexander | is now known as Guest70586 |
| 10:00:39 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 10:00:46 | → | Woden joins (3b66ec2c@59.102.236.44) |
| 10:01:47 | <Woden> | Hi, I am new to Haskell and I am trying to understand some code but still don't get it. May I ask the question here? |
| 10:02:03 | → | mcglk joins (~textual@131.191.49.120) |
| 10:02:09 | <invaser> | Woden: Sure, go ahead |
| 10:03:52 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 10:04:16 | <Woden> | The code reference is here. https://github.com/genosage/CardGuessingGame/blob/master/CardGuessing.hs#L1I am implementing the poker card guessing game, like given two cards, guess the answer until correct.I am confused about the bestGuess function, and cannot even understand the syntax. |
| 10:05:02 | <Woden> | If inconvenient, or wrong place to ask, I apologzie. |
| 10:05:57 | <invaser> | Woden: No, it's the perfect place to ask :) |
| 10:09:33 | <invaser> | Woden: What part in particular is confusing for you? |
| 10:09:43 | <Woden> | Thank you :)For my understanding, what I know by now is that the code is generating the weight for the card collection, and it seems remove all other cards except the result.but I am not sure, and why code using the square to generate the weights? |
| 10:12:22 | <Woden> | I mean, using square function to generate a weight to each combination lead to the correct answer doesn't make sense to me. |
| 10:13:19 | <Woden> | The strategy in my mind is to use the binary search to narrow down the rank. |
| 10:13:38 | <Woden> | Don't know how to implement, though |
| 10:15:53 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) |
| 10:17:19 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 10:18:44 | <mcglk> | At first glance, expectedNum seems to be taking the sum of squares to calculate a standard deviation or a sample variance. But I'm rusty enough with statistics that I'm uncertain about that. |
| 10:20:31 | × | plutoniix quits (~q@node-ul6.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection) |
| 10:20:46 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:20:58 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5e97) |
| 10:21:45 | <Woden> | yeah, it's like variance |
| 10:21:46 | → | rockethead joins (~rockethea@2001:41d0:302:2100::6dae) |
| 10:21:57 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 10:23:02 | × | rockethead quits (~rockethea@2001:41d0:302:2100::6dae) (Remote host closed the connection) |
| 10:25:43 | <Woden> | or, is there any better solution than the implementation? |
| 10:25:57 | <Woden> | regarding the bestGuess |
| 10:27:39 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 10:27:45 | → | ddellac__ joins (~ddellacos@86.106.143.33) |
| 10:28:43 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:29:20 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 10:29:56 | <mcglk> | I dunno. Seems concise enough for the strategy. Granted, this isn't a very sophisticated strategy, but you're only dealing with less than 20 functions. |
| 10:31:03 | <Woden> | yeah, agree |
| 10:32:50 | × | ddellac__ quits (~ddellacos@86.106.143.33) (Ping timeout: 268 seconds) |
| 10:33:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:33:13 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 10:34:27 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 10:38:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 10:40:13 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 10:45:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:46:06 | → | M_o_C joins (~moc@dslb-092-075-110-074.092.075.pools.vodafone-ip.de) |
| 10:46:34 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 10:46:37 | <kuribas> | is it not possible to slice a name in a declaration? Like [d| $(mkName foo) :: Int |] ? |
| 10:50:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:50:33 | → | pyx joins (~pyx@unaffiliated/pyx) |
| 10:50:42 | × | pyx quits (~pyx@unaffiliated/pyx) (Client Quit) |
| 10:50:57 | <kuribas> | ah, splice can only be an expression, type or declaration list... |
| 10:53:42 | × | M_o_C quits (~moc@dslb-092-075-110-074.092.075.pools.vodafone-ip.de) (Quit: Konversation terminated!) |
| 10:54:09 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5e97) (Ping timeout: 245 seconds) |
| 10:57:59 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 250 seconds) |
| 10:59:01 | → | ddellacosta joins (~ddellacos@86.106.143.46) |
| 11:03:26 | × | ddellacosta quits (~ddellacos@86.106.143.46) (Ping timeout: 246 seconds) |
| 11:08:49 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 11:11:21 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 11:12:18 | → | son0p joins (~ff@181.136.122.143) |
| 11:12:53 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 11:18:09 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 11:19:13 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 252 seconds) |
| 11:19:22 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 11:21:14 | <pjb> | kuribas: you can probably do that in liskell. |
| 11:21:25 | <pjb> | kuribas: https://github.com/haskell-lisp/liskell |
| 11:21:43 | <pjb> | http://lambda-the-ultimate.org/node/2363 |
| 11:22:09 | × | knupfer quits (~Thunderbi@200116b82b53960000706a519d769a83.dip.versatel-1u1.de) (Remote host closed the connection) |
| 11:22:18 | → | knupfer joins (~Thunderbi@200116b82b539600a0d9a899e72817b3.dip.versatel-1u1.de) |
| 11:24:16 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 11:24:19 | <kuribas> | pjb: it's dead? |
| 11:26:21 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Quit: leaving) |
| 11:28:45 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds) |
| 11:35:12 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 11:35:52 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-yurqvpvnjnppvuit) |
| 11:38:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 11:38:45 | → | Franciman joins (~francesco@host-82-48-14-60.retail.telecomitalia.it) |
| 11:38:50 | ← | Franciman parts (~francesco@host-82-48-14-60.retail.telecomitalia.it) ("Leaving") |
| 11:39:07 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 11:42:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 11:50:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:51:15 | <Woden> | Thank you all, for those who responded my question. Hope all of you have a nice day |
| 11:55:41 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:58:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 11:59:11 | <mcglk> | Anytime, Woden. |
| 11:59:23 | × | Woden quits (3b66ec2c@59.102.236.44) (Ping timeout: 240 seconds) |
| 12:00:24 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 268 seconds) |
| 12:04:30 | <pjb> | kuribas: do you know the definition of life? |
| 12:04:54 | <kuribas> | pjb: no |
| 12:05:15 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 12:06:50 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 12:07:29 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 12:09:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 12:09:41 | <pjb> | kuribas: for an entity to be alive, it must be able to grow, to reproduce, to have a functional activity, and to change, before dying. |
| 12:09:56 | <pjb> | kuribas: have you seen software grow (by themselves), and to reproduce (by themselves)? |
| 12:10:21 | <pjb> | kuribas: did liskell multiply github repositories with its children? |
| 12:10:36 | <kuribas> | pjb: perhaps? :-P |
| 12:10:39 | <pjb> | kuribas: did it include an Ada backend? |
| 12:10:44 | <pjb> | all by itself? |
| 12:10:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:11:05 | <kuribas> | pjb: I didn't, which is why it's dead :) |
| 12:11:17 | → | henninb joins (~henninb@63-226-190-31.mpls.qwest.net) |
| 12:11:28 | → | stree joins (~stree@68.36.8.116) |
| 12:11:30 | <pjb> | Instead of asking silly questions, fetch it and try it1 |
| 12:11:32 | <pjb> | ! |
| 12:12:04 | <kuribas> | pjb: I'll put it on my long list of interesting things to try... |
| 12:15:18 | <[exa]> | pjb: software "life" is defined by people who are able to classify whether it's dead or not |
| 12:15:30 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 12:16:44 | <[exa]> | (which is not far from the current practical biological definition tbh) |
| 12:16:51 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 12:18:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 12:18:43 | <pjb> | [exa]: software cannot be dead: you can always get the sources, compile and run it, even 1000 years later, and even if some dependencies don't exist anymore, by emulating or reimplementing the dependencies. |
| 12:19:10 | <pjb> | It is very far from the biological definition of life an dead, because of the autonomy of life. |
| 12:22:48 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 12:23:32 | <[exa]> | pjb: I therefore challenge you to get the original version of this software https://en.wikipedia.org/wiki/IBM_7090/94_IBSYS running |
| 12:23:41 | <[exa]> | (please compare with reanimating corpses) |
| 12:25:47 | <sshine> | That is not dead which can eternal lie. And with strange aeons even death may die. |
| 12:26:06 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 12:26:12 | <sshine> | I think Lovecraft was talking about version control. |
| 12:26:25 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 12:26:27 | <[exa]> | :] |
| 12:26:55 | <[exa]> | well technically, archving source code consumes energy and effort |
| 12:27:10 | <[exa]> | (just saying') |
| 12:28:09 | <sshine> | I'd need to read up on the metaphysics of git to respond to that. :-P |
| 12:30:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 12:32:16 | × | dsrt^ quits (~hph@ip98-184-89-2.mc.at.cox.net) () |
| 12:32:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:33:13 | <pjb> | [exa]: Sure. You get the tape from https://sky-visions.com/ibm/ibsys_tapes.shtml and you get simh to emulate the 7090. |
| 12:33:38 | <pjb> | [exa]: We have the LISP 1.5 tapes, and we run them routinly on simh s7090. |
| 12:34:13 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds) |
| 12:35:00 | → | nrl^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 12:35:19 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 12:35:25 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 12:35:46 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 12:35:48 | <pjb> | [exa]: have a look at http://web.sonoma.edu/users/l/luvisi/lisp/lisp15.tar.gz it contains a README explaining how to do it in details. |
| 12:35:53 | <[exa]> | OK I underestimated the endurance of IBM stuff |
| 12:35:57 | <pjb> | [exa]: just get the IBSYS tapes. |
| 12:36:33 | <pjb> | [exa]: any and all old systems are getting emulated and keeps running on current hardware. |
| 12:39:16 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 12:45:02 | → | drbean_ joins (~drbean@210.63.209.175) |
| 12:45:13 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 12:46:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:46:20 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 12:47:40 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 12:47:52 | × | rdd quits (~user@c-407ce255.012-81-73746f39.cust.ownit.se) (Ping timeout: 240 seconds) |
| 12:49:09 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 245 seconds) |
| 12:49:09 | Lord_of_Life_ | is now known as Lord_of_Life |
| 12:49:35 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 12:51:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 12:52:23 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 12:52:49 | → | stree joins (~stree@68.36.8.116) |
| 12:54:02 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 12:54:03 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 268 seconds) |
| 12:54:21 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:55:19 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 13:00:29 | → | conal joins (~conal@64.71.133.70) |
| 13:00:56 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-dollewrwtlzsdbco) (Quit: Connection closed for inactivity) |
| 13:01:10 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 13:01:54 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 13:02:27 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 13:04:28 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 13:04:38 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 13:07:37 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 13:07:53 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 13:12:17 | × | henninb quits (~henninb@63-226-190-31.mpls.qwest.net) (Quit: leaving) |
| 13:17:41 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 13:18:41 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 13:19:02 | → | curiousgay joins (~gay@178.217.208.8) |
| 13:19:12 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:20:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 13:21:30 | <guest5> | hi, I had some help yesterday writing this function - https://paste.tomsmeding.com/anKJ0UYp - but as you can see the output is formatted badly, I've tried using printf but haven't had any luck. Any help would be appreciated :) |
| 13:22:11 | <guest5> | (the first 3 data points in each line are output in a different function that also calls the one added ^) |
| 13:25:30 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 13:30:27 | × | tlyu quits (~tlyu@138.199.47.158) (Remote host closed the connection) |
| 13:31:44 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 13:32:26 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 13:34:46 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 13:35:35 | × | cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Client Quit) |
| 13:35:49 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 13:35:57 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 13:40:01 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 13:41:05 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 13:41:09 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 13:41:11 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 13:41:31 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 13:42:30 | → | danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 13:45:11 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Ping timeout: 240 seconds) |
| 13:47:33 | → | saolof[m] joins (saolofmatr@gateway/shell/matrix.org/x-ttfiiqteonhjfknr) |
| 13:48:19 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 268 seconds) |
| 13:48:44 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 13:48:55 | → | Deide joins (~Deide@217.155.19.23) |
| 13:49:22 | → | curiousgay joins (~gay@178.217.208.8) |
| 13:51:26 | → | henninb joins (~henninb@63-226-190-31.mpls.qwest.net) |
| 13:53:47 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 13:54:14 | × | drbean_ quits (~drbean@210.63.209.175) (Ping timeout: 246 seconds) |
| 13:56:33 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 13:57:23 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds) |
| 13:58:06 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 13:58:23 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 13:59:35 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 14:00:10 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 14:02:09 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 14:04:43 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 14:06:41 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds) |
| 14:07:00 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 14:08:01 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 14:08:45 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 14:09:11 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-pqabmrplvmbawjlf) |
| 14:12:00 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:15:50 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 14:18:44 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 245 seconds) |
| 14:19:32 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 14:20:39 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 14:21:49 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 14:22:30 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 14:22:59 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 14:23:15 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 14:23:42 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 14:24:39 | → | kenran joins (~kenran@i577BCDEC.versanet.de) |
| 14:28:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 14:30:10 | → | plutoniix joins (~q@node-ul6.pool-125-24.dynamic.totinternet.net) |
| 14:31:56 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:32:54 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 14:32:58 | × | shailangsa quits (~shailangs@host86-186-133-27.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 14:36:13 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 14:37:23 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 14:39:01 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 14:39:05 | × | invaser quits (~Thunderbi@91.226.34.177) (Ping timeout: 260 seconds) |
| 14:43:14 | × | Qwerky quits (~qwerky@178.197.228.14) (Ping timeout: 246 seconds) |
| 14:43:45 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-xbpjbbtirknbijsk) |
| 14:45:37 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 14:46:20 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 14:46:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:51:35 | → | alx741 joins (~alx741@186.178.108.187) |
| 14:53:35 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 14:54:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 14:55:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:55:41 | → | xcmw joins (~textual@cpe-69-133-55-43.cinci.res.rr.com) |
| 14:55:46 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 14:57:20 | → | jwheare1 joins (~jwheare@178.238.11.35) |
| 14:59:55 | → | shailangsa joins (~shailangs@host217-35-224-205.range217-35.btcentralplus.com) |
| 15:00:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 15:01:45 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 15:04:14 | → | Tario joins (~Tario@201.192.165.173) |
| 15:05:44 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 15:10:37 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 250 seconds) |
| 15:11:31 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Quit: Leaving) |
| 15:12:57 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 15:13:18 | → | stree joins (~stree@68.36.8.116) |
| 15:13:48 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 15:17:58 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 15:19:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 15:19:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:22:16 | × | Alleria__ quits (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:23:44 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 15:23:44 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 15:23:44 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 15:30:33 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 15:31:13 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 15:33:54 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 15:35:28 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 15:35:54 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 15:38:21 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds) |
| 15:39:25 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 15:41:40 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-srjmukauatbzsjuh) |
| 15:44:40 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 15:45:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 15:45:55 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-srxbyyzektablxju) |
| 15:49:22 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 15:50:00 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 15:50:18 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:51:32 | → | jamm__ joins (~jamm@unaffiliated/jamm) |
| 15:54:10 | → | Vq joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 15:54:49 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 15:59:15 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:02:35 | → | joncol joins (~jco@c83-248-173-38.bredband.tele2.se) |
| 16:03:38 | <joncol> | Hello, I'm trying to modify an element in a nested list using `Optics`. The following does /not/ work: http://ix.io/3mTT. How can I fix this? |
| 16:08:49 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 16:10:43 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:11:09 | <joncol> | Nvm, this works: http://ix.io/3mTX |
| 16:11:34 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 16:11:55 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 16:12:41 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 16:14:16 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:16:18 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 16:17:37 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 16:18:57 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 16:19:20 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 16:19:23 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 16:19:57 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 16:21:09 | × | cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 16:23:02 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:23:55 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Ping timeout: 252 seconds) |
| 16:28:49 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Connection closed) |
| 16:31:07 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 16:32:12 | → | bitmagie joins (~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de) |
| 16:32:58 | × | bitmagie quits (~Thunderbi@200116b806a58c001928c930445b9f7e.dip.versatel-1u1.de) (Client Quit) |
| 16:33:21 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 265 seconds) |
| 16:33:30 | → | sphi joins (~sphi@unaffiliated/sphi) |
| 16:33:30 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 16:34:01 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:35:01 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 16:35:57 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 16:36:22 | Alleria | is now known as Guest78295 |
| 16:38:10 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 16:39:24 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 16:40:50 | <xenon-> | guest5 you can use specifier in printf's s flag |
| 16:41:00 | <xenon-> | to set string width |
| 16:41:13 | <xenon-> | > printf "%10" "hello" |
| 16:41:14 | <lambdabot> | error: |
| 16:41:14 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M326445640457... |
| 16:41:15 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 16:41:19 | <xenon-> | > printf "%10" "hello" :: String |
| 16:41:21 | <lambdabot> | "*Exception: printf: formatting string ended prematurely |
| 16:41:26 | <xenon-> | > printf "%10s" "hello" :: String |
| 16:41:27 | <lambdabot> | " hello" |
| 16:41:39 | <xenon-> | > printf "%-10s" "hello" :: String |
| 16:41:41 | <lambdabot> | "hello " |
| 16:43:09 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-mdtoudpfcoqbbopu) |
| 16:43:27 | <guest5> | so like - https://paste.tomsmeding.com/7pKCCUZN ? |
| 16:43:59 | <xenon-> | try it if you get desired formatting |
| 16:44:13 | <xenon-> | > printf "%-10s%-10s" "hello" "world" :: String |
| 16:44:15 | <lambdabot> | "hello world " |
| 16:44:34 | <xenon-> | width can also be taken as an argument |
| 16:44:41 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 16:45:16 | <xenon-> | > printf "%-*s%-*s" 20 "hello" 20 "world" :: String |
| 16:45:18 | <lambdabot> | "hello world " |
| 16:45:30 | <guest5> | got a fat error |
| 16:45:43 | <guest5> | https://paste.tomsmeding.com/6x0Tqwyv |
| 16:45:50 | × | kenran quits (~kenran@i577BCDEC.versanet.de) (Quit: leaving) |
| 16:45:58 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 16:46:11 | <xenon-> | you are passing 4 arguments to printf instead of 1 |
| 16:46:36 | <int-e> | but the error is about (fromIntegral x / 1000 :: Double) needing a type signature to tell the compiler what the type is |
| 16:47:03 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 16:47:15 | <int-e> | then you'll run into showFFloat (Just 3) (fromIntegral x / 1000) needing parenthesis, as xenon- pointed out |
| 16:47:17 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:47:23 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 16:48:00 | <int-e> | > printf "%-10.3f" 0.3 :: String |
| 16:48:02 | <lambdabot> | "0.300 " |
| 16:49:15 | <int-e> | > printf "%10.3fm" 0.3 :: String |
| 16:49:17 | <lambdabot> | " 0.300m" |
| 16:49:19 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 16:50:10 | → | aidecoe joins (~aidecoe@unaffiliated/aidecoe) |
| 16:50:23 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 16:51:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:51:48 | <guest5> | im a bit lost now |
| 16:52:12 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 16:53:41 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 16:55:40 | <xenon-> | guest5, numerical literals are polymorphic. 1000 can be Int, Integer, Float, Double. calling / narrows the type down a bit, but not enough, because printf can also accept many different numerical types. |
| 16:55:59 | <xenon-> | :t 1000 |
| 16:56:01 | <lambdabot> | Num p => p |
| 16:56:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 16:56:27 | <xenon-> | :t (fromIntegral 10 / 1000) |
| 16:56:28 | <lambdabot> | Fractional a => a |
| 16:57:19 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 16:57:26 | <kuribas> | Does template haskell resolve captured names from the calling environment? |
| 16:57:36 | <int-e> | (this business is confused by defaulting for numerical types) |
| 16:57:50 | <kuribas> | In the module where the TH is called? |
| 16:58:15 | <kuribas> | Does that mean the calling module must import all relevant modules? |
| 16:59:12 | <guest5> | okay, I think I've done everything you have said |
| 16:59:19 | <guest5> | add parenthesis and the type |
| 17:00:45 | <guest5> | https://paste.tomsmeding.com/rVS0XFpz |
| 17:01:00 | <guest5> | sorry I'm very new to Haskell I'm struggling with the errors |
| 17:01:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 17:02:23 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:03:15 | × | phaul quits (~phaul@ruby/staff/phaul) (Quit: :wq) |
| 17:03:21 | <sm[m]> | guest5: printf is very prone to these kinds of errors. Add more type annotations to the arguments if it's not working out. Eg ("m " + listToString xs :: String) |
| 17:03:22 | <int-e> | kuribas: it's complicated because of TH quotes: https://paste.debian.net/1197710/ |
| 17:03:56 | <kuribas> | int-e: so, with quotes it's capturing from the defining module, without quotes from the calling module? |
| 17:04:13 | <int-e> | kuribas: yes, pretty sure that's how it works |
| 17:04:18 | <kuribas> | int-e: for example s = varE $ mkName "a" |
| 17:04:22 | <kuribas> | right :) |
| 17:05:13 | <xenon-> | this is not printf's fault |
| 17:05:24 | <xenon-> | guest5 see the type of showFFloat |
| 17:05:39 | <geekosaur> | looks to me like parens for showFFloat are in the wrong place? |
| 17:05:47 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 17:06:15 | <xenon-> | :t showFFloat (Just 3) (fromIntegral 10 / 1000 :: Float) |
| 17:06:16 | <lambdabot> | ShowS |
| 17:06:22 | <xenon-> | > showFFloat (Just 3) (fromIntegral 10 / 1000 :: Float) "" |
| 17:06:23 | <lambdabot> | "0.010" |
| 17:06:31 | <xenon-> | add "" at the end of the call |
| 17:06:42 | × | _xor quits (~xor@74.215.46.133) (Quit: WeeChat 3.1) |
| 17:06:52 | <int-e> | guest5: printf doesn't give good type errors. You can specify the intended type though... (printf "%-10s" :: String -> String), say, and then the type errors should become easier to digest |
| 17:07:05 | <xenon-> | purpose of that is to allow efficient string concatenation |
| 17:07:26 | <int-e> | guest5: note that "%-10s" specifies *one* string format, but you're giving it two strings... |
| 17:07:37 | <xenon-> | yeah that is another error |
| 17:09:37 | <int-e> | The whole `PrintfArg` business is an implementation detail of `printf` that allows it to be variadic. It's an ingenious trick that you should study when you learn about type classes (not to ever use it, just to get an appreciation of how flexible they can be), but for a beginner it's just intimidating. |
| 17:10:39 | <xenon-> | while printf errors can be weird, not sure if that was the case in here. he didn't pass all the arguments to ShowFFloat |
| 17:10:42 | <int-e> | By specifying the intended type signature for your use of printf, you'll avoid seeing PrintfArg in the type errors. |
| 17:11:07 | <int-e> | :t showFFloat |
| 17:11:08 | <lambdabot> | RealFloat a => Maybe Int -> a -> ShowS |
| 17:11:11 | <int-e> | Oh right |
| 17:12:03 | <int-e> | (ShowS is String -> String) |
| 17:12:33 | → | omikron joins (971f48a9@151.31.72.169) |
| 17:14:11 | ← | omikron parts (971f48a9@151.31.72.169) () |
| 17:14:16 | <int-e> | My mistake, I guess. I'm not using showFFloat :P, I'd almost always reach for `printf "%f"` instead. |
| 17:15:42 | <guest5> | should I try using printf %f instead then? do you think that'd be better |
| 17:16:27 | → | a6a45081-2b83 joins (~aditya@122.163.132.249) |
| 17:17:05 | <int-e> | kuribas: so at the level of names, there's a huge difference between 'a and mkName "a". |
| 17:17:54 | × | johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 17:18:21 | <kuribas> | int-e: "a" captures the name a in the current environment, no? |
| 17:18:30 | <int-e> | guest5: It would be simpler. |
| 17:18:45 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 17:19:32 | <int-e> | kuribas: hehe, "current". |
| 17:20:11 | <kuribas> | int-e: current being the generated environment? |
| 17:21:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 17:22:13 | <guest5> | I switched to %f and im getting the same error as before |
| 17:22:16 | <guest5> | - No instance for (Num [Char]) arising from a use of ‘+’ |
| 17:22:36 | <guest5> | in the last bit of that line - ‘("m " + listToString XS)’ |
| 17:22:46 | <int-e> | kuribas: I meant https://paste.debian.net/1197712/ |
| 17:22:53 | <geekosaur> | it'd be ++ not + |
| 17:23:45 | <kuribas> | int-e: what does that quote do? |
| 17:23:55 | <int-e> | kuribas: capture a name |
| 17:24:44 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 17:26:14 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
| 17:27:52 | <guest5> | can you think of any reason it would give 'Exception: printf: formatting string ended prematurely' after outputting the first line |
| 17:28:02 | <guest5> | because I think ive nearly got it working |
| 17:28:09 | <int-e> | guest5: yes |
| 17:28:23 | <int-e> | 19:07:26 <int-e> guest5: note that "%-10s" specifies *one* string format, but you're giving it two strings... |
| 17:30:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 17:30:47 | <guest5> | so should I be joining the strings or is there a way to specify its 2? |
| 17:31:17 | <geekosaur> | that's what "format string ended prematurely" means. add a %s to it for the second string? |
| 17:31:22 | <davean> | You can say it twice |
| 17:31:46 | <xenon-> | > printf "%s %s" "first string" "second string" |
| 17:31:47 | <lambdabot> | error: |
| 17:31:47 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M464159718010... |
| 17:31:47 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 17:31:53 | <xenon-> | > printf "%s %s" "first string" "second string" :: String |
| 17:31:54 | <lambdabot> | "first string second string" |
| 17:32:16 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 17:33:00 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 17:33:17 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 17:33:30 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 17:34:07 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 17:34:51 | → | stree joins (~stree@68.36.8.116) |
| 17:35:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:36:37 | <guest5> | xenon- hero, thankyou |
| 17:37:33 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 240 seconds) |
| 17:37:38 | <xenon-> | :) np |
| 17:38:30 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 17:40:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:40:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:41:55 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:42:21 | × | a6a45081-2b83 quits (~aditya@122.163.132.249) (Remote host closed the connection) |
| 17:42:22 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 17:43:08 | <int-e> | kuribas: https://paste.debian.net/1197713/ <-- of course if you dig deep enough you'll find that TH breaks abstraction boundaries |
| 17:44:49 | <kuribas> | does it break internal bindings? |
| 17:45:00 | <kuribas> | Can I look at internal bindings in packages? |
| 17:45:03 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-yurqvpvnjnppvuit) (Quit: Connection closed for inactivity) |
| 17:45:07 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-mtzrtyjcpxczquke) (Quit: Connection closed for inactivity) |
| 17:45:18 | <int-e> | kuribas: sorry, I meant to write module A () where |
| 17:46:37 | <int-e> | kuribas: actually this is weird territory... |
| 17:47:02 | <int-e> | kuribas: code that works interpreted but not compiled... fun |
| 17:48:19 | → | LKoen joins (~LKoen@2a01cb0407597a0030b702bc5b5d599b.ipv6.abo.wanadoo.fr) |
| 17:48:51 | <int-e> | kuribas: Hah, there's some serious magic involved in this. |
| 17:49:31 | <int-e> | kuribas: https://paste.debian.net/1197718/ works interpreted and compiled |
| 17:50:21 | <int-e> | kuribas: so apparently, the occurrence of `'a` in the A module instructs the compiler to add the A.a export to the .hi file. |
| 17:51:04 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 17:51:32 | <boxscape> | did you post the same module twice in that last paste intentionally? |
| 17:51:54 | <int-e> | boxscape: uhm, no. |
| 17:51:56 | → | chris__ joins (~chris@81.96.113.213) |
| 17:52:03 | → | Cadey joins (~cadey@infoforcefeed/Xe) |
| 17:52:04 | <boxscape> | ok, I was confused for a minute :) |
| 17:52:22 | <int-e> | https://paste.debian.net/1197719/ |
| 17:52:48 | <int-e> | (though B.hs hadn't changed) |
| 17:52:57 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 17:54:14 | <boxscape> | does TH care about import lists? |
| 17:54:21 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:54:48 | <int-e> | boxscape: yes. You can't just do `mkName "A.a"`; that will complain about A.a not being in scope |
| 17:54:56 | <boxscape> | I see |
| 17:55:18 | <int-e> | You really have to fake the whole resolved Name value (as I did there) to bypass that check. |
| 17:55:23 | <boxscape> | right, okay |
| 17:55:36 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 17:56:09 | → | _xor joins (~xor@74.215.46.133) |
| 17:57:22 | × | sphi quits (~sphi@unaffiliated/sphi) (Remote host closed the connection) |
| 17:58:14 | × | _xor quits (~xor@74.215.46.133) (Client Quit) |
| 17:58:33 | → | _xor joins (~xor@74.215.46.133) |
| 17:58:41 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 18:02:17 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:03:15 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 18:03:17 | × | joncol quits (~jco@c83-248-173-38.bredband.tele2.se) (Quit: leaving) |
| 18:06:44 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 18:07:45 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:08:23 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 18:08:56 | × | nyd quits (~nyd@unaffiliated/elysian) (Client Quit) |
| 18:10:28 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 18:10:51 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection) |
| 18:11:32 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 18:13:32 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 18:13:50 | <cheater> | hi |
| 18:14:10 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 18:14:17 | <kuribas> | is there a way to go from Aeson.Value to Text directly? |
| 18:15:20 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 18:15:39 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds) |
| 18:15:50 | × | henninb quits (~henninb@63-226-190-31.mpls.qwest.net) (Remote host closed the connection) |
| 18:18:31 | → | H1h8 joins (~huber@p200300e68722ef71bc6d689e8429684b.dip0.t-ipconnect.de) |
| 18:23:08 | → | Sg1f3 joins (~huber@p200300e68722ef4801ed249fb7e79198.dip0.t-ipconnect.de) |
| 18:25:00 | → | ppmdo joins (~ppmdo@2a02:810d:9340:43b6:3175:35ee:bc42:46d0) |
| 18:26:03 | × | H1h8 quits (~huber@p200300e68722ef71bc6d689e8429684b.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 18:29:06 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 18:32:12 | × | kuribas quits (~user@ptr-25vy0i815a71ox79ixp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 18:33:28 | → | mst joins (~matthewt@shadowcat/chainsaw-wielder/perl.gc) |
| 18:33:48 | <mst> | hey, any ops around I could poke about a question? (not-staff ops for preference) |
| 18:34:16 | <geekosaur> | you could try #haskell-ops |
| 18:34:37 | <geekosaur> | (I'm around but somewhat out of the loop, not the best one to answer questions) |
| 18:34:47 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:35:24 | <mst> | aha |
| 18:35:33 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:35:37 | × | xcmw quits (~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:36:06 | → | chris__ joins (~chris@81.96.113.213) |
| 18:38:20 | × | tzlil quits (~tzlil@unaffiliated/tzlil) (Remote host closed the connection) |
| 18:38:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:38:24 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:41:03 | → | bastelfreak joins (~bastelfre@voxpupuli/pmc/bastelfreak) |
| 18:41:35 | × | z88 quits (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) (Ping timeout: 246 seconds) |
| 18:43:06 | → | ddellacosta joins (~ddellacos@86.106.143.215) |
| 18:43:39 | → | chris__ joins (~chris@81.96.113.213) |
| 18:47:11 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 18:47:49 | × | ddellacosta quits (~ddellacos@86.106.143.215) (Ping timeout: 260 seconds) |
| 18:48:38 | × | chris__ quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 18:49:49 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 18:49:59 | → | nix-on-droid joins (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) |
| 18:51:15 | × | ppmdo quits (~ppmdo@2a02:810d:9340:43b6:3175:35ee:bc42:46d0) (Remote host closed the connection) |
| 18:51:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:53:03 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 18:53:31 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 265 seconds) |
| 18:56:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 19:00:23 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 19:01:32 | → | xcmw joins (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) |
| 19:05:29 | × | jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 19:05:31 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 19:07:02 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 19:10:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 19:14:31 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 19:18:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 19:19:55 | × | abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 19:21:29 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 19:22:26 | → | abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) |
| 19:23:47 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 19:28:03 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 19:29:05 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 19:30:01 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 19:36:46 | × | bennofs_ quits (~quassel@dynamic-077-011-131-014.77.11.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:37:08 | → | bennofs_ joins (~quassel@dynamic-077-011-131-014.77.11.pool.telefonica.de) |
| 19:39:33 | → | chris__ joins (~chris@81.96.113.213) |
| 19:39:39 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Quit: Bye) |
| 19:40:58 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 19:42:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:43:31 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 19:44:05 | × | xcmw quits (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:47:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 19:48:45 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 19:52:47 | × | ozzymcduff quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:52:47 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:54:13 | → | sdressel joins (~sdressel@pwning.de) |
| 19:54:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 19:55:09 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 19:55:52 | → | stree joins (~stree@68.36.8.116) |
| 19:56:16 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 19:57:18 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 19:58:23 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 19:58:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 19:58:45 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 19:59:41 | × | abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 20:00:04 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 20:00:41 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 20:01:39 | × | Sg1f3 quits (~huber@p200300e68722ef4801ed249fb7e79198.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 20:03:46 | × | nix-on-droid quits (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 20:04:02 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 20:05:12 | → | abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) |
| 20:05:13 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 20:06:14 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 20:07:30 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5e97) |
| 20:10:51 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 20:12:43 | × | Anthaas quits (~Anthaas@unaffiliated/anthaas) (Ping timeout: 252 seconds) |
| 20:15:36 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 20:16:01 | → | Anthaas joins (~Anthaas@unaffiliated/anthaas) |
| 20:16:44 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 20:17:20 | × | Anthaas quits (~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer) |
| 20:20:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:21:05 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 20:21:11 | → | Anthaas joins (~Anthaas@unaffiliated/anthaas) |
| 20:22:45 | → | 5EXAAFHD7 joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:25:13 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 20:26:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 20:26:31 | → | ddellacosta joins (~ddellacos@86.106.143.111) |
| 20:26:43 | → | CrazyPyt_ joins (~crazypyth@206.214.238.6) |
| 20:29:05 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Ping timeout: 260 seconds) |
| 20:29:09 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 20:30:29 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 20:31:14 | × | ddellacosta quits (~ddellacos@86.106.143.111) (Ping timeout: 245 seconds) |
| 20:35:12 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 20:37:30 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-mdtoudpfcoqbbopu) (Quit: Connection closed for inactivity) |
| 20:38:02 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Quit: Leaving) |
| 20:40:52 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 20:42:04 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 20:42:19 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:42:45 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 20:43:05 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95208d2194a61b0d7b67.dip0.t-ipconnect.de) |
| 20:43:15 | <guest5> | hi guys, is it possible to convert a string that you've read from a txt file into a custom data type? ive attached the code that reads the file, the output and the data type im trying to convert it into - https://paste.tomsmeding.com/1iMOqn9j |
| 20:43:47 | ← | mst parts (~matthewt@shadowcat/chainsaw-wielder/perl.gc) () |
| 20:44:34 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 20:45:33 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 20:46:23 | <boxscape> | guest 5: converting Strings into data types is called parsing, and since you're deriving Read, that will automatically implement a simple parser for the City type (which is not typically good enough for production purposes but might be good enough for your use case). You should be able to just call `read` on the String you're reading from the file |
| 20:46:24 | <boxscape> | to get a value of type [City] |
| 20:46:35 | <sm[m]> | hi guest5 . You are automatically deriving a standard Read instance, so the text must be in the standard Read format. "print" a value to see what that looks like (uses Show) |
| 20:47:12 | <sm[m]> | if you want to keep your file format, you'll need to write your own Read instance instead of deriving it. Like boxscape said |
| 20:47:40 | <boxscape> | oh would Read require it to be in record notation? |
| 20:48:05 | <sm[m]> | yes, Read will parse (most) Show output only |
| 20:48:19 | <boxscape> | ah, yeah, I missed that part in my response |
| 20:51:22 | <guest5> | how would I go about writing my own read instance? I'm very new to Haskell idrk what im doing yet |
| 20:52:50 | × | biglama quits (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 20:53:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:55:37 | × | Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
| 20:56:41 | <boxscape> | guest: The simplest thing right now might be to ignore Read and write a function of type String -> City - as a simple example, if you had `data A = MkA Int String` you could have `readA :: String -> A; readA str = MkA (read el1) (read el2) where [el1, el2] = words str`, see if you can adapt that to City |
| 20:56:48 | <boxscape> | guest5, I mean |
| 20:57:16 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds) |
| 20:57:30 | <boxscape> | err |
| 20:57:43 | <boxscape> | % readA :: String -> A; readA str = MkA (read el1) (read el2) where [el0, el1, el2] |
| 20:57:43 | <yahb> | boxscape: ; <interactive>:70:82: error: parse error (possibly incorrect indentation or mismatched brackets) |
| 20:58:04 | <boxscape> | % readA :: String -> A; readA str = MkA (read el1) (read el2) where [el0, el1, el2] = words str |
| 20:58:05 | <yahb> | boxscape: |
| 20:58:19 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 20:58:26 | <boxscape> | % readA "A 24 \"test\"" |
| 20:58:26 | <yahb> | boxscape: ; <interactive>:73:1: error:; * No instance for (Show A) arising from a use of `print'; * In a stmt of an interactive GHCi command: print it |
| 20:59:17 | <boxscape> | % readA "A 24 \"test\"" |
| 20:59:17 | <yahb> | boxscape: MkA 24 "test" |
| 20:59:41 | <boxscape> | (I fixed A by redefining it to yahb in a private message, so now it works) |
| 21:00:22 | → | xcmw joins (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) |
| 21:00:25 | <boxscape> | note I added el0 in the definition, I forgot that at first |
| 21:02:58 | × | 5EXAAFHD7 quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 21:03:06 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 21:03:34 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 21:03:50 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 21:04:12 | <guest5> | got it im giving it a go |
| 21:06:43 | × | LKoen quits (~LKoen@2a01cb0407597a0030b702bc5b5d599b.ipv6.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 21:15:50 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:20:32 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 21:23:32 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 21:23:59 | × | danso quits (~dan@modemcable156.91-20-96.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 21:24:07 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds) |
| 21:25:51 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 21:26:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 21:26:44 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 21:29:23 | × | guest5 quits (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 21:29:38 | × | Putonlalla quits (~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 240 seconds) |
| 21:33:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:35:29 | → | lawid joins (~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) |
| 21:36:56 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 21:36:59 | × | Guest70586 quits (~alexander@ppp-94-67-202-54.home.otenet.gr) (Ping timeout: 268 seconds) |
| 21:37:44 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 21:38:20 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds) |
| 21:38:34 | → | ddellacosta joins (~ddellacos@86.106.143.241) |
| 21:39:34 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5e97) (Ping timeout: 245 seconds) |
| 21:39:37 | × | chris__ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 21:39:53 | × | lawid quits (~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) (Client Quit) |
| 21:40:57 | × | usr25 quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer) |
| 21:41:09 | → | lawid joins (~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) |
| 21:43:21 | × | ddellacosta quits (~ddellacos@86.106.143.241) (Ping timeout: 260 seconds) |
| 21:43:29 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:15f6:9568:8f96:9a44) |
| 21:44:39 | → | pfurla joins (~pfurla@247.15.195.173.client.static.strong-in52.as13926.net) |
| 21:45:39 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:47:11 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 21:47:26 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
| 21:48:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:51:33 | × | lawid quits (~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) (Quit: No Ping reply in 180 seconds.) |
| 21:52:51 | → | lawid joins (~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) |
| 21:53:21 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection) |
| 21:53:37 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:54:02 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 21:54:23 | → | afznvzan joins (4c0ef7dd@76-14-247-221.or.wavecable.com) |
| 21:55:45 | → | nicholas_ joins (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) |
| 21:56:39 | → | lawid_ joins (~quassel@91.65.233.2) |
| 21:57:05 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 21:58:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 21:58:30 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:15f6:9568:8f96:9a44) (Quit: Konversation terminated!) |
| 21:58:37 | → | dmytrish_ joins (~mitra@37.228.247.154) |
| 21:59:51 | × | mrus quits (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Quit: Surfing the great wave off Kanagawa) |
| 22:00:07 | × | nicholas_ quits (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) (Ping timeout: 250 seconds) |
| 22:00:17 | → | mrus joins (~mrus@149.28.61.155) |
| 22:01:02 | × | lawid quits (~quassel@ip5b41db4a.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 22:01:16 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 22:02:59 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 22:03:49 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 22:04:20 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:04:44 | × | juri_ quits (~juri@79.140.120.113) (Ping timeout: 268 seconds) |
| 22:07:03 | × | knupfer quits (~Thunderbi@200116b82b539600a0d9a899e72817b3.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 22:11:18 | → | juri_ joins (~juri@79.140.120.113) |
| 22:13:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 22:15:22 | × | afznvzan quits (4c0ef7dd@76-14-247-221.or.wavecable.com) (Quit: Connection closed) |
| 22:15:55 | × | juri_ quits (~juri@79.140.120.113) (Ping timeout: 252 seconds) |
| 22:16:46 | → | stree joins (~stree@68.36.8.116) |
| 22:16:57 | → | juri_ joins (~juri@178.63.35.222) |
| 22:17:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:17:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:18:52 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 22:21:14 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:22:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 22:24:20 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 22:25:31 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 22:25:56 | × | dmytrish_ quits (~mitra@37.228.247.154) (Ping timeout: 246 seconds) |
| 22:26:22 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 22:27:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:27:33 | × | pfurla quits (~pfurla@247.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds) |
| 22:29:33 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 22:29:51 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 22:31:28 | → | poljar1 joins (~poljar@78-1-53-252.adsl.net.t-com.hr) |
| 22:33:32 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 22:34:16 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 22:34:20 | × | poljar quits (~poljar@93-141-148-6.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 22:34:53 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 22:35:47 | → | afznvzan joins (4c0ef7dd@76-14-247-221.or.wavecable.com) |
| 22:36:26 | <afznvzan> | why is everything the GHC api emits buried under 300 layers of Located |
| 22:36:57 | <afznvzan> | i assume for error reports, but wow it's irritating to pattern match on |
| 22:38:29 | <Uniaika> | yes |
| 22:40:48 | → | lawid joins (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) |
| 22:41:07 | × | lawid_ quits (~quassel@91.65.233.2) (Ping timeout: 268 seconds) |
| 22:41:47 | <pavonia> | JuicyPixels has a class "class (Pixel px, PixelBaseComponent px ~ Word8) => JpgEncodable px" where PixelBaseComponent is a type family of Pixel. Can this be rewitten in a way that doesn't require a type family contraint? |
| 22:42:18 | → | hexfive joins (~hexfive@50.35.83.177) |
| 22:43:04 | × | hexfive quits (~hexfive@50.35.83.177) (Client Quit) |
| 22:47:43 | × | lawid quits (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) (Quit: No Ping reply in 180 seconds.) |
| 22:48:58 | → | lawid joins (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) |
| 22:49:41 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 22:50:50 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:50:53 | → | danso joins (~dan@23-233-111-52.cpe.pppoe.ca) |
| 22:51:40 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 22:52:02 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 22:55:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 22:57:55 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 23:00:09 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 23:00:32 | Alleria | is now known as Guest91831 |
| 23:00:52 | <afznvzan> | which constructor would I use to represent the "Show" typeclass in GHC.Hs.Types? The file is entirely undocumented :( |
| 23:01:41 | <xenon-> | pavonia, it has been a while since I used it, I believe you can use concrete types, at the cost of portability |
| 23:02:21 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 23:02:33 | × | Guest78295 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 23:03:35 | → | Tario joins (~Tario@201.192.165.173) |
| 23:04:41 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) |
| 23:04:52 | × | Guest91831 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 252 seconds) |
| 23:06:15 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 23:06:44 | <pavonia> | xenon-: Where would those concret types be used? |
| 23:07:22 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5e97) |
| 23:08:15 | <xenon-> | pavonia, I don't know off hand, I'll take a look when I'm back home |
| 23:10:49 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 23:10:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 23:12:04 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) (Ping timeout: 245 seconds) |
| 23:12:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 23:13:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 23:19:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:20:21 | <pavonia> | It seem adding the contraint to all relevant class methods has the same effect. Not sure if there still are semantic differences, though |
| 23:22:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:22:55 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:23:47 | → | Alleria__ joins (~textual@2603-7000-3040-0000-b959-5f5c-3e4c-0ad7.res6.spectrum.com) |
| 23:24:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 23:24:24 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:27:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 23:27:40 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:27:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:30:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:31:49 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds) |
| 23:32:29 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 23:34:09 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 250 seconds) |
| 23:35:12 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) |
| 23:35:12 | <afznvzan> | is there a way to get an expression to spit out its representation, like when you use :force on a data type with no Show instance? |
| 23:35:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 23:35:35 | <afznvzan> | i have an example object that I want to look at, but I can only pretty-print it which is not what I want |
| 23:36:30 | → | Alleri___ joins (~textual@2603-7000-3040-0000-3dfd-96ce-a198-b5b2.res6.spectrum.com) |
| 23:36:56 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 23:38:55 | × | Alleria__ quits (~textual@2603-7000-3040-0000-b959-5f5c-3e4c-0ad7.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 23:38:59 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:39:57 | × | CrazyPyt_ quits (~crazypyth@206.214.238.6) () |
| 23:41:57 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 23:44:48 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 23:45:01 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 23:48:53 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 23:53:44 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 23:54:28 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:57:11 | → | fendor_ joins (~fendor@91.141.2.211.wireless.dyn.drei.com) |
| 23:59:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:59:08 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:59:19 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 23:59:28 | × | fendor quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
All times are in UTC on 2021-05-15.