| 2021-05-04 00:00:28 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-04 00:01:37 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-04 00:03:44 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 00:03:49 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 265 seconds) |
| 2021-05-04 00:04:16 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 00:04:45 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-04 00:07:11 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-04 00:07:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 00:07:37 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 00:08:26 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-04 00:08:54 +0200 | Tops2 | (~Tobias@dyndsl-095-033-022-213.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-05-04 00:08:56 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-04 00:09:28 +0200 | ntqz | (ntqz@gateway/vpn/protonvpn/ntqz) |
| 2021-05-04 00:09:46 +0200 | jul1u5 | (~julius@85.206.103.207) |
| 2021-05-04 00:11:12 +0200 | usr25 | (~J@23.red-83-44-175.dynamicip.rima-tde.net) |
| 2021-05-04 00:13:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-04 00:14:35 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 00:16:38 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 00:18:21 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-04 00:19:30 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-04 00:21:39 +0200 | <remexre> | is there a bytestring version of readProcess? |
| 2021-05-04 00:21:53 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2021-05-04 00:23:41 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-04 00:24:25 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:bde:e2ed:47a0:636a) (Ping timeout: 276 seconds) |
| 2021-05-04 00:24:35 +0200 | Guest43928 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 2021-05-04 00:25:06 +0200 | <hpc> | not that hoogle can find, but createProcess returns handles if that works for you |
| 2021-05-04 00:25:31 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-04 00:25:36 +0200 | <remexre> | yeah, I'm doing one using withCreateProcess rn, but it feels weird that there's no bytestring support, so felt like I was missing something lol |
| 2021-05-04 00:26:27 +0200 | <hpc> | oh! https://hackage.haskell.org/package/process-extras |
| 2021-05-04 00:26:46 +0200 | <remexre> | aha, nice; thanks |
| 2021-05-04 00:26:55 +0200 | <hpc> | it has readProcessWithExitCode for bs and text |
| 2021-05-04 00:28:15 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-05-04 00:30:58 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-04 00:31:13 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-04 00:32:32 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-04 00:34:48 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-04 00:34:56 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 00:35:26 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 2021-05-04 00:36:26 +0200 | jul1u5 | (~julius@85.206.103.207) (Ping timeout: 240 seconds) |
| 2021-05-04 00:36:29 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 2021-05-04 00:37:42 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-04 00:37:49 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 00:38:09 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 00:38:26 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:bde:e2ed:47a0:636a) |
| 2021-05-04 00:39:55 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 00:41:20 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 00:41:23 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 00:41:31 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-04 00:42:14 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-04 00:42:17 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-04 00:42:58 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-04 00:45:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 00:48:22 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Read error: Connection reset by peer) |
| 2021-05-04 00:48:41 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-05-04 00:48:48 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-04 00:49:49 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 00:50:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 00:51:31 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 2021-05-04 00:51:32 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2021-05-04 00:54:10 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 00:54:24 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 00:55:04 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-04 00:56:02 +0200 | rj | (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 2021-05-04 00:56:19 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 00:58:55 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 00:59:17 +0200 | rj | (~x@gateway/tor-sasl/rj) (Client Quit) |
| 2021-05-04 00:59:29 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-04 01:00:46 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 01:02:15 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-04 01:02:36 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-04 01:02:39 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-04 01:03:16 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-05-04 01:05:11 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Ping timeout: 260 seconds) |
| 2021-05-04 01:10:31 +0200 | iptq | (~michael@142.93.75.170) (Quit: WeeChat 3.1) |
| 2021-05-04 01:14:04 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 01:15:42 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 01:16:01 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 01:20:40 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds) |
| 2021-05-04 01:20:41 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 01:20:44 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-04 01:21:13 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 01:22:21 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-04 01:23:46 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 01:24:26 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-04 01:25:54 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 268 seconds) |
| 2021-05-04 01:26:46 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-04 01:27:43 +0200 | daniil | (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) (Ping timeout: 240 seconds) |
| 2021-05-04 01:28:04 +0200 | usr25 | (~J@23.red-83-44-175.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-05-04 01:28:09 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 01:30:26 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 01:31:22 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-04 01:32:33 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-04 01:33:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-04 01:34:36 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 01:35:10 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 265 seconds) |
| 2021-05-04 01:37:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-04 01:41:18 +0200 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-05-04 01:43:25 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 01:47:12 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-brjdkpuhrnhpqxdh) () |
| 2021-05-04 01:47:32 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-04 01:48:26 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 01:49:59 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9513753d70683e7df124.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-04 01:53:18 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 2021-05-04 01:56:24 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 01:56:29 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-05-04 01:56:42 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 01:59:53 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-05-04 02:00:07 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |
| 2021-05-04 02:00:21 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-04 02:00:35 +0200 | ddellacosta | (~ddellacos@86.106.143.135) |
| 2021-05-04 02:01:42 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-04 02:03:16 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 02:03:23 +0200 | asm89 | (~asm89@unaffiliated/asm89) (Ping timeout: 246 seconds) |
| 2021-05-04 02:03:35 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:bde:e2ed:47a0:636a) (Ping timeout: 250 seconds) |
| 2021-05-04 02:04:18 +0200 | asm89 | (~asm89@unaffiliated/asm89) |
| 2021-05-04 02:04:21 +0200 | TommyC | (~TommyC@unaffiliated/sepulchralbloom) (Quit: TTFN, Ta Ta For Now!) |
| 2021-05-04 02:04:38 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 02:04:45 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 268 seconds) |
| 2021-05-04 02:05:28 +0200 | ddellacosta | (~ddellacos@86.106.143.135) (Ping timeout: 252 seconds) |
| 2021-05-04 02:06:33 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 02:06:40 +0200 | vicfred_ | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-04 02:10:05 +0200 | ddellacosta | (~ddellacos@86.106.143.31) |
| 2021-05-04 02:10:41 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 02:16:28 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2021-05-04 02:17:40 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |
| 2021-05-04 02:20:07 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-04 02:21:55 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 02:21:57 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-04 02:21:58 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 252 seconds) |
| 2021-05-04 02:23:40 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 02:24:40 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 02:25:26 +0200 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 240 seconds) |
| 2021-05-04 02:25:26 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-05-04 02:27:03 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-04 02:27:11 +0200 | bennofs_ | (~quassel@dynamic-077-013-190-096.77.13.pool.telefonica.de) |
| 2021-05-04 02:27:23 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-evatdfdmbvnxvhjg) (Quit: Connection closed for inactivity) |
| 2021-05-04 02:28:01 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-04 02:28:35 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 246 seconds) |
| 2021-05-04 02:29:18 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 265 seconds) |
| 2021-05-04 02:31:06 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-04 02:31:14 +0200 | bennofs__ | (~quassel@x4db726f5.dyn.telefonica.de) (Ping timeout: 265 seconds) |
| 2021-05-04 02:36:47 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-04 02:39:08 +0200 | ddellacosta | (~ddellacos@86.106.143.31) (Remote host closed the connection) |
| 2021-05-04 02:41:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-04 02:42:49 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 02:50:06 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-05-04 02:50:23 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 2021-05-04 02:51:07 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 02:52:31 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 02:53:07 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 02:53:27 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-04 02:54:03 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 02:56:30 +0200 | fozworth | (ae464c65@ip174-70-76-101.ga.at.cox.net) |
| 2021-05-04 02:56:46 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 02:56:50 +0200 | fozworth | (ae464c65@ip174-70-76-101.ga.at.cox.net) (Client Quit) |
| 2021-05-04 02:57:49 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-04 02:59:38 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-05-04 03:02:06 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-04 03:02:56 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-04 03:05:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 03:05:27 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:85a:4fb7:871c:f700) |
| 2021-05-04 03:05:41 +0200 | <dmj`> | the bytestring package itself has operations that work on a Handle |
| 2021-05-04 03:06:51 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-05-04 03:08:20 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:85a:4fb7:871c:f700) (Client Quit) |
| 2021-05-04 03:09:49 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-04 03:10:38 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-04 03:10:38 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 03:11:45 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-04 03:14:41 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 03:14:49 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 03:15:07 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 03:15:34 +0200 | ddellacosta | (~ddellacos@86.106.143.174) |
| 2021-05-04 03:15:34 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-05-04 03:20:01 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:85a:4fb7:871c:f700) |
| 2021-05-04 03:20:25 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-zzsxuiyavclioktm) |
| 2021-05-04 03:20:27 +0200 | aVikingTrex | (2be74510@43.231.69.16) |
| 2021-05-04 03:20:32 +0200 | ddellacosta | (~ddellacos@86.106.143.174) (Ping timeout: 240 seconds) |
| 2021-05-04 03:23:59 +0200 | Tracis | (aa4f239b@170-79-35-155.wantel.net.br) |
| 2021-05-04 03:24:30 +0200 | <Tracis> | hi guys |
| 2021-05-04 03:26:06 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-eetcvtwqhyagxzpq) |
| 2021-05-04 03:28:00 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 268 seconds) |
| 2021-05-04 03:28:56 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 03:29:09 +0200 | ADG1089 | (~aditya@223.236.186.113) |
| 2021-05-04 03:30:35 +0200 | <Tracis> | does anyone know how to solve "could not find module 'prelude' " error? I tried the "cabal v2-build" command, and gave this error message |
| 2021-05-04 03:30:51 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving) |
| 2021-05-04 03:31:35 +0200 | <Tracis> | before that, I used the standard "cabal init" command |
| 2021-05-04 03:33:06 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 03:33:50 +0200 | <cdsmith> | Tracis: Check that base is listed under build-depends on the cabal file? |
| 2021-05-04 03:35:58 +0200 | <Tracis> | in the project folder or that . file in the home directory? |
| 2021-05-04 03:36:10 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) (Ping timeout: 276 seconds) |
| 2021-05-04 03:36:29 +0200 | <cdsmith> | In the project folder. There should be a file, usually named after the directory with an extension of ".cabal" |
| 2021-05-04 03:36:59 +0200 | <cdsmith> | You're looking for "build-depends:", and make sure that base is one of the listed packages there |
| 2021-05-04 03:37:08 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 03:37:28 +0200 | xff0x | (~xff0x@2001:1a81:5215:6f00:2c52:1286:1373:82fb) |
| 2021-05-04 03:37:47 +0200 | <Tracis> | yeah, all alright in there, cdsmith |
| 2021-05-04 03:38:43 +0200 | <Tracis> | actually, idk. It is listed "base >=4.14 && <4.15" |
| 2021-05-04 03:39:07 +0200 | <cdsmith> | Yeah, that looks fine. I'm not sure why you'd get that error, then. base definitely defines the Prelude module. |
| 2021-05-04 03:39:21 +0200 | <Tracis> | i'll try again |
| 2021-05-04 03:39:32 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-04 03:39:40 +0200 | <cdsmith> | And you're running cabal build from inside that directory? |
| 2021-05-04 03:40:19 +0200 | <Tracis> | yeah |
| 2021-05-04 03:40:25 +0200 | <Tracis> | maybe i figured out |
| 2021-05-04 03:40:58 +0200 | <Tracis> | "There are files missing in the 'base-4.14.1.0' package" |
| 2021-05-04 03:41:45 +0200 | <cdsmith> | Oh, yeah. That's weird; not sure how it happened, but I'd try deleting ~/.ghc and then rerunning the build. |
| 2021-05-04 03:41:56 +0200 | <yushyin> | Tracis: arch linux? |
| 2021-05-04 03:42:28 +0200 | <Tracis> | yushyin yes. Manjaro, actually |
| 2021-05-04 03:42:38 +0200 | <yushyin> | use ghcup |
| 2021-05-04 03:42:52 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-04 03:42:52 +0200 | <Tracis> | i'll try that cdsmith |
| 2021-05-04 03:44:05 +0200 | <yushyin> | Tracis: do not try to use the ghc from your linux distribution, it is not suitable for development purposes |
| 2021-05-04 03:44:26 +0200 | <yushyin> | Tracis: https://gitlab.haskell.org/haskell/ghcup-hs/#installation |
| 2021-05-04 03:44:53 +0200 | <Tracis> | yushyin ok |
| 2021-05-04 03:47:13 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 03:51:22 +0200 | Tracis | (aa4f239b@170-79-35-155.wantel.net.br) (Ping timeout: 240 seconds) |
| 2021-05-04 03:51:32 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 03:51:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 03:54:42 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 260 seconds) |
| 2021-05-04 03:56:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-04 03:56:47 +0200 | darjeeling_ | (~darjeelin@115.215.42.118) (Ping timeout: 265 seconds) |
| 2021-05-04 04:03:59 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Remote host closed the connection) |
| 2021-05-04 04:04:43 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 04:04:51 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-kpxmuqxybttglbrz) (Quit: Connection closed for inactivity) |
| 2021-05-04 04:05:29 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 04:05:41 +0200 | s00pcan | (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
| 2021-05-04 04:07:28 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 04:07:44 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-04 04:09:09 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Ping timeout: 245 seconds) |
| 2021-05-04 04:10:19 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 265 seconds) |
| 2021-05-04 04:14:30 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 04:19:43 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 2021-05-04 04:20:10 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 04:21:39 +0200 | urodna_ | (~urodna@unaffiliated/urodna) (Quit: urodna_) |
| 2021-05-04 04:22:36 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-04 04:22:37 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds) |
| 2021-05-04 04:23:48 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 04:24:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-04 04:25:23 +0200 | chisui | (5882395a@mue-88-130-57-090.dsl.tropolys.de) (Ping timeout: 240 seconds) |
| 2021-05-04 04:25:29 +0200 | theDon | (~td@94.134.91.148) (Ping timeout: 246 seconds) |
| 2021-05-04 04:27:38 +0200 | theDon | (~td@94.134.91.246) |
| 2021-05-04 04:28:31 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 2021-05-04 04:30:41 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-04 04:31:39 +0200 | gonemad3 | (~gonemad3@185.163.110.100) (Remote host closed the connection) |
| 2021-05-04 04:32:10 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 04:33:06 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 04:33:11 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-04 04:33:11 +0200 | finn_elija | Guest89986 |
| 2021-05-04 04:33:11 +0200 | FinnElija | finn_elija |
| 2021-05-04 04:33:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-05-04 04:34:59 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-04 04:36:21 +0200 | Guest89986 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-04 04:36:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-04 04:37:26 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 04:39:54 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-04 04:40:14 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-ccbitpzrbtqmayhw) |
| 2021-05-04 04:40:46 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-05-04 04:41:41 +0200 | nineonin_ | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-05-04 04:44:33 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 04:44:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-04 04:45:25 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-04 04:48:52 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-05-04 04:49:33 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 250 seconds) |
| 2021-05-04 04:51:13 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 04:53:43 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-04 04:54:56 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 04:55:56 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 2021-05-04 04:59:41 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 05:00:39 +0200 | solidus-river | (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-05-04 05:02:43 +0200 | otulp | (~otulp@ti0187q162-6639.bb.online.no) (Ping timeout: 248 seconds) |
| 2021-05-04 05:02:59 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 05:05:46 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-05-04 05:08:14 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-04 05:08:31 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-04 05:09:31 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 05:13:12 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-05-04 05:14:07 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 05:19:04 +0200 | drbean_ | (~drbean@TC210-63-209-145.static.apol.com.tw) |
| 2021-05-04 05:19:46 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 240 seconds) |
| 2021-05-04 05:20:11 +0200 | tms_ | (thomaav@cassarossa.samfundet.no) (Ping timeout: 240 seconds) |
| 2021-05-04 05:21:25 +0200 | tms_ | (thomaav@cassarossa.samfundet.no) |
| 2021-05-04 05:21:39 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 05:21:50 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) (Ping timeout: 246 seconds) |
| 2021-05-04 05:22:18 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) |
| 2021-05-04 05:22:50 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-04 05:24:58 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2021-05-04 05:26:46 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-04 05:27:20 +0200 | ADG1089 | (~aditya@223.236.186.113) (Remote host closed the connection) |
| 2021-05-04 05:28:50 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-05-04 05:34:49 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-05-04 05:35:39 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 05:36:58 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 05:41:06 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 05:41:34 +0200 | jrvlima | (~jlima@2804:7f2:2a8d:d54f:ef34:bc04:6132:d4ab) (Quit: Konversation terminated!) |
| 2021-05-04 05:46:57 +0200 | carlomagno | (~cararell@148.87.23.5) (Quit: Leaving.) |
| 2021-05-04 05:50:28 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 05:50:58 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) |
| 2021-05-04 05:55:14 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 06:00:19 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 268 seconds) |
| 2021-05-04 06:01:32 +0200 | valera_ | (~ValeraRoz@88.155.79.96) |
| 2021-05-04 06:01:58 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) (Ping timeout: 252 seconds) |
| 2021-05-04 06:03:08 +0200 | curiousgay | (~gay@178.217.208.8) (Ping timeout: 246 seconds) |
| 2021-05-04 06:03:52 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Ping timeout: 240 seconds) |
| 2021-05-04 06:05:23 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 2021-05-04 06:10:36 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds) |
| 2021-05-04 06:13:30 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 06:14:51 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-04 06:15:20 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 06:18:04 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 06:18:26 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-04 06:18:56 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 06:19:17 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |
| 2021-05-04 06:20:21 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-04 06:23:51 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-05-04 06:23:57 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 252 seconds) |
| 2021-05-04 06:25:11 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-04 06:25:57 +0200 | conal | (~conal@64.71.133.70) |
| 2021-05-04 06:30:06 +0200 | conal | (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 2021-05-04 06:30:47 +0200 | conal | (~conal@ip-66-115-176-165.creativelink.net) |
| 2021-05-04 06:31:40 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 06:31:49 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 06:36:37 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 06:37:23 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-zzsxuiyavclioktm) (Quit: Connection closed for inactivity) |
| 2021-05-04 06:37:42 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 06:37:53 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-utanrjkuxkvzvroc) |
| 2021-05-04 06:37:56 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-05-04 06:38:23 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 06:39:17 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-04 06:39:36 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 06:39:43 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-04 06:39:59 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 06:40:07 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 2021-05-04 06:41:04 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 06:41:53 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-04 06:42:12 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 06:42:52 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-04 06:43:27 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-04 06:43:44 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 06:44:13 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-04 06:48:53 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit ĺ•ľ) |
| 2021-05-04 06:49:19 +0200 | code_komali | (~code.koma@120.138.12.177) |
| 2021-05-04 06:49:31 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-04 06:50:16 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-04 06:52:22 +0200 | code_komali | (~code.koma@120.138.12.177) (Quit: Leaving) |
| 2021-05-04 06:52:24 +0200 | curiousgay | (~gay@178.217.208.8) |
| 2021-05-04 06:56:02 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 06:57:51 +0200 | ddellacosta | (~ddellacos@86.106.143.122) |
| 2021-05-04 06:59:13 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 07:00:56 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-04 07:02:26 +0200 | ddellacosta | (~ddellacos@86.106.143.122) (Ping timeout: 252 seconds) |
| 2021-05-04 07:04:25 +0200 | nineonin_ | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 07:05:17 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 265 seconds) |
| 2021-05-04 07:07:25 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 252 seconds) |
| 2021-05-04 07:09:41 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-04 07:10:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-04 07:12:34 +0200 | Zao_ | (~Zao_@185.163.110.100) |
| 2021-05-04 07:16:31 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-04 07:17:29 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 07:19:25 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-04 07:20:23 +0200 | valera_ | (~ValeraRoz@88.155.79.96) (Quit: valera_) |
| 2021-05-04 07:21:25 +0200 | recycle | (~recycle@2600:1702:4360:b70:218a:4776:cfaf:825a) |
| 2021-05-04 07:21:52 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 07:24:39 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-04 07:25:27 +0200 | Sososasa | (~textual@2600:1700:17f2:2b0:89cf:85cc:efc3:a5cb) |
| 2021-05-04 07:26:00 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:85a:4fb7:871c:f700) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 07:26:49 +0200 | Sososasa | (~textual@2600:1700:17f2:2b0:89cf:85cc:efc3:a5cb) (Client Quit) |
| 2021-05-04 07:30:03 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 07:35:17 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-04 07:35:38 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 07:35:43 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-04 07:36:50 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-bdtzrtmgfdsivqab) (Quit: Connection closed for inactivity) |
| 2021-05-04 07:39:44 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-04 07:39:46 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 07:41:57 +0200 | ADG1089 | (~aditya@122.163.161.198) |
| 2021-05-04 07:43:31 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-04 07:44:10 +0200 | recycle | (~recycle@2600:1702:4360:b70:218a:4776:cfaf:825a) () |
| 2021-05-04 07:44:51 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 07:45:55 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 2021-05-04 07:47:05 +0200 | tomku | (~tomku@unaffiliated/tomku) (Ping timeout: 246 seconds) |
| 2021-05-04 07:48:34 +0200 | ADG1089 | (~aditya@122.163.161.198) (Remote host closed the connection) |
| 2021-05-04 07:49:06 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 07:49:27 +0200 | p_____ | (~lol@unaffiliated/terpin) |
| 2021-05-04 07:50:05 +0200 | p_____ | (~lol@unaffiliated/terpin) (Client Quit) |
| 2021-05-04 07:50:22 +0200 | p_____ | (~lol@unaffiliated/terpin) |
| 2021-05-04 07:50:45 +0200 | p_____ | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-05-04 07:51:52 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 240 seconds) |
| 2021-05-04 07:53:13 +0200 | ADG1089 | (~aditya@122.163.161.198) |
| 2021-05-04 07:54:01 +0200 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-05-04 07:55:52 +0200 | plutoniix | (~q@ppp-171-97-97-6.revip8.asianet.co.th) |
| 2021-05-04 07:56:22 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 07:58:38 +0200 | knupfer | (~Thunderbi@200116b82b19e500902b8df26cfd07b7.dip.versatel-1u1.de) |
| 2021-05-04 08:00:20 +0200 | nineonin_ | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-04 08:01:42 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 08:04:35 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 08:05:23 +0200 | ddellacosta | (~ddellacos@86.106.143.109) |
| 2021-05-04 08:05:59 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 246 seconds) |
| 2021-05-04 08:06:24 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-04 08:06:41 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-04 08:08:21 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-04 08:08:36 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
| 2021-05-04 08:08:44 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 2021-05-04 08:09:46 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds) |
| 2021-05-04 08:10:07 +0200 | ddellacosta | (~ddellacos@86.106.143.109) (Ping timeout: 252 seconds) |
| 2021-05-04 08:10:37 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-04 08:10:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-04 08:11:05 +0200 | ADG1089 | (~aditya@122.163.161.198) (Quit: Konversation terminated!) |
| 2021-05-04 08:12:38 +0200 | ADG1089 | (~aditya@122.163.161.198) |
| 2021-05-04 08:13:00 +0200 | michalz | (~user@185.246.204.110) |
| 2021-05-04 08:13:06 +0200 | <ADG1089> | meta-q for restarting xmonad isn't working for me, how can i debug that? it's working when i use `xmonad --restart &` |
| 2021-05-04 08:14:04 +0200 | <ADG1089> | asking in xmonad |
| 2021-05-04 08:14:34 +0200 | <ADG1089> | anyways, traditional debuggers don't work in haskell, what is an alternative? logging and printing is a tedious task |
| 2021-05-04 08:16:42 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-04 08:16:43 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 2021-05-04 08:19:05 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |
| 2021-05-04 08:19:52 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 08:21:05 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 260 seconds) |
| 2021-05-04 08:23:12 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 240 seconds) |
| 2021-05-04 08:23:14 +0200 | darjeeling_ | (~darjeelin@122.245.123.138) |
| 2021-05-04 08:23:16 +0200 | srk | (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-05-04 08:24:12 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 08:24:17 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-04 08:24:50 +0200 | srk | (~sorki@unaffiliated/srk) |
| 2021-05-04 08:28:16 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-04 08:29:07 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 08:33:44 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 265 seconds) |
| 2021-05-04 08:36:05 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-04 08:38:22 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 08:39:11 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-04 08:39:15 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 2021-05-04 08:39:42 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 08:39:43 +0200 | xff0x | (~xff0x@2001:1a81:5215:6f00:2c52:1286:1373:82fb) (Ping timeout: 260 seconds) |
| 2021-05-04 08:41:22 +0200 | ddellac__ | (~ddellacos@86.106.143.226) |
| 2021-05-04 08:41:42 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-05-04 08:42:17 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Client Quit) |
| 2021-05-04 08:42:36 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-04 08:45:19 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-04 08:46:12 +0200 | ddellac__ | (~ddellacos@86.106.143.226) (Ping timeout: 268 seconds) |
| 2021-05-04 08:46:41 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-04 08:47:09 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 08:50:14 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-04 08:50:33 +0200 | <Axman6> | ADG1089: traditional debuggers can work wiht Haskell, GHC can even produce DWARF info. GHCi has a debugger built in too. As for your quesrion, have toy tried #xmonad? |
| 2021-05-04 08:50:39 +0200 | <Axman6> | you* |
| 2021-05-04 08:51:13 +0200 | <ADG1089> | seems like no one replied but it's more about xmonad related question |
| 2021-05-04 08:51:26 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 240 seconds) |
| 2021-05-04 08:51:44 +0200 | <ADG1089> | Axman6: I've use Debug.Tracing till now, is there a tutorial on debugging the way you suggest? |
| 2021-05-04 08:51:47 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-04 08:52:02 +0200 | nrdmn980 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-04 08:52:57 +0200 | LKoen | (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-04 08:53:30 +0200 | <Axman6> | I've never done it, so I'm afraid I can't really help there. the GHC manual should have info on how to do it though |
| 2021-05-04 08:53:56 +0200 | bennofs_ | (~quassel@dynamic-077-013-190-096.77.13.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-04 08:54:11 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Ping timeout: 240 seconds) |
| 2021-05-04 08:54:13 +0200 | bennofs_ | (~quassel@dynamic-077-013-190-096.77.13.pool.telefonica.de) |
| 2021-05-04 08:54:46 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-04 08:55:27 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 268 seconds) |
| 2021-05-04 08:55:46 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-04 08:55:52 +0200 | tomku | (~tomku@unaffiliated/tomku) (Ping timeout: 240 seconds) |
| 2021-05-04 08:56:15 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-04 08:56:19 +0200 | ADG1089 | (~aditya@122.163.161.198) (Remote host closed the connection) |
| 2021-05-04 08:56:26 +0200 | nrdmn980 | (~nrdmn@aufmachen.jetzt) (Ping timeout: 240 seconds) |
| 2021-05-04 08:56:56 +0200 | xff0x | (~xff0x@2001:1a81:5215:6f00:2c52:1286:1373:82fb) |
| 2021-05-04 08:57:09 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 08:57:51 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-04 08:58:17 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 09:01:41 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 09:03:54 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-04 09:05:19 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 09:05:37 +0200 | <olligobber> | I have a very complicated error to figure out |
| 2021-05-04 09:06:05 +0200 | <olligobber> | oh I just figured it out |
| 2021-05-04 09:06:06 +0200 | <Axman6> | this is how you know you're writing proper haskell |
| 2021-05-04 09:06:53 +0200 | <olligobber> | the typing information is getting dropped after the template haskell is generated |
| 2021-05-04 09:07:44 +0200 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-05-04 09:10:06 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 2021-05-04 09:10:59 +0200 | <olligobber> | yay it works |
| 2021-05-04 09:15:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 09:17:14 +0200 | Kaivo | (~Kaivo@172-97-54-87.mc.derytele.com) (Ping timeout: 265 seconds) |
| 2021-05-04 09:19:28 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 09:20:35 +0200 | Kaivo | (~Kaivo@172-97-54-87.mc.derytele.com) |
| 2021-05-04 09:21:29 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-04 09:23:29 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 09:24:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-04 09:27:30 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-utanrjkuxkvzvroc) (Quit: Connection closed for inactivity) |
| 2021-05-04 09:27:45 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 2021-05-04 09:27:57 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) |
| 2021-05-04 09:28:13 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 2021-05-04 09:28:45 +0200 | ValeraRozuvan | (~ValeraRoz@88.155.79.96) |
| 2021-05-04 09:31:03 +0200 | ValeraRozuvan | (~ValeraRoz@88.155.79.96) (Max SendQ exceeded) |
| 2021-05-04 09:32:57 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-05-04 09:33:18 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 09:33:21 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-05-04 09:34:54 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-04 09:35:26 +0200 | ValeraRozuvan | (~ValeraRoz@88.155.79.96) |
| 2021-05-04 09:40:19 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-04 09:40:22 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-04 09:40:24 +0200 | jespada | (~jespada@87.74.37.248) |
| 2021-05-04 09:42:59 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 09:44:11 +0200 | brkscnce_ | (~obaum@37.120.31.251) (Ping timeout: 268 seconds) |
| 2021-05-04 09:47:33 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-04 09:47:43 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-04 09:49:09 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-04 09:50:44 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 09:50:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 09:52:31 +0200 | brkscnce_ | (~obaum@37.120.31.251) |
| 2021-05-04 09:53:02 +0200 | fuzzypixelz | (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-05-04 09:53:31 +0200 | <fuzzypixelz> | I made another monad tutorial: https://www.fuzzypixelz.com/2021/05/01/The-M-Word/ |
| 2021-05-04 09:53:54 +0200 | <fuzzypixelz> | (just what you needed) |
| 2021-05-04 09:54:11 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-05-04 09:54:26 +0200 | <Rembane> | fuzzypixelz: It doesn't contain any burritos. :O |
| 2021-05-04 09:54:29 +0200 | Rembane | reads the tutorial |
| 2021-05-04 09:54:41 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-04 09:54:58 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-04 09:55:10 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 2021-05-04 09:55:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 09:55:11 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 246 seconds) |
| 2021-05-04 09:59:15 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) |
| 2021-05-04 09:59:24 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 10:02:47 +0200 | <maerwald> | fuzzypixelz: some critique: I find it a bit questionable to start with the laws (I prefer the parser approach). The second paragraph about the Why is kind of a misrepresentation: Monads have nothing to do with purity. And IO works without Monads too. |
| 2021-05-04 10:03:01 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 10:03:25 +0200 | jneira | (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) (Ping timeout: 252 seconds) |
| 2021-05-04 10:04:31 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-04 10:04:48 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-04 10:07:29 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 2021-05-04 10:10:21 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-04 10:11:44 +0200 | <maerwald> | the limitations of an applicative parser is a great introduction into monads, but then you have to explain applicative first |
| 2021-05-04 10:12:28 +0200 | <maerwald> | And it's also something you can code up yourself in a reasonable amount of time |
| 2021-05-04 10:12:52 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) |
| 2021-05-04 10:13:51 +0200 | <merijn> | maerwald: You're not alone who thinks starting with laws is questionable :p |
| 2021-05-04 10:14:07 +0200 | <merijn> | maerwald: See one of my favourite quotes on math education :p |
| 2021-05-04 10:14:11 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-04 10:14:56 +0200 | <merijn> | Suppose that you want to teach the 'cat' concept to a very young child. Do you explain that a cat is a relatively small, primarily carnivorous mammal with retractible claws, a distinctive sonic output, etc.? I'll bet not. You probably show the kid a lot of different cats, saying 'kitty' each time, until it gets the idea. To put it more generally, generalizations are best made by abstraction from |
| 2021-05-04 10:15:02 +0200 | <merijn> | experience. |
| 2021-05-04 10:15:04 +0200 | <merijn> | - R. P. Boas (Can we make mathematics intelligible?, American Mathematical Monthly 88 (1981), pp. 727-731) |
| 2021-05-04 10:15:52 +0200 | <maerwald> | Yeah, the other approach is showing recurring patterns that can be abstracted out with the Monad class |
| 2021-05-04 10:16:07 +0200 | <maerwald> | It's not like we didn't use Monads before the Monad class |
| 2021-05-04 10:16:20 +0200 | <merijn> | maerwald: Well, that's Boas' exact point, no? :p |
| 2021-05-04 10:16:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 10:16:28 +0200 | <merijn> | Also, the original monad paper follows that method too |
| 2021-05-04 10:17:24 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 10:17:45 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-04 10:19:08 +0200 | <maerwald> | I learn better by contrast... so in order to know what a cat is, show me a dog first :p |
| 2021-05-04 10:19:24 +0200 | <olligobber> | hmm, so adding `AsSet' to a type declaration is causing errors... |
| 2021-05-04 10:20:07 +0200 | <olligobber> | in particular, this AsSet: https://github.com/olligobber/IotaBF/blob/main/lib/Functional/Iota/Free.hs#L29 |
| 2021-05-04 10:20:32 +0200 | <olligobber> | which is weird, because the list I'm converting to a set has no repeats |
| 2021-05-04 10:22:29 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-05-04 10:24:00 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-04 10:25:42 +0200 | drbean_ | (~drbean@TC210-63-209-145.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-05-04 10:26:29 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-04 10:28:23 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-05-04 10:28:53 +0200 | alexander | Guest37426 |
| 2021-05-04 10:30:47 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-05-04 10:31:01 +0200 | ddellacosta | (~ddellacos@86.106.143.31) |
| 2021-05-04 10:35:37 +0200 | esp32_prog | (~esp32_pro@89.45.7.186) |
| 2021-05-04 10:36:01 +0200 | ddellacosta | (~ddellacos@86.106.143.31) (Ping timeout: 265 seconds) |
| 2021-05-04 10:37:42 +0200 | <olligobber> | huh, converting a list with more than 1 element to a set is breaking my instances |
| 2021-05-04 10:38:03 +0200 | dinciorip | (~dincio@5.171.9.145) |
| 2021-05-04 10:40:22 +0200 | <sshine> | olligobber, post example? |
| 2021-05-04 10:40:25 +0200 | <olligobber> | wait, is there a difference between : and ': ? |
| 2021-05-04 10:40:50 +0200 | <sshine> | ': looks like a type-level literal |
| 2021-05-04 10:40:54 +0200 | <c_wraith> | sometimes the parser gets confused with promoted types |
| 2021-05-04 10:40:57 +0200 | <__monty__> | ': sounds like the DataKinds promoted version. |
| 2021-05-04 10:40:58 +0200 | <fuzzypixelz> | maerwald: thanks for your feedback. Could you please elaborate on `Monads have nothing to do with purity. And IO works without Monads too.`? |
| 2021-05-04 10:41:33 +0200 | <olligobber> | nah, switching : to ': didn't fix it |
| 2021-05-04 10:41:47 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 10:41:50 +0200 | <olligobber> | I'll make a mwe |
| 2021-05-04 10:43:38 +0200 | <sshine> | since fuzzypixelz is asking, I'll also ask: can you have first-class effects that are non-monadic? or would non-monadic IO be with side-effects? |
| 2021-05-04 10:43:45 +0200 | <__monty__> | fuzzypixelz: This looks like a decent overview, https://stackoverflow.com/a/17004448 |
| 2021-05-04 10:44:20 +0200 | <maerwald> | fuzzypixelz: Purity is the equivalency of call-by-value, call-by-name and call-by-need. I don't see what Monads have to do with that. People often usually refer to IO as "impure", but when you *evaulate* an IO action, nothing happens. For the second point, haskell had IO before Monads. |
| 2021-05-04 10:46:09 +0200 | <maerwald> | % seq (putStrLn "blag") (pure ()) |
| 2021-05-04 10:46:09 +0200 | <yahb> | maerwald: |
| 2021-05-04 10:46:12 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 2021-05-04 10:46:19 +0200 | <sshine> | fuzzypixelz, https://stackoverflow.com/questions/17002119/haskell-pre-monadic-i-o |
| 2021-05-04 10:46:32 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 10:47:35 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-04 10:48:58 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-04 10:51:13 +0200 | <olligobber> | mwe: https://gist.github.com/olligobber/7acce0d7b8d02d587f609f7e4b0689a4 |
| 2021-05-04 10:51:17 +0200 | <olligobber> | sshine, ^ |
| 2021-05-04 10:52:18 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) |
| 2021-05-04 10:59:55 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-04 11:05:10 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 11:05:17 +0200 | ddellacosta | (~ddellacos@86.106.143.187) |
| 2021-05-04 11:05:45 +0200 | jhrcek | (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) |
| 2021-05-04 11:07:48 +0200 | <sshine> | olligobber, does Type1 and Type2 need the type-level equivalent of Ord? (It looks like it's called Cmp?) |
| 2021-05-04 11:08:13 +0200 | <olligobber> | I don't know |
| 2021-05-04 11:08:47 +0200 | <sshine> | olligobber, I never tried this, but I'm guessing that maybe '[Type1] does not invoke as many type-class constraints as '[Type1, Type2]. |
| 2021-05-04 11:08:59 +0200 | jhrcek | (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) (Client Quit) |
| 2021-05-04 11:09:09 +0200 | oleks_ | (~oleks@188.166.34.97) |
| 2021-05-04 11:09:51 +0200 | ddellacosta | (~ddellacos@86.106.143.187) (Ping timeout: 260 seconds) |
| 2021-05-04 11:10:12 +0200 | <olligobber> | how do I make an instance of Cmp? |
| 2021-05-04 11:12:14 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9513a5163a3f5f418180.dip0.t-ipconnect.de) |
| 2021-05-04 11:12:46 +0200 | oleks | (~oleks@188.166.34.97) (Ping timeout: 240 seconds) |
| 2021-05-04 11:13:09 +0200 | <olligobber> | ah, I see `type instance Cmp (Natural n) (Natural m) = CmpNat n m' in an example |
| 2021-05-04 11:13:49 +0200 | jgt_ | (~jgt@37.157.184.76) (Read error: Connection reset by peer) |
| 2021-05-04 11:14:14 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-04 11:15:28 +0200 | <olligobber> | just gotta figure out how to compare types then |
| 2021-05-04 11:17:26 +0200 | <olligobber> | this should work? https://hackage.haskell.org/package/cmptype-0.2.0.0/docs/Type-Compare-Plugin.html |
| 2021-05-04 11:23:41 +0200 | sshine | doesn't know. I was thinking: type instance Cmp Type1 Type1 = EQ, etc. |
| 2021-05-04 11:24:50 +0200 | <sshine> | here's a more elaborate example where the type family Cmp is defined in the same way as in Data.Type.Set: https://gist.github.com/hyone/3799190#file-gistfile1-hs-L29 |
| 2021-05-04 11:25:11 +0200 | <sshine> | sorry, not exactly the same. |
| 2021-05-04 11:25:14 +0200 | <sshine> | but pretty close. |
| 2021-05-04 11:26:02 +0200 | <sshine> | and yeah, you'd probably want deriving if that exists. :-D |
| 2021-05-04 11:29:35 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3f6d:f920:f5c0:6bcc) (Ping timeout: 260 seconds) |
| 2021-05-04 11:32:32 +0200 | curiousgay | (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-05-04 11:32:32 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving) |
| 2021-05-04 11:33:09 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 246 seconds) |
| 2021-05-04 11:34:13 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-04 11:34:40 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 2021-05-04 11:39:03 +0200 | ddellacosta | (~ddellacos@86.106.143.31) |
| 2021-05-04 11:41:09 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:93ad:6112:53d2:cb65) |
| 2021-05-04 11:41:45 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-04 11:42:11 +0200 | ValeraRozuvan | (~ValeraRoz@88.155.79.96) (Remote host closed the connection) |
| 2021-05-04 11:42:39 +0200 | ValeraRozuvan | (~ValeraRoz@88.155.79.96) |
| 2021-05-04 11:43:32 +0200 | ddellacosta | (~ddellacos@86.106.143.31) (Ping timeout: 240 seconds) |
| 2021-05-04 11:49:22 +0200 | benkolera | (uid285671@gateway/web/irccloud.com/x-etixrpfkvxahekhz) |
| 2021-05-04 11:51:03 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-05-04 11:51:03 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-05-04 11:51:03 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-05-04 11:54:09 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 245 seconds) |
| 2021-05-04 11:54:12 +0200 | And1 | (~And1@brewington.uberspace.de) (Quit: information\overflow()) |
| 2021-05-04 11:54:42 +0200 | otulp | (~otulp@ti0187q162-4661.bb.online.no) |
| 2021-05-04 11:56:43 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 11:58:00 +0200 | fuzzypixelz | (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Connection closed) |
| 2021-05-04 11:58:33 +0200 | ValeraRozuvan | (~ValeraRoz@88.155.79.96) (Quit: ValeraRozuvan) |
| 2021-05-04 12:02:58 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-04 12:04:17 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-04 12:04:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-04 12:07:23 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-nqhwubaiasxmaztx) |
| 2021-05-04 12:07:49 +0200 | <olligobber> | ah, cmptype requires ghc (>=8.6.3 && <8.8) |
| 2021-05-04 12:08:42 +0200 | jespada | (~jespada@87.74.37.248) (Quit: Leaving) |
| 2021-05-04 12:09:18 +0200 | lurkless | (~ll@unaffiliated/lurkless) (Ping timeout: 260 seconds) |
| 2021-05-04 12:09:25 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-05-04 12:10:27 +0200 | ddellacosta | (~ddellacos@86.106.143.135) |
| 2021-05-04 12:13:55 +0200 | esp392892 | (~esp32_pro@89.45.7.186) |
| 2021-05-04 12:15:15 +0200 | ddellacosta | (~ddellacos@86.106.143.135) (Ping timeout: 268 seconds) |
| 2021-05-04 12:15:19 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 12:15:35 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) |
| 2021-05-04 12:17:07 +0200 | <olligobber> | oh, is it easy to compare symbols? |
| 2021-05-04 12:17:43 +0200 | <olligobber> | oooooooh |
| 2021-05-04 12:18:58 +0200 | <tomsmeding> | olligobber: is happy |
| 2021-05-04 12:19:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 12:21:21 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-05-04 12:21:39 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-05-04 12:21:47 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-04 12:22:38 +0200 | <olligobber> | it works |
| 2021-05-04 12:23:44 +0200 | <cub3s_> | Is Nixpkgs (non-broken packages) analogous to a Stack resolver? |
| 2021-05-04 12:24:13 +0200 | <cub3s_> | maralorn, cc |
| 2021-05-04 12:24:30 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-05-04 12:25:38 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-04 12:25:38 +0200 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-05-04 12:28:04 +0200 | l-as | (lasmatrixo@gateway/shell/matrix.org/x-nzwzhdnldqukobbz) |
| 2021-05-04 12:30:37 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-04 12:30:57 +0200 | lurkless | (~ll@unaffiliated/lurkless) |
| 2021-05-04 12:31:02 +0200 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-04 12:35:04 +0200 | LKoen | (~LKoen@140.170.9.109.rev.sfr.net) (Read error: Connection reset by peer) |
| 2021-05-04 12:36:53 +0200 | LKoen | (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-04 12:38:16 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 12:43:54 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 12:45:53 +0200 | chisui | (588239b3@mue-88-130-57-179.dsl.tropolys.de) |
| 2021-05-04 12:46:57 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 12:47:49 +0200 | daaruya | (0512f6f3@5.18.246.243) |
| 2021-05-04 12:47:49 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-04 12:49:36 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-04 12:51:38 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-04 12:52:45 +0200 | daaruya | (0512f6f3@5.18.246.243) (Quit: Connection closed) |
| 2021-05-04 12:54:13 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 12:54:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 12:54:34 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 12:54:54 +0200 | tsteeples | (~steeps@cpc121168-oxfd27-2-0-cust161.4-3.cable.virginm.net) |
| 2021-05-04 12:58:12 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-05-04 12:58:38 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Read error: Connection reset by peer) |
| 2021-05-04 12:59:25 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-04 12:59:28 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-04 12:59:43 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-04 12:59:52 +0200 | raym | (~ray@45.64.220.116) (Ping timeout: 240 seconds) |
| 2021-05-04 13:02:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 2021-05-04 13:02:43 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-04 13:03:45 +0200 | <tsteeples> | Hi all - recently started getting back into Haskell, and having trouble understanding what the best way to approach a certain problem is. I have an fixed sqlite database, from which I need to read only (no writing). Naturally, I'm trying to keep pure and IO functionality separate, but some of my "atomic" operations do require access to the database (I'm essentially using it as a lookup table). Thus it seems that all |
| 2021-05-04 13:03:46 +0200 | <tsteeples> | my code will become fairly inextricably tied into the IO monad. Is there a better pattern for this, or just something I have to suck up? In the grand scheme of things, the database isn't large at all (2MB), so it is somewhat possible to just embed the data straight into code, but I can't imagine that's anything resembling best practice. Does anyone have any good suggestions/any patterns that I'm not aware of? Cheers |
| 2021-05-04 13:03:46 +0200 | <tsteeples> | in advance. |
| 2021-05-04 13:05:01 +0200 | esp32_prog | (~esp32_pro@89.45.7.186) (Remote host closed the connection) |
| 2021-05-04 13:05:18 +0200 | <cub3s_> | tsteeples, you could read that 2MB data into memory (as a neat data structure) and just use it purely from then on |
| 2021-05-04 13:05:27 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 13:05:50 +0200 | Guest52589 | (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-04 13:06:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 13:06:29 +0200 | <chisui> | tsteeples you could create a class for your database actions and let `IO` implement that class. This makes it possible to also have a pure implementation for testing. |
| 2021-05-04 13:07:03 +0200 | <chisui> | something like `class Db m where readValue :: String -> m String` |
| 2021-05-04 13:07:39 +0200 | <tsteeples> | cub3s_... I'm an idiot. Yeah, that's perfect, I'll do that. |
| 2021-05-04 13:07:55 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-04 13:07:58 +0200 | <merijn> | I never understood the "pure implementation" for testing approach to DB interaction |
| 2021-05-04 13:08:12 +0200 | <tsteeples> | chisui - ok, so what advantage would that offer over just doing everything through the IO monad? |
| 2021-05-04 13:08:22 +0200 | <merijn> | Like, I need my code to work with an *actual* database, not a hypothetical one |
| 2021-05-04 13:08:43 +0200 | <merijn> | tsteeples: Allows you to refactor DB logic independent from the rest of your code |
| 2021-05-04 13:08:59 +0200 | <maerwald> | merijn: theoretically separating types of bugs... you would still run it against an actual DB as well |
| 2021-05-04 13:09:12 +0200 | <maerwald> | it has its merits |
| 2021-05-04 13:09:24 +0200 | <merijn> | maerwald: Right, so it just sounds like "more work" in the case of databases |
| 2021-05-04 13:09:28 +0200 | <chisui> | tsteeples code that operates on the abstraction does not have the full power of `IO`. |
| 2021-05-04 13:09:29 +0200 | <maerwald> | yes |
| 2021-05-04 13:09:44 +0200 | <merijn> | tsteeples: I probably wouldn't go the "readValue" approach described earlie |
| 2021-05-04 13:10:06 +0200 | <merijn> | tsteeples: What I'm using myself now (that I'm fairly happy with) is: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Sql/Core.hs#L130-L133 |
| 2021-05-04 13:10:35 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 13:10:48 +0200 | <tsteeples> | merijn: Ah cool, ok, I'll take a look |
| 2021-05-04 13:10:54 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 13:11:19 +0200 | <tsteeples> | merijn: Looks neat, cheers all! |
| 2021-05-04 13:11:28 +0200 | <merijn> | tsteeples: All my actual queries use that class to grab a connection, which means my database operations can only rely on "there is a connection we can do stuff on" and can't accidentally rely on the rest of my code |
| 2021-05-04 13:11:36 +0200 | <chisui> | merijn in most cases I wouldn't abstract the DB access itself into a class but rather functions to access processed data. Kind of like an equivalent to the OOP DAO pattern. |
| 2021-05-04 13:11:46 +0200 | <merijn> | tsteeples: Which in turn means it's easy to adapt/reuse my database code in different settings |
| 2021-05-04 13:13:03 +0200 | kadoban | (~mud@unaffiliated/kadoban) (Quit: bye) |
| 2021-05-04 13:13:13 +0200 | <cub3s_> | Is Nixpkgs (non-broken packages) analogous to a Stack resolver? |
| 2021-05-04 13:13:45 +0200 | <merijn> | tsteeples: I'm growing quite fond of the "have a very tiny set of core primitives in a class, implement the full API on top of that" approach. It enforces decoupling which makes it easier to refactor things later |
| 2021-05-04 13:13:50 +0200 | <chisui> | in tsteeples case I would also just read the db on startup |
| 2021-05-04 13:14:16 +0200 | <merijn> | tsteeples: For example, since the db code only relies on those 3 primitives in the class, any refactor can never require more work than fixing those 3 things |
| 2021-05-04 13:14:29 +0200 | <merijn> | Which is generally fairly trivial |
| 2021-05-04 13:14:48 +0200 | <merijn> | I missed the initial question, so I dunno :p |
| 2021-05-04 13:15:11 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 13:15:14 +0200 | <Taneb> | cub3s_: I think it's currently based on a recent stackage nightly |
| 2021-05-04 13:16:22 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-04 13:17:40 +0200 | <cub3s_> | Taneb, yes but it does have all hackage packages that are not in stackage (although ones i've seen so far happen to be marked as broken) |
| 2021-05-04 13:18:04 +0200 | <cub3s_> | has anyone written something about stack vs. nixpkgs that answers such questions? |
| 2021-05-04 13:18:18 +0200 | <merijn> | Probably |
| 2021-05-04 13:18:48 +0200 | <merijn> | There seems to be and endless supply of nixpkg propaganda on blogs >.> |
| 2021-05-04 13:19:06 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-04 13:19:14 +0200 | <cub3s_> | merijn, what do you mean propaganda |
| 2021-05-04 13:19:45 +0200 | <maerwald> | sunk cost fallacy |
| 2021-05-04 13:19:54 +0200 | <Arahael> | Learning nix is *hard*. |
| 2021-05-04 13:20:03 +0200 | <Arahael> | I still haven't learnt it. |
| 2021-05-04 13:20:03 +0200 | <maerwald> | you spent 3 years figuring out nix, now you gotta use it for everything and say it's great |
| 2021-05-04 13:20:34 +0200 | <merijn> | cub3s_: "propaganda, noun, information, especially of a biased or misleading nature, used to promote a political cause or point of view." |
| 2021-05-04 13:20:40 +0200 | <merijn> | cub3s_: Seems accurate enough :) |
| 2021-05-04 13:20:45 +0200 | <Arahael> | I find the nix language weird, but it doesn't help that it's a bona-fide language, and the way you use it to configure larger projects seems... Random. |
| 2021-05-04 13:20:49 +0200 | <merijn> | Don't get me wrong, I like nix *in theory* |
| 2021-05-04 13:20:55 +0200 | <Arahael> | I love nix in theory. |
| 2021-05-04 13:20:58 +0200 | <merijn> | I just hate nix *in practice* |
| 2021-05-04 13:21:08 +0200 | <Arahael> | I regret running nix on my (personal) server. |
| 2021-05-04 13:21:23 +0200 | <cub3s_> | what are the biggest issues with it? |
| 2021-05-04 13:21:29 +0200 | <Arahael> | I think I'd have been far better off just installing debian, and maybe using nix for a couple of rnadom projects. |
| 2021-05-04 13:21:35 +0200 | <merijn> | cub3s_: There's lots of blog posts espousing how Nix will solve all your problems, but I find it very painful to use |
| 2021-05-04 13:21:36 +0200 | <maerwald> | cub3s_: figuring out how it works :D |
| 2021-05-04 13:21:41 +0200 | plutoniix | (~q@ppp-171-97-97-6.revip8.asianet.co.th) (Quit: Leaving) |
| 2021-05-04 13:21:57 +0200 | <Arahael> | cub3s_: Nix is, frankly, little more than a huge, huge program with a whole lot of code. |
| 2021-05-04 13:21:57 +0200 | <merijn> | cub3s_: The language is entirely undocumented, errors opaque/impossible, getting it configured to work is a massive PITA |
| 2021-05-04 13:22:07 +0200 | <Arahael> | Oh, the language is slightly documented. |
| 2021-05-04 13:22:12 +0200 | <hc> | that sums up my (brief) experience with it :) |
| 2021-05-04 13:22:18 +0200 | <merijn> | cub3s_: Like, I'm sure that if someone has a curated setup you can use, it works great |
| 2021-05-04 13:22:34 +0200 | <merijn> | But if you don't have a nix expert on hand, be prepared to spend days getting it working :p |
| 2021-05-04 13:22:53 +0200 | <merijn> | Meanwhile v2-build gives me, like, 80-90% of the benefit for 5% of the work :p |
| 2021-05-04 13:23:23 +0200 | <maerwald> | static binaries, forget nix |
| 2021-05-04 13:23:47 +0200 | <Arahael> | I still don't know how to use nix with a project. Do I have .nix files in teh repo, or keep it separate? How do I refer to the actual nix tree, etc. |
| 2021-05-04 13:24:03 +0200 | <cub3s_> | i thought nixpkgs (or stack resolver) was supposed to provide curated package sets, thus adding to cabal |
| 2021-05-04 13:24:05 +0200 | <maerwald> | although if your project is composed of several binaries (like blockchains)... static alone isn't enough |
| 2021-05-04 13:24:12 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-05-04 13:24:23 +0200 | <merijn> | maerwald: Oh, my one conclusion from my career so far, especially in science is: https://i.imgflip.com/586wyo.jpg |
| 2021-05-04 13:24:26 +0200 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 260 seconds) |
| 2021-05-04 13:24:36 +0200 | <maerwald> | so cardanos daedalus uses nix under the hood to start up node/wallet etc |
| 2021-05-04 13:24:36 +0200 | Alleria | Guest69224 |
| 2021-05-04 13:24:37 +0200 | <Arahael> | That said, a nix-ified project is pretty nice to get into. nix-shell -p, and you're in an environment that's already setup to dev in it. |
| 2021-05-04 13:24:51 +0200 | <maerwald> | I can see how that is actually a good use case |
| 2021-05-04 13:25:04 +0200 | <maerwald> | but I don't envy the people maintaining it |
| 2021-05-04 13:25:15 +0200 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2021-05-04 13:25:22 +0200 | <merijn> | cub3s_: Well, that depends on how you value the curation (and what you expect that to entail) |
| 2021-05-04 13:26:01 +0200 | <cub3s_> | merijn, maybe the fact is you don't encounter dependency hell that often in practice? |
| 2021-05-04 13:26:05 +0200 | <merijn> | I mean, stack curation is mostly "check things build and run some of the tests" |
| 2021-05-04 13:26:26 +0200 | <merijn> | cub3s_: v2-build has eliminated most of my pain wrt dependencies |
| 2021-05-04 13:26:30 +0200 | <cub3s_> | (or maybe even the existence of stack/nixpkgs have themselves motivated devs to remove such dependency hells to begin with, leading to cabal being useful on its own??) |
| 2021-05-04 13:26:32 +0200 | <Arahael> | I have dependency hell at work. :( |
| 2021-05-04 13:26:48 +0200 | <Arahael> | merijn: Oh, today I made PROGRESS! :D I compiled half my project in xcode 12.5 :D |
| 2021-05-04 13:26:49 +0200 | <merijn> | cub3s_: Most of the remaining issues with v2-build are just "trying to use bit-rotted packages" |
| 2021-05-04 13:27:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 13:27:37 +0200 | <merijn> | cub3s_: Depends, was your cabal experience with v1-build or v2-build? Because those are *very* different experiences :p |
| 2021-05-04 13:27:41 +0200 | <maerwald> | merijn: cabal doesn't solve the problem sufficiently where you have many inter-dependent teams and projects that have different release schedules etc |
| 2021-05-04 13:27:52 +0200 | <maerwald> | with stack you can say all of them use the same resolver |
| 2021-05-04 13:28:01 +0200 | <maerwald> | you can't have a remote freeze file, for instance |
| 2021-05-04 13:28:04 +0200 | <merijn> | maerwald: Sure, I'm not saying it solves every issue |
| 2021-05-04 13:28:06 +0200 | esp392892 | (~esp32_pro@89.45.7.186) (Ping timeout: 260 seconds) |
| 2021-05-04 13:28:27 +0200 | <merijn> | but also, not everyone is working in teams/setups like that |
| 2021-05-04 13:28:37 +0200 | <Arahael> | maerwald: Incidentially, I found using stack with nix quite dificult, even though stack ostensibly supports nix. |
| 2021-05-04 13:28:41 +0200 | <cub3s_> | merijn, probably v1 some years ago. honestly that must have been the reason we started using stack in the first place? hmm. |
| 2021-05-04 13:28:48 +0200 | <merijn> | cub3s_: Probably |
| 2021-05-04 13:29:33 +0200 | <merijn> | cub3s_: v2-build didn't get released until 2016 and wasn't the default until cabal 3.0, which is from...2019 |
| 2021-05-04 13:29:42 +0200 | esp32_prog | (~esp32_pro@89.45.7.186) |
| 2021-05-04 13:29:53 +0200 | <merijn> | cub3s_: So if you haven't used it, it's certainly worth trying again :) |
| 2021-05-04 13:29:56 +0200 | tsteeples | (~steeps@cpc121168-oxfd27-2-0-cust161.4-3.cable.virginm.net) (Quit: Leaving) |
| 2021-05-04 13:30:03 +0200 | ccapndave | (~ccapndave@213.55.220.91) |
| 2021-05-04 13:30:07 +0200 | <cub3s_> | wow ok, very recent! ok yes i indeed remember "dangerous reinstall" lol |
| 2021-05-04 13:30:13 +0200 | <merijn> | cub3s_: Oh yeah |
| 2021-05-04 13:30:22 +0200 | <merijn> | cub3s_: That's from the era of pain :p |
| 2021-05-04 13:30:27 +0200 | <cub3s_> | ok, so wow... maybe stack/nixpkgs are now obsolete! |
| 2021-05-04 13:30:28 +0200 | <merijn> | cub3s_: It's incomparable with now |
| 2021-05-04 13:30:55 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 13:31:12 +0200 | <ccapndave> | Hey everyone - I am trying to upgrade my Haskell platform (because I haven't used it for ages and am about to start a course). I've installed gchup and everything looks fine, but I seem to have `~/.cabal.bin` in my PATH and I have absolutely no idea how its getting there. This is on MacOS with zsh. Does anyone have a clue where the path might be being set? |
| 2021-05-04 13:31:15 +0200 | <merijn> | cub3s_: v2-build allows infintely parallel installs of the same package. Nix-inspired (every install tagged with hash of build flags and transitive dependencies) |
| 2021-05-04 13:31:23 +0200 | <ccapndave> | Its not in `.zshrc`, `/etc/profile` or `/etc/zprofile` |
| 2021-05-04 13:31:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 13:31:45 +0200 | <cub3s_> | wow how did i not know about this... :S |
| 2021-05-04 13:31:48 +0200 | <Arahael> | merijn: Very nice! |
| 2021-05-04 13:31:48 +0200 | <cub3s_> | nix propaganda?? |
| 2021-05-04 13:31:51 +0200 | <merijn> | cub3s_: When you build it computes a build-plan, and then dynamically exposes only the relevant installed packages for the build, so you no longer get conflicts between different projects on the same machine |
| 2021-05-04 13:32:35 +0200 | <merijn> | cub3s_: Also massive improvements like "if you do a profiling build, it will just install missing profiling dependencies without breaking everything" :p |
| 2021-05-04 13:33:15 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:4bd1:656f:4270:d212) (Ping timeout: 260 seconds) |
| 2021-05-04 13:33:16 +0200 | <merijn> | cub3s_: Like I said, I like Nix *the idea* I just don't like the execution :p v2-build is the same idea (although limited to Haskell packages) |
| 2021-05-04 13:33:37 +0200 | <merijn> | cub3s_: See also: https://cabal.readthedocs.io/en/latest/nix-local-build-overview.html (although note that the v2- prefix is optional in 3.0 and later) |
| 2021-05-04 13:33:48 +0200 | carlomagno | (~cararell@148.87.23.13) |
| 2021-05-04 13:34:00 +0200 | <merijn> | Since it's now the default |
| 2021-05-04 13:34:06 +0200 | <Arahael> | merijn: And I expect v2-build has a fighting chance of actually working on windows. |
| 2021-05-04 13:34:18 +0200 | <Arahael> | I used to use nix on my mac, but I haven't for over two years. |
| 2021-05-04 13:34:31 +0200 | <Arahael> | (It's just a super massive PITA on the mac, and you can't run "pure" anyway) |
| 2021-05-04 13:35:11 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Ping timeout: 250 seconds) |
| 2021-05-04 13:35:52 +0200 | <maerwald> | everything is a PITA on mac |
| 2021-05-04 13:36:38 +0200 | Arahael | twitches |
| 2021-05-04 13:36:39 +0200 | <merijn> | cub3s_: It doesn't solve issue with system/C package management and issues of "there is no buildplan", but with v2-build *if* there is a working buildplan it builds, which definitely wasn't the case in the "dangerous reinstall" era :p |
| 2021-05-04 13:36:40 +0200 | <cub3s_> | yes i've abandoned mac because of it |
| 2021-05-04 13:37:23 +0200 | <cub3s_> | merijn, for me these non-haskell dependencies are usually just a few apt install commands |
| 2021-05-04 13:37:48 +0200 | <cub3s_> | that cabal documentation is nice! |
| 2021-05-04 13:38:36 +0200 | dinciorip | (~dincio@5.171.9.145) (Ping timeout: 260 seconds) |
| 2021-05-04 13:38:45 +0200 | <cub3s_> | "if b has a loose dependency on c such that it may bump a major version, or if the developer of c does not respect semver. a may cause c to be updated to a point where b does not work. Alternatively b may cause c to be held to a lower version than what a is expecting (because there was a bug fix in a minor version which b does not depend on) Now b will build with old c but a will fail. These are the issues with Cabal" |
| 2021-05-04 13:38:49 +0200 | <cub3s_> | https://medium.com/@edmundnoble/cabal-or-stack-25886c0ac74f |
| 2021-05-04 13:38:55 +0200 | <cub3s_> | does v2 solve this? |
| 2021-05-04 13:39:22 +0200 | <maerwald> | I use stackage with cabak |
| 2021-05-04 13:39:26 +0200 | <maerwald> | *cabal |
| 2021-05-04 13:39:54 +0200 | <merijn> | cub3s_: No*, but Hackage supports revisions to retroactively apply upperbounds and unbreak build plans in these scenarios |
| 2021-05-04 13:40:16 +0200 | <merijn> | cub3s_: You can also generate freeze files, that preserve the current buildplan exactly |
| 2021-05-04 13:40:24 +0200 | <maerwald> | yeah, revisons are awful |
| 2021-05-04 13:40:35 +0200 | dinciorip | (~dincio@5.171.9.137) |
| 2021-05-04 13:40:48 +0200 | <merijn> | maerwald: revisions are a necessary evil as long as people insist on shitty upperbound hygiene |
| 2021-05-04 13:41:21 +0200 | <cub3s_> | maerwald, you mean you use cabal with stackage instead of hackage, but don't use the "stack" tool? |
| 2021-05-04 13:41:23 +0200 | <merijn> | cub3s_: Tangentially related, but many people don't know it exists: https://pvp.haskell.org/ |
| 2021-05-04 13:41:45 +0200 | <merijn> | cub3s_: stackage is, effectively, just a freeze file of specific versions of packages |
| 2021-05-04 13:41:58 +0200 | <merijn> | cub3s_: You can generate constraints from that and feed them to cabal-install |
| 2021-05-04 13:42:06 +0200 | <maerwald> | merijn: no, they are not necessary. You can bump the version when fixing package metadata. It's also the fault of PVP for not having revisions |
| 2021-05-04 13:42:06 +0200 | <merijn> | And get the same behaviour |
| 2021-05-04 13:42:24 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-04 13:42:27 +0200 | <maerwald> | so to fix one mistake, they made another |
| 2021-05-04 13:42:45 +0200 | <maerwald> | now revisions are an infrastructure specific API |
| 2021-05-04 13:42:49 +0200 | <merijn> | maerwald: How do you propose filtering the old, broken, version from buildplans? |
| 2021-05-04 13:43:13 +0200 | <maerwald> | merijn: what do you mean? |
| 2021-05-04 13:43:29 +0200 | <merijn> | cub3s_: Also related: https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07 |
| 2021-05-04 13:43:47 +0200 | <merijn> | maerwald: Suppose foo-1.0.0 is released with no upperbound on bar, which breaks when bar is released |
| 2021-05-04 13:44:10 +0200 | <merijn> | maerwald: How do I make sure the build-plan doesn't include foo-1.0.0 with the incompatible version of bar |
| 2021-05-04 13:44:29 +0200 | <maerwald> | you release foo-1.0.1 |
| 2021-05-04 13:44:39 +0200 | <merijn> | maerwald: That doesn't fix anything |
| 2021-05-04 13:44:43 +0200 | <maerwald> | it does |
| 2021-05-04 13:44:49 +0200 | <merijn> | maerwald: The solver still sees foo-1.0.0 and can't know its broken |
| 2021-05-04 13:45:09 +0200 | mud | (~mud@unaffiliated/kadoban) |
| 2021-05-04 13:45:14 +0200 | <merijn> | So the solver will still find buildplans using the broken -1.0.0 |
| 2021-05-04 13:45:26 +0200 | <maerwald> | why would it? |
| 2021-05-04 13:45:42 +0200 | <merijn> | You need to somehow tell the solver it cannot use foo-1.0.0 with bar X *or* remove foo-1.0.0 from the index (potentially breaking a lot more) |
| 2021-05-04 13:45:53 +0200 | <merijn> | maerwald: Ok, let me sketch a scenario |
| 2021-05-04 13:46:01 +0200 | <maerwald> | yes, broken versions can be removed |
| 2021-05-04 13:46:05 +0200 | <maerwald> | that's what distros do |
| 2021-05-04 13:46:09 +0200 | <maerwald> | all solved problems |
| 2021-05-04 13:46:16 +0200 | <merijn> | maerwald: That is much more work |
| 2021-05-04 13:46:25 +0200 | ccapndave | (~ccapndave@213.55.220.91) () |
| 2021-05-04 13:46:30 +0200 | <maerwald> | I think most of the time you don't need it |
| 2021-05-04 13:46:33 +0200 | <merijn> | maerwald: Because now *everything* transitively depending on foo needs a new release |
| 2021-05-04 13:46:34 +0200 | <maerwald> | cargo also works without it |
| 2021-05-04 13:46:46 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:a104:d14:93ae:b6b0) |
| 2021-05-04 13:47:15 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-04 13:47:23 +0200 | <maerwald> | merijn: what? |
| 2021-05-04 13:49:12 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-04 13:50:07 +0200 | <merijn> | foo-1.0.0 depends on bar, but without an upperbound. A new release, bar-2.0 comes out and breaks foo-1.0.0 due to foo not having an upperbound on bar. My package quux depends on: "foo == 1.0.0, bar >= 0.5 && < 2.1" The solver sees "foo-1.0.0" works with all versions of bar and sees "bar-2.0" so it generates that buildplan. Now things are broken, because foo-1.0.0 doesn't compile with bar-2.0. The solution |
| 2021-05-04 13:50:13 +0200 | <merijn> | with revision is to update the upperbound of foo to exclude the (broken) bar-2.0, and then everything works |
| 2021-05-04 13:50:46 +0200 | <maerwald> | merijn: ah, your problem... don't depend on == 1.0.0, use PVP upper bounds |
| 2021-05-04 13:50:58 +0200 | <maerwald> | the only reason you would do == is freeze files |
| 2021-05-04 13:51:04 +0200 | <merijn> | maerwald: Hackage has 10,000s of packages doing all sorts of stupid stuff |
| 2021-05-04 13:51:16 +0200 | <merijn> | maerwald: Your solution would break tons of them |
| 2021-05-04 13:51:16 +0200 | <maerwald> | and then you already have a working build plan and have bar fixed |
| 2021-05-04 13:51:27 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-04 13:51:37 +0200 | <maerwald> | merijn: no no... I'm not saying we can reasonably revert revisions |
| 2021-05-04 13:51:43 +0200 | <maerwald> | I'm saying they were a mistake though |
| 2021-05-04 13:51:56 +0200 | <merijn> | maerwald: The whole reason we need revisions is because people keep refusing to to add upperbounds at all, let alone proper PVP ones |
| 2021-05-04 13:52:12 +0200 | <merijn> | maerwald: And your solution is "it's not a problem if you have proper PVP bounds"? |
| 2021-05-04 13:52:30 +0200 | <merijn> | If we had that, we wouldn't need revisions in the first place |
| 2021-05-04 13:52:50 +0200 | supercoven_ | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-04 13:52:50 +0200 | supercoven_ | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-05-04 13:53:05 +0200 | supercoven_ | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-04 13:53:18 +0200 | <maerwald> | in-place updates have been frowned upon by anyone doing packaging in the last 30 years... we've successfully used revision bumps (as part of the actual package version) to fix metadata updates |
| 2021-05-04 13:53:29 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) |
| 2021-05-04 13:53:38 +0200 | <maerwald> | I can't see why haskell would be special here |
| 2021-05-04 13:53:52 +0200 | <merijn> | maerwald: The manpower to bump everything does not exist |
| 2021-05-04 13:54:10 +0200 | <joel135> | What's PVP? |
| 2021-05-04 13:54:37 +0200 | <hpc> | package versioning policy |
| 2021-05-04 13:54:42 +0200 | <joel135> | Ok |
| 2021-05-04 13:54:52 +0200 | <hpc> | https://pvp.haskell.org/ |
| 2021-05-04 13:55:45 +0200 | <cub3s_> | thanks to you today i realized i was barking up a wrong nix tree. turns out i don't need nix. i don't need stack either. all i need: cabal-install and ghc of my choice. |
| 2021-05-04 13:55:46 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-05-04 13:55:48 +0200 | <cub3s_> | thanks a lot |
| 2021-05-04 13:56:33 +0200 | <cub3s_> | btw i sadly noticed cryptonite doesn't follow pvp |
| 2021-05-04 13:56:36 +0200 | <cub3s_> | causing some pain |
| 2021-05-04 13:57:26 +0200 | esp32_prog | (~esp32_pro@89.45.7.186) (Ping timeout: 240 seconds) |
| 2021-05-04 13:57:55 +0200 | <maerwald> | merijn: you don't necessarily need mass updates... e.g. hackage could reject packages that pin micro versions |
| 2021-05-04 13:59:52 +0200 | <yushyin> | for reference in cargo/crates.io you can mark a published package as 'yunk', thus it is not considered in future build plans. No revisions and it seems to work for them. |
| 2021-05-04 14:00:15 +0200 | drbean_ | (~drbean@TC210-63-209-53.static.apol.com.tw) |
| 2021-05-04 14:00:27 +0200 | <maerwald> | and then, as I've explained many times (again, this is what distros do since decades)... you could have CI that tests reverse dependencies (just the solving) when you release a new major API version |
| 2021-05-04 14:01:09 +0200 | <maerwald> | you won't have 100% coverage, but well |
| 2021-05-04 14:01:20 +0200 | <maerwald> | (due to flags/arches/...) |
| 2021-05-04 14:01:43 +0200 | <merijn> | yushyin: revision are just "selective yunking" :p |
| 2021-05-04 14:02:35 +0200 | <maerwald> | yushyin: yes, that's more reasonable |
| 2021-05-04 14:02:38 +0200 | <merijn> | yushyin: I mean "foo-1.0.0" is fine in principle, just not with "bar-2.0" so why invalidate it entirely, if you can just invalidate it in combination with bar-2.0 |
| 2021-05-04 14:03:33 +0200 | <maerwald> | yushyin: it also maintains the invariant that a tarball is a self-contained entity and a version fully describes the package |
| 2021-05-04 14:03:49 +0200 | <maerwald> | revisions are just a dirty hack |
| 2021-05-04 14:04:06 +0200 | <maerwald> | but then again, semver has actual revisions, PVP doesn't |
| 2021-05-04 14:04:31 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 14:07:02 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 14:09:12 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 14:09:27 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-05-04 14:10:53 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-05-04 14:11:58 +0200 | <maerwald> | now the only way to "pin" a revision is to pin the revision of ALL packages (hackage index) |
| 2021-05-04 14:12:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-04 14:12:07 +0200 | raym | (~ray@45.64.220.116) |
| 2021-05-04 14:12:21 +0200 | <maerwald> | stack has a way to pin a revision, but it's really against PVP |
| 2021-05-04 14:12:40 +0200 | <maerwald> | so not sure what's good about this situation |
| 2021-05-04 14:12:53 +0200 | st8less | (~st8less@2603:a060:11fd:0:ca9e:ebe6:5380:afd8) |
| 2021-05-04 14:14:16 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 268 seconds) |
| 2021-05-04 14:16:07 +0200 | todda7 | (~torstein@2a02:587:3724:f30b:d88b:b67e:116b:c170) |
| 2021-05-04 14:16:14 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-04 14:16:22 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-05-04 14:17:11 +0200 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 2021-05-04 14:17:26 +0200 | <tdammers> | at least pvp has a somewhat clear definition of what those numbers mean |
| 2021-05-04 14:17:32 +0200 | bis0lini | (~bis0lini@87.254.161.69) |
| 2021-05-04 14:17:42 +0200 | thblt | (~thblt@unaffiliated/thblt) |
| 2021-05-04 14:19:20 +0200 | <maerwald> | yeah, haskell specific meaning |
| 2021-05-04 14:19:50 +0200 | <tdammers> | of course. that's a big downside, it only really makes sense for languages with the same import/export/module semantics as Haskell |
| 2021-05-04 14:19:53 +0200 | <maerwald> | I haven't made up my mind whether that's a doog thing |
| 2021-05-04 14:20:01 +0200 | cheater | (~user@unaffiliated/cheater) |
| 2021-05-04 14:20:02 +0200 | <maerwald> | *good |
| 2021-05-04 14:20:12 +0200 | <tdammers> | IMO the biggest issue with pvp is that it's still down to manual diligence |
| 2021-05-04 14:20:27 +0200 | <merijn> | Pretty sure everyone wants a machine based PVP |
| 2021-05-04 14:20:33 +0200 | <maerwald> | there seems to be a correlation between inhalation of soldering flux and my grammar... |
| 2021-05-04 14:20:35 +0200 | <merijn> | but making that is...non-trivial |
| 2021-05-04 14:20:44 +0200 | <tdammers> | merijn: indeed. |
| 2021-05-04 14:20:50 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 14:20:52 +0200 | <merijn> | Entirely unrelatedly |
| 2021-05-04 14:21:03 +0200 | <yushyin> | btw. I also think it's just more common in cargo to use the semver operator '^x.y.z' (like cabals '>= ...') but in cargo the ^ operator is the default. if you specify = "x.y.y" it will be interpreted as "^x.y.z" |
| 2021-05-04 14:21:15 +0200 | <merijn> | Do any of you guys know if there's a convenient standard interface for doing ARP lookups? |
| 2021-05-04 14:21:25 +0200 | <maerwald> | yushyin: yeah, that's a preety nice hack imo |
| 2021-05-04 14:22:09 +0200 | <merijn> | Before I go through the insanity of writing my own ARP requests using raw sockets... >.> |
| 2021-05-04 14:22:14 +0200 | <tdammers> | I even suspect that a "machine based pvp" is practically impossible in Haskell, given the existence of TH and CPP and such |
| 2021-05-04 14:22:32 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-04 14:22:33 +0200 | <merijn> | tdammers: CPP needs to die anyway |
| 2021-05-04 14:22:52 +0200 | <tdammers> | merijn: yes, but not until the remaining use cases have been dealt with |
| 2021-05-04 14:22:57 +0200 | <merijn> | It's completely untenable |
| 2021-05-04 14:23:13 +0200 | <merijn> | tdammers: Oh, we can probably keep most of the current functionality and semantics |
| 2021-05-04 14:23:23 +0200 | <maerwald> | merijn: apple thought so too with swift (no CPP)... and I can tell you, you won't like it |
| 2021-05-04 14:23:24 +0200 | <tdammers> | I'd even argue that reusing CPP as a source preprocessor language for Haskell was a mistake |
| 2021-05-04 14:23:27 +0200 | <merijn> | We should just built it into GHC and not pretend it's CPP |
| 2021-05-04 14:23:36 +0200 | <merijn> | tdammers: We don't use it |
| 2021-05-04 14:23:40 +0200 | <merijn> | That's the problem |
| 2021-05-04 14:24:01 +0200 | <tdammers> | I'm not talking about CPP the program, I'm talking about using CPP syntax |
| 2021-05-04 14:24:32 +0200 | <merijn> | It's on my list of pet problems I will work on whenever someone wants to pay me to work on GHC or whenever I have time somewhere in the next decade :p |
| 2021-05-04 14:24:50 +0200 | <yushyin> | like you said with revisions, it is sometimes a 'necessary evil' :P |
| 2021-05-04 14:24:55 +0200 | <merijn> | yushyin: No |
| 2021-05-04 14:25:11 +0200 | <merijn> | yushyin: CPP is different in that we are setting ourselves up for disaster |
| 2021-05-04 14:25:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-04 14:25:19 +0200 | <merijn> | There is no sane way to make CPP work with Haskell |
| 2021-05-04 14:25:27 +0200 | Zao_ | (~Zao_@185.163.110.100) (Remote host closed the connection) |
| 2021-05-04 14:25:35 +0200 | <merijn> | Enabling CPP *will* make whole bunches of valid Haskell code fail to compile |
| 2021-05-04 14:25:48 +0200 | <merijn> | The CPP tokenization rules are fundamentally incompatible with Haskell |
| 2021-05-04 14:25:56 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 14:25:57 +0200 | <maerwald> | the most annoying thing about CPP is that it breaks so many tools |
| 2021-05-04 14:26:03 +0200 | <tdammers> | which is exactly why I'm saying that using CPP syntax for preprocessing Haskell code was not the right choice |
| 2021-05-04 14:26:04 +0200 | <merijn> | We already need use crazy legacy/-traditional switches to make GCC/clang work |
| 2021-05-04 14:26:29 +0200 | <maerwald> | find me a source code prettifier that can handle CPP (correctly) :p |
| 2021-05-04 14:26:39 +0200 | <merijn> | tdammers: CPP with Haskell specific tokenisation would be fine, and probably function unchanged for 98% of Hackage uses |
| 2021-05-04 14:26:47 +0200 | <tdammers> | on a completely unrelated side note, the semver spec is full of condescending bullshit |
| 2021-05-04 14:27:17 +0200 | <merijn> | Versioning is hell, but that's a boring topic. Let's get back to my question: How do I do ARP lookups? >.> |
| 2021-05-04 14:27:31 +0200 | <maerwald> | perl did some funny stuff with versioning |
| 2021-05-04 14:28:06 +0200 | <yushyin> | please don't start with that mess :D |
| 2021-05-04 14:28:23 +0200 | <merijn> | I really don't wanna implement ARP myself using raw sockets :( |
| 2021-05-04 14:28:29 +0200 | <edmundnoble> | cub3s_: that article came out after nix-style builds became the default in cabal, it's still current as far as I know |
| 2021-05-04 14:28:53 +0200 | benkolera | (uid285671@gateway/web/irccloud.com/x-etixrpfkvxahekhz) (Quit: Connection closed for inactivity) |
| 2021-05-04 14:29:44 +0200 | <tdammers> | personally, I think that if you want to get rid of manual diligence being a factor in versioning, then there are two realistic strategies: A) just pin everything down to exact matches (either by vendoring in your dependencies verbatim, or using freeze files, or via content-addressable code), and B) develop a language that has such fine-grained dependency inference that you can resolve dependencies on a |
| 2021-05-04 14:29:46 +0200 | <tdammers> | per-identifier basis |
| 2021-05-04 14:30:33 +0200 | <maerwald> | what if API doesn't break, but behavior changes? |
| 2021-05-04 14:30:43 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 2021-05-04 14:30:49 +0200 | <maerwald> | wrt B) |
| 2021-05-04 14:31:04 +0200 | <tdammers> | pin it down with types, I guess |
| 2021-05-04 14:31:34 +0200 | <maerwald> | I mean the big seller of semver, PVP etc were: you can break behavior without renaming your function |
| 2021-05-04 14:32:07 +0200 | todda7 | (~torstein@2a02:587:3724:f30b:d88b:b67e:116b:c170) (Remote host closed the connection) |
| 2021-05-04 14:32:07 +0200 | <tdammers> | except that you really are renaming your function |
| 2021-05-04 14:32:15 +0200 | <tdammers> | it's just indirect |
| 2021-05-04 14:32:37 +0200 | <maerwald> | so we can have versions per identifier? :) |
| 2021-05-04 14:32:41 +0200 | <tdammers> | pmuch |
| 2021-05-04 14:33:08 +0200 | <maerwald> | so solving will take more time than compiling, I guess |
| 2021-05-04 14:33:16 +0200 | <tdammers> | it depends though |
| 2021-05-04 14:33:30 +0200 | OldMiner | (~OldMiner@185.169.233.12) |
| 2021-05-04 14:33:35 +0200 | <tdammers> | if you combine it with content-addressable identifiers and freezing, then you won't need to do a full solver run very often |
| 2021-05-04 14:33:35 +0200 | <yushyin> | cargo does this btw. |
| 2021-05-04 14:34:44 +0200 | kuribas | (~user@ptr-25vy0i74839npjhgcue.18120a2.ip6.access.telenet.be) |
| 2021-05-04 14:34:44 +0200 | <tdammers> | also: when the behavior of a function changes, then as a consumer of the API, you 1) want to know, and 2) likely want to keep using the old version until you decide that the new version has advantages that are worth changing your code for |
| 2021-05-04 14:35:37 +0200 | <tdammers> | in this context, I also think that there is no such thing as a "compatible bugfix". if you don't change the behavior, then it's not a bugfix; but if you do change the behavior, then it's no longer the same thing, and thus not compatible |
| 2021-05-04 14:36:00 +0200 | <merijn> | carter: You're not in numerical-haskell! :O |
| 2021-05-04 14:36:24 +0200 | <carter> | Watt |
| 2021-05-04 14:36:33 +0200 | todda7 | (~torstein@2a02:587:3724:f30b:d88b:b67e:116b:c170) |
| 2021-05-04 14:38:50 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 14:40:55 +0200 | ddellacosta | (~ddellacos@86.106.143.239) |
| 2021-05-04 14:41:54 +0200 | totte | (~totte@chakra/totte) |
| 2021-05-04 14:41:54 +0200 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 260 seconds) |
| 2021-05-04 14:42:37 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-04 14:42:52 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-04 14:43:15 +0200 | todda7 | (~torstein@2a02:587:3724:f30b:d88b:b67e:116b:c170) (Ping timeout: 260 seconds) |
| 2021-05-04 14:45:12 +0200 | ddellacosta | (~ddellacos@86.106.143.239) (Ping timeout: 240 seconds) |
| 2021-05-04 14:45:20 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-04 14:45:42 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 14:46:16 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-04 14:46:26 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 14:49:27 +0200 | dinciorip | (~dincio@5.171.9.137) (Quit: WeeChat 3.1) |
| 2021-05-04 14:50:17 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 14:53:59 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) |
| 2021-05-04 14:55:08 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-04 14:55:14 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-04 14:56:21 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-04 14:57:11 +0200 | cheater | (~user@unaffiliated/cheater) |
| 2021-05-04 14:58:26 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 14:58:38 +0200 | ddellac__ | (~ddellacos@86.106.143.18) |
| 2021-05-04 14:58:40 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 276 seconds) |
| 2021-05-04 14:59:32 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 15:00:07 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 15:01:36 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Remote host closed the connection) |
| 2021-05-04 15:01:52 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 15:02:26 +0200 | kaletaa | (~kaletaa@188.34.177.83) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-05-04 15:02:48 +0200 | <edmundnoble> | Are there any semantic gotchas involved in using `par` with side effects? |
| 2021-05-04 15:03:17 +0200 | kaletaa | (~kaletaa@188.34.177.83) |
| 2021-05-04 15:03:36 +0200 | ddellac__ | (~ddellacos@86.106.143.18) (Ping timeout: 268 seconds) |
| 2021-05-04 15:03:42 +0200 | <edmundnoble> | I have heard that `par` creates "sparks" which are essentially items to be put on a work queue and "sparked" (executed on a new Haskell thread) only when a processor is idle, whereas `forkIO` unconditionally forks a new Haskell thread |
| 2021-05-04 15:04:12 +0200 | kuribas | (~user@ptr-25vy0i74839npjhgcue.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-05-04 15:04:18 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-04 15:05:09 +0200 | <edmundnoble> | In the case that my side effects do not interfere with each other, is there any way to use `par`'s sparks and scheduler to parallelize them? |
| 2021-05-04 15:05:19 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-04 15:05:46 +0200 | kuribas | (~user@ptr-25vy0i74839npjhgcue.18120a2.ip6.access.telenet.be) |
| 2021-05-04 15:05:55 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-04 15:07:11 +0200 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2021-05-04 15:08:11 +0200 | <edmundnoble> | I guess there is an obvious way using `unsafeInterleaveIO`, but is it going to do anything crazy like leave resources allocated by those sparks open if the sparks are GC'd |
| 2021-05-04 15:09:01 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-05-04 15:09:17 +0200 | <merijn> | edmundnoble: Why do you not wanna create threads? |
| 2021-05-04 15:09:50 +0200 | <merijn> | Or: why do you imagine sparks would be better? |
| 2021-05-04 15:10:14 +0200 | <edmundnoble> | Sparks are executed only when a processor is idle, and scheduled by the GHC runtime |
| 2021-05-04 15:10:31 +0200 | <edmundnoble> | Writing or using another scheduler, and having the two interact, doesn't sound nearly as clean to me |
| 2021-05-04 15:11:06 +0200 | <edmundnoble> | All I am interested in is knowledge of the safety of using `par` with side effects |
| 2021-05-04 15:11:18 +0200 | <merijn> | why would you need to write another scheduler? |
| 2021-05-04 15:11:37 +0200 | v01d4lph4 | (~v01d4lph4@182.68.187.197) |
| 2021-05-04 15:11:38 +0200 | <edmundnoble> | Because I want my computations to be scheduled, rather than all run concurrently |
| 2021-05-04 15:11:57 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-04 15:11:57 +0200 | <edmundnoble> | Similar to the thing async-pool does |
| 2021-05-04 15:11:59 +0200 | <merijn> | par assumes you don't do side-effects, so if you do, well, sucks to be you, then |
| 2021-05-04 15:12:15 +0200 | <merijn> | Pretty sure async-pool just uses forkIO |
| 2021-05-04 15:12:18 +0200 | <edmundnoble> | Okay, but what are the actual semantic issues |
| 2021-05-04 15:12:21 +0200 | <edmundnoble> | Yes, exactly |
| 2021-05-04 15:12:23 +0200 | <edmundnoble> | That is what I'm asking about |
| 2021-05-04 15:12:38 +0200 | <edmundnoble> | How can I do this in a way which is program-global, using the scheduler that sparks use |
| 2021-05-04 15:12:50 +0200 | <edmundnoble> | Rather than delimiting these work groups in which the concurrency is limited |
| 2021-05-04 15:12:51 +0200 | <merijn> | There's a whole lotta unstated context here |
| 2021-05-04 15:13:06 +0200 | <edmundnoble> | I would just like an answer to my question |
| 2021-05-04 15:13:32 +0200 | <edmundnoble> | What kind of craziness can I expect if I should spark a computation in IO? |
| 2021-05-04 15:14:00 +0200 | <merijn> | any arbitrary interleaving |
| 2021-05-04 15:15:11 +0200 | <merijn> | If you sneak IO into sparks, then you get the same craziness as sneaking IO into any context where things are expected to be pure. That is, arbitrary unpredictable interleaving and breaking purity |
| 2021-05-04 15:15:21 +0200 | <edmundnoble> | Arbitrary unpredictable interleaving makes sense to me |
| 2021-05-04 15:15:31 +0200 | <edmundnoble> | Breaking purity? |
| 2021-05-04 15:15:56 +0200 | <edmundnoble> | Let's say I have encapsulated this into a function `sched :: IO a -> IO (IO a)` |
| 2021-05-04 15:16:22 +0200 | v01d4lph4 | (~v01d4lph4@182.68.187.197) (Ping timeout: 252 seconds) |
| 2021-05-04 15:16:27 +0200 | <edmundnoble> | The real scary shit I'm thinking of by analogy here is what happens when you `unsafePerformIO` inside of `STM` |
| 2021-05-04 15:16:40 +0200 | <edmundnoble> | Because no exception handlers are run |
| 2021-05-04 15:16:42 +0200 | <merijn> | I just don't see how "par" is remotely relevant when you already have IO anyway |
| 2021-05-04 15:17:08 +0200 | <edmundnoble> | I already told you, I want to use the spark scheduler. I don't want to limit concurrency by hand when there is a scheduler already there and capable of doing it for me |
| 2021-05-04 15:17:24 +0200 | <merijn> | edmundnoble: How is that different from threads? |
| 2021-05-04 15:18:05 +0200 | <hyperisco> | if I just want to parse cli options (not also have a dispatch framework) what can I use? |
| 2021-05-04 15:18:10 +0200 | <tdammers> | Possibly relevant and not entirely obvious: a Haskell thread is not an OS thread (a.k.a. "capability"); spawning a Haskell thread is MUCH cheaper than spawning an OS thread with, say pthread |
| 2021-05-04 15:18:15 +0200 | <carbolymer> | Can I trigger GC from outside of Haskell process? |
| 2021-05-04 15:18:29 +0200 | <edmundnoble> | Well I'm not entirely sure, but it seems to me that Haskell threads are switched between extremely often |
| 2021-05-04 15:18:35 +0200 | <edmundnoble> | So say I have `n` tasks of roughly the same shape |
| 2021-05-04 15:18:40 +0200 | <edmundnoble> | Regardless of how cheap Haskell threads are |
| 2021-05-04 15:18:45 +0200 | valstan | (56788fbb@86.120.143.187) |
| 2021-05-04 15:18:51 +0200 | <edmundnoble> | If I run `n` of them concurrently, I can expect a cost of `n` times as much memory usage |
| 2021-05-04 15:18:57 +0200 | <merijn> | edmundnoble: And what makes you think the same won't happen for sparks? |
| 2021-05-04 15:19:05 +0200 | <edmundnoble> | Because sparks are run on idle processors |
| 2021-05-04 15:19:09 +0200 | <hyperisco> | should be as simple as getting a [(Text,Text)] and a [Text] |
| 2021-05-04 15:19:11 +0200 | <tdammers> | Haskell threads are "green threads", they are distributed over a number of OS threads ("capabilities") as the RTS sees fit, though you have some influence on the heuristics |
| 2021-05-04 15:19:13 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) (Ping timeout: 260 seconds) |
| 2021-05-04 15:19:25 +0200 | <hyperisco> | which I can just do myself really |
| 2021-05-04 15:19:26 +0200 | <merijn> | edmundnoble: "idle processor" just means "capability not currently executing a Haskell thread" |
| 2021-05-04 15:19:40 +0200 | <edmundnoble> | Yes |
| 2021-05-04 15:19:43 +0200 | <edmundnoble> | That makes sense to me |
| 2021-05-04 15:19:55 +0200 | <edmundnoble> | The difference is |
| 2021-05-04 15:20:05 +0200 | <merijn> | edmundnoble: Nothing about sparks guarantees they evaluate to completion before being pre-empted, though |
| 2021-05-04 15:20:06 +0200 | <edmundnoble> | Once you've got each capability running a spark |
| 2021-05-04 15:20:09 +0200 | jespada | (~jespada@87.74.37.248) |
| 2021-05-04 15:20:22 +0200 | <edmundnoble> | Uh |
| 2021-05-04 15:20:29 +0200 | <merijn> | at least, nothing I'm aware off |
| 2021-05-04 15:20:31 +0200 | <edmundnoble> | Is that true? I have read that sparks are only run on idle processors... |
| 2021-05-04 15:20:38 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 2021-05-04 15:20:39 +0200 | <merijn> | edmundnoble: So? |
| 2021-05-04 15:20:43 +0200 | <mniip> | so do threads |
| 2021-05-04 15:20:47 +0200 | <merijn> | edmundnoble: How does that guarantee they won't be interrupted? |
| 2021-05-04 15:20:56 +0200 | <edmundnoble> | They won't be interrupted by other sparks |
| 2021-05-04 15:21:00 +0200 | <edmundnoble> | That's the only thing I'm asking for |
| 2021-05-04 15:21:07 +0200 | <merijn> | edmundnoble: Won't they be? |
| 2021-05-04 15:21:18 +0200 | <edmundnoble> | Again, sparks are only run on idle processors |
| 2021-05-04 15:21:24 +0200 | <merijn> | edmundnoble: So? |
| 2021-05-04 15:21:28 +0200 | <edmundnoble> | If a processor running a spark has been interrupted, it was given work |
| 2021-05-04 15:21:31 +0200 | <edmundnoble> | So it's not idle |
| 2021-05-04 15:21:35 +0200 | <merijn> | edmundnoble: That just means "we don't unschedule Haskell threads" |
| 2021-05-04 15:21:49 +0200 | <merijn> | edmundnoble: It doesn't say "and we will process a spark until completion without preemption" |
| 2021-05-04 15:22:04 +0200 | <edmundnoble> | If a spark has already been sparked, it's been converted to a Haskell thread |
| 2021-05-04 15:22:10 +0200 | <edmundnoble> | This conversion as far as I understand is one-way |
| 2021-05-04 15:22:19 +0200 | <edmundnoble> | If you have enough Haskell threads to saturate the available capabilities |
| 2021-05-04 15:22:32 +0200 | <merijn> | sparks are never haskell threads, sparks, as far as I recall, are a completely separate abstraction in the RTS |
| 2021-05-04 15:22:33 +0200 | <edmundnoble> | And the threads don't go idel |
| 2021-05-04 15:22:59 +0200 | <mniip> | I think you're asking for thread priorities? |
| 2021-05-04 15:23:13 +0200 | <edmundnoble> | Sparks are converted into threads |
| 2021-05-04 15:23:15 +0200 | <edmundnoble> | That's what "sparking" is |
| 2021-05-04 15:23:23 +0200 | <merijn> | mniip: It's unclear, because not enough unstated context |
| 2021-05-04 15:23:40 +0200 | <int-e> | edmundnoble: No. There are worker threads that grab items from a queue of sparks and execute them. |
| 2021-05-04 15:23:52 +0200 | <merijn> | edmundnoble: Where does it say that? |
| 2021-05-04 15:23:56 +0200 | <int-e> | So it's the same thread for many sparks. |
| 2021-05-04 15:23:58 +0200 | <merijn> | edmundnoble: I've never seen that in any paper |
| 2021-05-04 15:24:05 +0200 | <edmundnoble> | The user's guide for GHC |
| 2021-05-04 15:24:22 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Quit: ValeraRozuvan) |
| 2021-05-04 15:24:29 +0200 | <edmundnoble> | So wait, to be clear |
| 2021-05-04 15:24:39 +0200 | <int-e> | (and these threads are scheduled on capabilities that would otherwise be idle) |
| 2021-05-04 15:24:57 +0200 | <edmundnoble> | Right okay, so sparks are run on worker threads which are scheduled on capabilities that are otherwise idle |
| 2021-05-04 15:25:01 +0200 | <merijn> | edmundnoble: I don't see any reference to that in the user guide? Where did you see that? |
| 2021-05-04 15:25:23 +0200 | <merijn> | (the sparking converting to threads) |
| 2021-05-04 15:26:48 +0200 | <merijn> | I mean, sparks are just a work queue with dynamically spawned worker threads evaluating them, if you're in IO you might as well fork a number of worker threads and use a queue and get literally the same behaviour without needing to do a whole investigation whether its safe to do IO |
| 2021-05-04 15:26:53 +0200 | <edmundnoble> | int-e: I'm wondering if I can sanely use these worker threads and the queue for computations in IO |
| 2021-05-04 15:27:06 +0200 | <merijn> | edmundnoble: Not sanely, no |
| 2021-05-04 15:27:33 +0200 | <merijn> | "crazily" might be possible, given sufficient effort, but why bother |
| 2021-05-04 15:27:57 +0200 | <int-e> | hmm, I have seen the "conversion" terminology somewhere though |
| 2021-05-04 15:27:59 +0200 | <edmundnoble> | Essentially my question is whether I can get a program-wide way to limit concurrency which instead of interfering with the spark queue, cooperates with it |
| 2021-05-04 15:28:05 +0200 | <int-e> | (a spark is either converted or fizzles) |
| 2021-05-04 15:28:12 +0200 | <yushyin> | 'If the runtime detects that there is an idle CPU, then it may convert a spark into a real thread' https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/concurrent.html?#annotating-pu… |
| 2021-05-04 15:28:25 +0200 | <int-e> | it's just the notion that each spark becomes its own thread that does not correspond to reality |
| 2021-05-04 15:28:32 +0200 | <merijn> | edmundnoble: I mean, you can just spawn a limited number of workers using a single queue and then you're done? |
| 2021-05-04 15:28:35 +0200 | <yushyin> | don't know what a 'real thread' is in this context |
| 2021-05-04 15:28:44 +0200 | <edmundnoble> | A Haskell thread, I think, yushyin |
| 2021-05-04 15:29:10 +0200 | <edmundnoble> | Right, that would be the idea merijn, but I see no reason to have two schedulers in my program when one can do just as well |
| 2021-05-04 15:29:23 +0200 | <merijn> | Where does the 2nd scheduler come in? |
| 2021-05-04 15:29:26 +0200 | <int-e> | yushyin: I mean a separate forkIO/createThread() setup. |
| 2021-05-04 15:29:29 +0200 | <merijn> | Why do you need a 2nd scheduler? |
| 2021-05-04 15:29:34 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) |
| 2021-05-04 15:29:39 +0200 | <edmundnoble> | Oh you know what scheduler is the wrong term |
| 2021-05-04 15:29:51 +0200 | <merijn> | Just spawn threads and put out work as needed? |
| 2021-05-04 15:29:52 +0200 | <edmundnoble> | Two work queues distributing work to Haskell threads |
| 2021-05-04 15:30:05 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-04 15:30:07 +0200 | <merijn> | Why would there be two queues? |
| 2021-05-04 15:30:11 +0200 | valstan | (56788fbb@86.120.143.187) (Quit: Connection closed) |
| 2021-05-04 15:30:22 +0200 | <edmundnoble> | There's one queue for sparks, and one queue for my workers |
| 2021-05-04 15:30:58 +0200 | <merijn> | the spark queue only exists if you have sparks, though |
| 2021-05-04 15:31:48 +0200 | <edmundnoble> | Okay, so why should there be two queues and two sets of worker threads if I have sparks and I have my own tasks? |
| 2021-05-04 15:32:13 +0200 | <int-e> | yushyin: of course that's an implementation detail; pure code is not allowed to care about threads |
| 2021-05-04 15:32:15 +0200 | <merijn> | because IO is not a spark task |
| 2021-05-04 15:32:36 +0200 | <edmundnoble> | And... why not |
| 2021-05-04 15:32:44 +0200 | <edmundnoble> | What kind of craziness could I expect? |
| 2021-05-04 15:32:45 +0200 | <merijn> | Because spark tasks *must* be pure |
| 2021-05-04 15:32:59 +0200 | <edmundnoble> | Really? |
| 2021-05-04 15:33:01 +0200 | <merijn> | Because they may or may not be evaluated in parallel (or at all!) |
| 2021-05-04 15:33:18 +0200 | <merijn> | If you have side-effects then it matters whether you get evaluated and in which order |
| 2021-05-04 15:33:28 +0200 | <int-e> | all this talk about sparks not being interrupted really just means that unsafePerformIO in sparks is about as safe as anywhere else outside of STM. |
| 2021-05-04 15:33:30 +0200 | <edmundnoble> | Okay, and what if I have side effects which don't need to be evaluated at all, or in parallel |
| 2021-05-04 15:33:32 +0200 | <merijn> | The entire reason sparks exists is to do evaluation of pure code in parallel |
| 2021-05-04 15:33:46 +0200 | <merijn> | int-e: That was my point, yes |
| 2021-05-04 15:34:03 +0200 | <int-e> | merijn: sorry, I didn't read much of context |
| 2021-05-04 15:34:12 +0200 | <merijn> | In essence this entire line of questions boils down to "is unsafePerformIO bad?" |
| 2021-05-04 15:34:15 +0200 | <edmundnoble> | Nah |
| 2021-05-04 15:34:19 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 15:34:23 +0200 | <merijn> | To which the answer is: Yes |
| 2021-05-04 15:34:34 +0200 | <edmundnoble> | It actually boils down to "what semantic insanity can I expect *specifically* from using unsafePerformIO in sparks" |
| 2021-05-04 15:34:41 +0200 | <edmundnoble> | This was, in fact, my initial question |
| 2021-05-04 15:34:52 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 15:35:04 +0200 | <edmundnoble> | Actually I'd be using `unsafeInterleaveIO`, but that's beside the point I think |
| 2021-05-04 15:35:10 +0200 | <merijn> | edmundnoble: 'everything you can expect in any other scenario, which is roughly "anything"' |
| 2021-05-04 15:35:24 +0200 | <edmundnoble> | I was indeed asking about the crazy stuff like STM retries not executing exception handlers |
| 2021-05-04 15:35:38 +0200 | <edmundnoble> | Yeah, I don't really buy that you can expect "anything" when using `unsafeInterleaveIO` |
| 2021-05-04 15:35:40 +0200 | <Uniaika> | hey edmundnoble :) |
| 2021-05-04 15:35:57 +0200 | <edmundnoble> | Hey Uniaika |
| 2021-05-04 15:36:26 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 2021-05-04 15:36:55 +0200 | st8less | (~st8less@2603:a060:11fd:0:ca9e:ebe6:5380:afd8) (Ping timeout: 260 seconds) |
| 2021-05-04 15:37:01 +0200 | <carbolymer> | I took a heap profile, and OTHER is 60% of the heap - any ideas what's that? |
| 2021-05-04 15:37:16 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-04 15:37:31 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-04 15:37:58 +0200 | <edmundnoble> | Anyway I guess that's my answer, which for the record is "none" |
| 2021-05-04 15:38:42 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-04 15:39:39 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 15:39:46 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-04 15:40:36 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) (Ping timeout: 268 seconds) |
| 2021-05-04 15:44:57 +0200 | <hyperisco> | I am using VSCode with the Haskell IDE and I am getting hlint warnings asking me to switch \x -> f (g (h x)) to f . g . h but I don't want to |
| 2021-05-04 15:45:03 +0200 | <hyperisco> | how can I disable these lint warnings? |
| 2021-05-04 15:45:39 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 15:45:50 +0200 | <edmundnoble> | hyperisco: https://stackoverflow.com/questions/34356510/how-to-disable-codelens-in-vs-code |
| 2021-05-04 15:46:01 +0200 | <edmundnoble> | IIRC you can only disable all of them or none, unfortunately |
| 2021-05-04 15:46:45 +0200 | <hyperisco> | I've never used a linter, never liked them, so fortunate enough ;) |
| 2021-05-04 15:46:54 +0200 | <edmundnoble> | https://www.irccloud.com/pastebin/IfGUU0mv/ |
| 2021-05-04 15:47:06 +0200 | <edmundnoble> | -- Also for reference |
| 2021-05-04 15:47:06 +0200 | <edmundnoble> | evalSpark :: IO a -> IO (IO a) |
| 2021-05-04 15:47:06 +0200 | <edmundnoble> | evalSpark act = do |
| 2021-05-04 15:47:06 +0200 | <edmundnoble> | act' <- unsafeInterleaveIO act |
| 2021-05-04 15:47:06 +0200 | <edmundnoble> | par act' (pure $ evaluate act') |
| 2021-05-04 15:48:18 +0200 | <fendor> | hyperisco, since it is hlint, I *think* you can disable specific hlint rules |
| 2021-05-04 15:48:49 +0200 | <int-e> | edmundnoble: what's that supposed to achieve? |
| 2021-05-04 15:48:53 +0200 | <hyperisco> | I turned off codeLens but I am sstill getting hlint |
| 2021-05-04 15:49:10 +0200 | <fendor> | hyperisco, hlint is not a code-lint but diagnostic |
| 2021-05-04 15:49:20 +0200 | <fendor> | you can disable hlint altogether in the settings |
| 2021-05-04 15:49:25 +0200 | <fendor> | *codelens, iirc |
| 2021-05-04 15:49:45 +0200 | <fendor> | however, I think you can disable specific lints |
| 2021-05-04 15:50:15 +0200 | <hyperisco> | ah I found hlint diagnostics setting in the extension settings, disabled it |
| 2021-05-04 15:50:25 +0200 | <int-e> | edmundnoble: Oh, never mind, I see. Eww. |
| 2021-05-04 15:50:30 +0200 | <edmundnoble> | Executing `evalSpark act` creates a spark which when evaluated executes `act`, and returns an IO action. When that action has been executed, you know for sure `act` really has been evaluated. |
| 2021-05-04 15:50:39 +0200 | <edmundnoble> | Haha I was hoping it would be clear |
| 2021-05-04 15:50:59 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 15:51:30 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-04 15:51:42 +0200 | <edmundnoble> | `act` really has been executed* |
| 2021-05-04 15:51:54 +0200 | jgt_ | (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 2021-05-04 15:52:05 +0200 | <int-e> | edmundnoble: anyway, I guess you're not incurring any problems on top of those that unsafeInterleaveIO has. |
| 2021-05-04 15:53:15 +0200 | <int-e> | which are basically the same as those of unsafePerformIO, minus concerns of accidental duplication through inlining. |
| 2021-05-04 15:54:18 +0200 | <edmundnoble> | I think you can also get accidental deduplication through CSE, same reason |
| 2021-05-04 15:54:26 +0200 | <edmundnoble> | Er same fix |
| 2021-05-04 15:54:38 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 15:56:09 +0200 | <edmundnoble> | But yeah this is definitely subject to the same things as unsafeInterleaveIO, and almost the same as you basically want anyway for things you can schedule onto workers |
| 2021-05-04 15:56:47 +0200 | <edmundnoble> | Arbitrary interleaving, with the added benefit that you can throw away your reference to the returned IO action and the spark will just disappear into the ether |
| 2021-05-04 15:57:27 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-05-04 15:58:43 +0200 | drbean_ | (~drbean@TC210-63-209-53.static.apol.com.tw) (Ping timeout: 252 seconds) |
| 2021-05-04 15:59:50 +0200 | sssb54 | (~ssssb56@155.138.143.61) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-05-04 16:01:59 +0200 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 246 seconds) |
| 2021-05-04 16:02:10 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 16:05:49 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-04 16:06:47 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-04 16:06:53 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 2021-05-04 16:07:20 +0200 | cheater | (~user@unaffiliated/cheater) |
| 2021-05-04 16:08:19 +0200 | vchlup | (~vchlup@nat.brnet.cz) (Read error: Connection reset by peer) |
| 2021-05-04 16:08:29 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving) |
| 2021-05-04 16:08:38 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-04 16:08:50 +0200 | vchlup | (~vchlup@nat.brnet.cz) |
| 2021-05-04 16:09:49 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-04 16:10:14 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-04 16:11:10 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 16:12:37 +0200 | jollygood2 | (~bc8134e3@217.29.117.252) |
| 2021-05-04 16:14:21 +0200 | <absence> | are CmpNat and CmpSymbol in GHC.TypeLits magical? can't find something that looks like implementations |
| 2021-05-04 16:14:34 +0200 | bis0lini | (~bis0lini@87.254.161.69) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-05-04 16:15:19 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 16:15:45 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-04 16:15:52 +0200 | mooncat | (~mooncat@87.254.161.69) |
| 2021-05-04 16:15:56 +0200 | <jollygood2> | hi. is there a way to abstract this code away, and avoid repeating every case for every type? https://paste.tomsmeding.com/SUJSUGZS |
| 2021-05-04 16:16:21 +0200 | <jollygood2> | missing {-# Language TypeApplications #-} |
| 2021-05-04 16:19:02 +0200 | sssb54 | (~ssssb56@155.138.143.61) |
| 2021-05-04 16:22:48 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-04 16:22:49 +0200 | <jollygood2> | calcWith @Int sum' n works too. maybe slightly nicer, but I still have the same amount of boilerplate. I'd basically need a String -> Type function, that can be used with @ or ::, and I don't think that is possible.. but who knows :) |
| 2021-05-04 16:24:35 +0200 | mooncat | (~mooncat@87.254.161.69) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-05-04 16:24:37 +0200 | xff0x | (~xff0x@2001:1a81:5215:6f00:2c52:1286:1373:82fb) (Ping timeout: 250 seconds) |
| 2021-05-04 16:24:52 +0200 | mooncat | (~mooncat@87.254.161.69) |
| 2021-05-04 16:25:13 +0200 | <edwardk> | absence: yes |
| 2021-05-04 16:25:20 +0200 | xff0x | (~xff0x@2001:1a81:5215:6f00:4234:47e9:f91b:7534) |
| 2021-05-04 16:25:28 +0200 | mooncat | (~mooncat@87.254.161.69) (Excess Flood) |
| 2021-05-04 16:25:45 +0200 | mooncat | (~mooncat@87.254.161.69) |
| 2021-05-04 16:26:05 +0200 | mooncat | (~mooncat@87.254.161.69) (Client Quit) |
| 2021-05-04 16:27:29 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-04 16:28:29 +0200 | <absence> | edwardk: thanks |
| 2021-05-04 16:29:15 +0200 | <l-as> | Does anyone know if there's a way of running multiple GHCi instances on the same GHC process, so that each new instance doesn't use ~100 MiB extra memory? |
| 2021-05-04 16:29:26 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-05-04 16:29:35 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-04 16:30:39 +0200 | LKoen | (~LKoen@140.170.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-05-04 16:30:53 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-tchfsqhddnixslwt) |
| 2021-05-04 16:33:24 +0200 | <geekosaur> | not built in. it might be possible to implement using ghc-api, but I'd bet on most of that 100 MiB coming along with each instance |
| 2021-05-04 16:34:10 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Ping timeout: 265 seconds) |
| 2021-05-04 16:36:47 +0200 | <geekosaur> | come to think of it, the runtime won't expect to be split over multiple instances so there will be interference from multiple terminals, interleaved gcs, etc. |
| 2021-05-04 16:38:30 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-04 16:38:39 +0200 | totte | (~totte@chakra/totte) (Quit: ZNC - http://znc.in) |
| 2021-05-04 16:38:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-04 16:40:11 +0200 | <Gurkenglas> | Consider two bots playing Prisoner's Dilemma. A bot can pose questions to a provability oracle about what he and his opponent will end up doing, and is supposed to return what he does. What language and what libaries should I use to talk about all the possible bots and the graph of who would decide what against whom? |
| 2021-05-04 16:42:27 +0200 | <Gurkenglas> | (For example, Cooperatebot always cooperates, Fairbot cooperates iff he can prove that the opponent cooperates, and Prudentbot cooperates iff he can prove that both will do the same.) |
| 2021-05-04 16:42:36 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 16:43:08 +0200 | <Gurkenglas> | (And Paladinbot, which cooperates iff the opponent would cooperates against Cooperatebot, can't be implemented.) |
| 2021-05-04 16:44:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-04 16:44:21 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 16:45:31 +0200 | <chisui> | Gurkenglas are these bots different processes? If not you could implement them all in the same application. You wouldn't need any frameworks |
| 2021-05-04 16:46:23 +0200 | <Gurkenglas> | chisui, I expect that some language makes it easy to define and work with these. |
| 2021-05-04 16:46:43 +0200 | <l-as> | geekosaur: Thanks. I'll likely have to make something myself then. |
| 2021-05-04 16:46:51 +0200 | <l-as> | I'm trying to use GHCi as a shell, and it works mostly fine, except that part. |
| 2021-05-04 16:47:08 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-04 16:48:27 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-04 16:48:57 +0200 | <chisui> | Gurkenglas So you want to define a protocol that can be implemented by multiple clients? What are your requirements/constraints? |
| 2021-05-04 16:50:14 +0200 | <Gurkenglas> | chisui, I expect all the experiments to happen on a single machine. I don't plan for the bots to know anything about the hardware. |
| 2021-05-04 16:50:16 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) |
| 2021-05-04 16:50:45 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-04 16:52:08 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) () |
| 2021-05-04 16:52:09 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) |
| 2021-05-04 16:52:47 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9513a5163a3f5f418180.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-04 16:57:01 +0200 | safinaskar | (~user@109.252.90.136) |
| 2021-05-04 16:57:25 +0200 | <safinaskar> | why this two pages look different? http://hackage.haskell.org/package/ghc-prim-0.7.0/docs/GHC-CString.html http://hackage.haskell.org/package/kleene-0.1/docs/Kleene-ERE.html |
| 2021-05-04 16:57:36 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-05-04 16:57:55 +0200 | <safinaskar> | the first has purple heading, the second has black one |
| 2021-05-04 16:58:05 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 16:58:14 +0200 | <thblt> | I've implemented a Writer as a small learning exercise, and I think the implementation for >>= could be nicer. It's here: https://paste.thb.lt/1620139243.hs.html Any ideas? Thanks. |
| 2021-05-04 17:00:31 +0200 | LKoen | (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-04 17:00:40 +0200 | tlaxkit | (~konversat@185.228.153.18) |
| 2021-05-04 17:00:45 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 17:00:46 +0200 | <mniip> | safinaskar, new haddock vs old haddock |
| 2021-05-04 17:01:03 +0200 | <safinaskar> | mniip: why not regenerate all docs? |
| 2021-05-04 17:01:05 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:85a:4fb7:871c:f700) |
| 2021-05-04 17:01:06 +0200 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-04 17:01:11 +0200 | <merijn> | safinaskar: Docs are generated at build time |
| 2021-05-04 17:01:22 +0200 | <boxscape> | % ((undefined :: b) :: forall a . a) :: forall b . b |
| 2021-05-04 17:01:23 +0200 | <yahb> | boxscape: ; <interactive>:31:3: error:; * Couldn't match expected type `a' with actual type `b1'; `a' is a rigid type variable bound by; an expression type signature:; forall a. a; at <interactive>:31:22-33; `b1' is a rigid type variable bound by; an expression type signature:; forall b1. b1; at <interactive>:31:39-50; * In the expression: ((undef |
| 2021-05-04 17:01:26 +0200 | <merijn> | safinaskar: Because building docs requires compiling and ancient packages may not compile anymore |
| 2021-05-04 17:01:28 +0200 | <boxscape> | seems kind of weird that this doesn't work |
| 2021-05-04 17:01:40 +0200 | <safinaskar> | merijn: mniip: ok, thanks |
| 2021-05-04 17:01:46 +0200 | <boxscape> | % ((undefined :: a) :: forall a . a) :: forall b . b |
| 2021-05-04 17:01:46 +0200 | <yahb> | boxscape: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:32:3 in interactive:Ghci16 |
| 2021-05-04 17:01:52 +0200 | <boxscape> | whereas this does |
| 2021-05-04 17:02:10 +0200 | <mniip> | scopedTyVars? |
| 2021-05-04 17:02:13 +0200 | <boxscape> | yes |
| 2021-05-04 17:02:54 +0200 | safinaskar | (~user@109.252.90.136) () |
| 2021-05-04 17:03:08 +0200 | <mniip> | % :set -XNoScopedTypeVariables |
| 2021-05-04 17:03:08 +0200 | <yahb> | mniip: |
| 2021-05-04 17:03:10 +0200 | <mniip> | % ((undefined :: b) :: forall a . a) :: forall b . b |
| 2021-05-04 17:03:10 +0200 | <yahb> | mniip: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:35:3 in interactive:Ghci17 |
| 2021-05-04 17:03:15 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-04 17:04:52 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-05-04 17:06:12 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 17:07:26 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-04 17:08:10 +0200 | ADG1089 | (~aditya@122.163.161.198) |
| 2021-05-04 17:08:19 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-05-04 17:08:47 +0200 | totte | (~totte@chakra/totte) |
| 2021-05-04 17:11:01 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-04 17:11:25 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-04 17:11:41 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-04 17:13:30 +0200 | danso | (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 2021-05-04 17:13:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-04 17:13:37 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-05-04 17:13:49 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 2021-05-04 17:15:45 +0200 | dan64- | (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in) |
| 2021-05-04 17:16:05 +0200 | dan64 | (~dan64@dannyadam.com) |
| 2021-05-04 17:16:15 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 17:16:50 +0200 | toorevitimirp | (~tooreviti@117.182.181.119) |
| 2021-05-04 17:17:53 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 17:18:40 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 268 seconds) |
| 2021-05-04 17:18:59 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-04 17:20:01 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 17:21:04 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 17:24:14 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-04 17:24:34 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 17:25:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 17:27:08 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 17:27:59 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 17:28:11 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 17:30:11 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-04 17:30:44 +0200 | antoniotrkdz | (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) |
| 2021-05-04 17:30:47 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-zadqqerhzuegxzed) |
| 2021-05-04 17:31:59 +0200 | <antoniotrkdz> | hi |
| 2021-05-04 17:35:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-04 17:36:02 +0200 | <boxscape> | hello |
| 2021-05-04 17:42:04 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-04 17:43:49 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-04 17:44:21 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 17:44:46 +0200 | <ADG1089> | heya |
| 2021-05-04 17:44:59 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-04 17:44:59 +0200 | toorevitimirp | (~tooreviti@117.182.181.119) (Quit: Konversation terminated!) |
| 2021-05-04 17:45:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 17:45:42 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-05-04 17:46:45 +0200 | toorevitimirp | (~tooreviti@117.182.181.119) |
| 2021-05-04 17:47:48 +0200 | toorevitimirp | (~tooreviti@117.182.181.119) (Client Quit) |
| 2021-05-04 17:49:49 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 17:50:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-04 17:51:56 +0200 | tomspencer | (~tomspence@host109-148-131-65.range109-148.btcentralplus.com) |
| 2021-05-04 17:52:18 +0200 | toorevitimirp | (~tooreviti@117.182.181.119) |
| 2021-05-04 17:52:20 +0200 | <tomspencer> | hi! just started with haskell! |
| 2021-05-04 17:52:32 +0200 | <boxscape> | hi :) |
| 2021-05-04 17:53:04 +0200 | <antoniotrkdz> | does anybody know a way to make xmonad log applet clickable |
| 2021-05-04 17:53:06 +0200 | <antoniotrkdz> | ? |
| 2021-05-04 17:53:40 +0200 | ADG1089 | (~aditya@122.163.161.198) (Remote host closed the connection) |
| 2021-05-04 17:53:56 +0200 | totte | (~totte@chakra/totte) (Excess Flood) |
| 2021-05-04 17:54:12 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 17:54:31 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 17:54:38 +0200 | <tomspencer> | Hi antoniotrkdz! Try this one: https://www.youtube.com/watch?v=jCzuMHU3Qtw for xmonad! |
| 2021-05-04 17:54:39 +0200 | totte | (~totte@chakra/totte) |
| 2021-05-04 17:55:45 +0200 | <antoniotrkdz> | thanks tomspencer but I am not using xmobar, I am using the applet for the mate panel |
| 2021-05-04 17:55:45 +0200 | michalz | (~user@185.246.204.110) (Read error: Connection reset by peer) |
| 2021-05-04 17:56:10 +0200 | <tomspencer> | Cool. Not sure then. |
| 2021-05-04 17:56:28 +0200 | <tomspencer> | Thanks Antoniotrkdz! |
| 2021-05-04 17:57:47 +0200 | toorevitimirp | (~tooreviti@117.182.181.119) (Quit: Konversation terminated!) |
| 2021-05-04 17:59:18 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-04 17:59:27 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 17:59:45 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) (Remote host closed the connection) |
| 2021-05-04 17:59:54 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Quit: andreas303) |
| 2021-05-04 18:00:02 +0200 | ddellac__ | (~ddellacos@86.106.143.174) |
| 2021-05-04 18:00:27 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) |
| 2021-05-04 18:00:39 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-04 18:03:19 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) (Quit: Leaving.) |
| 2021-05-04 18:04:29 +0200 | ddellac__ | (~ddellacos@86.106.143.174) (Ping timeout: 246 seconds) |
| 2021-05-04 18:04:37 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-05-04 18:05:26 +0200 | <davve_> | hey haskell wizards, have a xmonad related question also. I found this function/managehook which sets the opacity of all created windows. it works great but in some cases I don't want transparency (for some floated applications) - could anyone help me out rewriting it to ignore (ideally a blacklist) of WM classes? http://vpaste.net/Uxa7W |
| 2021-05-04 18:05:42 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-05-04 18:06:52 +0200 | totte_ | (~totte@chakra/totte) |
| 2021-05-04 18:07:16 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-04 18:08:01 +0200 | totte | Guest48484 |
| 2021-05-04 18:08:01 +0200 | Guest48484 | (~totte@chakra/totte) (Killed (tepper.freenode.net (Nickname regained by services))) |
| 2021-05-04 18:08:02 +0200 | totte_ | totte |
| 2021-05-04 18:11:51 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-04 18:12:00 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Remote host closed the connection) |
| 2021-05-04 18:12:09 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-04 18:12:26 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 18:14:10 +0200 | <davve_> | just a nudge in the right direction would be cool :) I assume id there is the WM class. so basically checking if that is different than some other class, then call setOpacity like its already doing |
| 2021-05-04 18:14:14 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:744:f358:5346:deb7) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-05-04 18:14:18 +0200 | ADG1089 | (~aditya@122.163.161.198) |
| 2021-05-04 18:14:24 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:3a96:a4d3:a3c8:7a4c) |
| 2021-05-04 18:15:34 +0200 | <davve_> | or not included in a list of strings.. to do the blacklist |
| 2021-05-04 18:16:13 +0200 | <absence> | is xmonad an application written in haskell or something? |
| 2021-05-04 18:16:30 +0200 | <geekosaur> | yes, see #xmonad |
| 2021-05-04 18:16:42 +0200 | <davve_> | aye |
| 2021-05-04 18:17:06 +0200 | ubert | (~Thunderbi@188-23-70-233.adsl.highway.telekom.at) (Ping timeout: 240 seconds) |
| 2021-05-04 18:18:23 +0200 | <geekosaur> | it'd be easier to do this from the manageHook because that's where you have e.g. className |
| 2021-05-04 18:20:15 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-04 18:21:06 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-04 18:22:36 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 18:23:59 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-hrzpydgljnsqxyfi) |
| 2021-05-04 18:24:57 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 18:25:01 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) |
| 2021-05-04 18:26:11 +0200 | ubert | (~Thunderbi@188-23-70-233.adsl.highway.telekom.at) |
| 2021-05-04 18:27:40 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-gaopgaecslifeogu) |
| 2021-05-04 18:27:58 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-04 18:28:05 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 18:30:51 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) () |
| 2021-05-04 18:31:12 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) |
| 2021-05-04 18:32:12 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-04 18:32:13 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 18:32:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 18:33:22 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-04 18:35:06 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-04 18:35:23 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 18:35:32 +0200 | ubert | (~Thunderbi@188-23-70-233.adsl.highway.telekom.at) (Ping timeout: 260 seconds) |
| 2021-05-04 18:36:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 18:36:03 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 18:38:32 +0200 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 240 seconds) |
| 2021-05-04 18:39:27 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 18:40:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 18:41:17 +0200 | <DigitalKiwi> | absence: yeah see it turns out there have only ever been 3 haskell applications written; ghc, pandoc, and xmonad |
| 2021-05-04 18:44:12 +0200 | <davve_> | geekosaur: i see |
| 2021-05-04 18:45:55 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-04 18:48:15 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 18:48:24 +0200 | <geekosaur> | hledger and git-annex also come to mind |
| 2021-05-04 18:48:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 18:48:45 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 18:49:39 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-04 18:50:15 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-04 18:50:22 +0200 | <DigitalKiwi> | geekosaur: but that ruins the joke :( |
| 2021-05-04 18:51:30 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-04 18:52:45 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Read error: Connection reset by peer) |
| 2021-05-04 18:54:43 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-04 18:56:15 +0200 | hexfive | (~hexfive@50.35.83.177) |
| 2021-05-04 18:57:10 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-05-04 18:57:52 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-04 18:59:51 +0200 | <thblt> | DigitalKiwi: In all fairness xmonad and pandoc had *already* ruined the joke. |
| 2021-05-04 19:00:08 +0200 | tomspencer | (~tomspence@host109-148-131-65.range109-148.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2021-05-04 19:00:17 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-05-04 19:00:28 +0200 | <davve_> | was it a joke or a silent plead for more software written in haskell? |
| 2021-05-04 19:00:53 +0200 | <thblt> | Apparently there are five already, isn't that enough? |
| 2021-05-04 19:01:03 +0200 | tomspencer | (~tomspence@host109-148-131-65.range109-148.btcentralplus.com) |
| 2021-05-04 19:01:10 +0200 | <tomspencer> | |
| 2021-05-04 19:01:11 +0200 | <davve_> | quality over quantity, I guess |
| 2021-05-04 19:01:12 +0200 | <tomspencer> | |
| 2021-05-04 19:01:24 +0200 | tomspencer | (~tomspence@host109-148-131-65.range109-148.btcentralplus.com) (Client Quit) |
| 2021-05-04 19:02:08 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-04 19:02:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-04 19:02:25 +0200 | <DigitalKiwi> | there's glirc and hakyll too |
| 2021-05-04 19:04:49 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 19:06:31 +0200 | <maerwald> | I feel we need to write a haskell version of https://github.com/buttplugio/buttplug-rs |
| 2021-05-04 19:06:54 +0200 | tomku | (~tomku@unaffiliated/tomku) (Ping timeout: 265 seconds) |
| 2021-05-04 19:07:02 +0200 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-05-04 19:08:29 +0200 | <xerox_> | when you have an explicit export list how do you enter a repl that gives you access to all the stuff that isn't in the export list? I'm using cabal repl, I thought :module Foo would do it but no joy |
| 2021-05-04 19:10:06 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-05-04 19:11:19 +0200 | <geekosaur> | you need a * prefixed to get it to recompile from source, an object file literally does not have the names available |
| 2021-05-04 19:11:30 +0200 | <geekosaur> | :m *Foo |
| 2021-05-04 19:12:22 +0200 | <geekosaur> | but cabal repl may not be able to do that properly, it behaves oddly when multiple modules are involved |
| 2021-05-04 19:13:25 +0200 | ggVGc | (~ggVGc@2400:8901::f03c:91ff:fef2:bed8) (Remote host closed the connection) |
| 2021-05-04 19:13:46 +0200 | <monochrom> | :load or :add |
| 2021-05-04 19:13:55 +0200 | <xerox_> | beautiful! I noticed * in :help but no idea what it meant, thank you |
| 2021-05-04 19:14:22 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-04 19:14:31 +0200 | <xerox_> | ah I guess you could deduce it from the :browse entry that expands on it a lil bit |
| 2021-05-04 19:14:36 +0200 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-04 19:14:37 +0200 | <geekosaur> | also what monochrom said |
| 2021-05-04 19:15:11 +0200 | <xerox_> | ok :^) |
| 2021-05-04 19:15:54 +0200 | ddellacosta | (~ddellacos@86.106.143.239) |
| 2021-05-04 19:16:07 +0200 | <monochrom> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#ghci-scope |
| 2021-05-04 19:16:07 +0200 | tlaxkit | (~konversat@185.228.153.18) (Quit: Konversation terminated!) |
| 2021-05-04 19:16:46 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-04 19:17:12 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-04 19:19:29 +0200 | moet | (~moet@172.58.35.68) |
| 2021-05-04 19:20:26 +0200 | ddellacosta | (~ddellacos@86.106.143.239) (Ping timeout: 246 seconds) |
| 2021-05-04 19:22:17 +0200 | <moet> | anybody know how to use a servant `StreamBody ... :> StreamPost ...` endpoint from a servant generated client? you end up in a situation like this `downStream <- rpc upStream` which blocks until `rpc` disconnects.. you can't ever process downStream |
| 2021-05-04 19:23:54 +0200 | meck | (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-04 19:24:34 +0200 | thunderrd | (~thunderrd@183.182.110.252) (Ping timeout: 268 seconds) |
| 2021-05-04 19:24:47 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds) |
| 2021-05-04 19:25:07 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2021-05-04 19:25:11 +0200 | <moet> | the cookbook shows an example of a handler for such a bidirectional streaming endpoint, but it doesn't show how to call it from a client: https://docs.servant.dev/en/stable/cookbook/basic-streaming/Streaming.html |
| 2021-05-04 19:25:43 +0200 | aVikingTrex | (2be74510@43.231.69.16) (Ping timeout: 240 seconds) |
| 2021-05-04 19:26:15 +0200 | ADG1089__ | (~aditya@171.76.152.88) |
| 2021-05-04 19:26:41 +0200 | hypercube | (~hypercube@75.186.121.128) |
| 2021-05-04 19:27:12 +0200 | puffnfresh | (~puffnfres@45.76.124.5) (Ping timeout: 265 seconds) |
| 2021-05-04 19:27:43 +0200 | BIG_JIMMY_D | (~jim@108.61.185.76) (Ping timeout: 252 seconds) |
| 2021-05-04 19:27:44 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 19:27:52 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-04 19:28:06 +0200 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-05-04 19:28:10 +0200 | ADG1089 | (~aditya@122.163.161.198) (Ping timeout: 265 seconds) |
| 2021-05-04 19:29:20 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-04 19:29:20 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-04 19:29:20 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-04 19:29:43 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:a104:d14:93ae:b6b0) (Ping timeout: 276 seconds) |
| 2021-05-04 19:31:19 +0200 | <moet> | ok, studying the cookbook example a bit more it seems i might be uing `withClientM` incorrectly.. i was trying to do all the processing in the first argument (the client action) rather than the final argument (the inside of the `with` context) |
| 2021-05-04 19:31:34 +0200 | ecrance | (~Adium@2a01cb058dba1100b064de7ae4382049.ipv6.abo.wanadoo.fr) () |
| 2021-05-04 19:32:02 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds) |
| 2021-05-04 19:32:59 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 19:33:02 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds) |
| 2021-05-04 19:33:33 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-04 19:35:20 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 19:35:45 +0200 | <moet> | that doesn't seem to fix it either.. same behavior; the final argument just isn't called until the rpc disconnects |
| 2021-05-04 19:37:47 +0200 | zmagii | (~zmagii@unaffiliated/zmagii) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-04 19:37:52 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 19:38:30 +0200 | thunderrd | (~thunderrd@183.182.114.223) |
| 2021-05-04 19:39:00 +0200 | puffnfresh | (~puffnfres@45.76.124.5) |
| 2021-05-04 19:39:01 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-04 19:39:41 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-04 19:40:04 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-05-04 19:40:13 +0200 | alx741 | (~alx741@186.178.109.58) (Quit: alx741) |
| 2021-05-04 19:40:25 +0200 | <cub3s_> | It seems to me that a lot of Haskellers flocked to Stack or Nix before Nix-style builds (v2) existed in Cabal. |
| 2021-05-04 19:40:26 +0200 | <cub3s_> | But now that v2 builds exist in Cabal, it seems to me that there is absolutely no need anymore for Stack or Nix for 90% of Haskellers. |
| 2021-05-04 19:40:26 +0200 | <cub3s_> | Change my mind. |
| 2021-05-04 19:41:34 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 19:41:52 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:1f8e:c408:8077:5927) |
| 2021-05-04 19:42:35 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-04 19:43:35 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 19:43:47 +0200 | <sm[m]> | cub3s_: stack still has benefits for some - better usability, reproducability as default, less legacy confusion, stackage integration, certain features that work smoother |
| 2021-05-04 19:43:54 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 19:43:57 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-04 19:44:24 +0200 | BIG_JIMMY_D | (~jim@108.61.185.76) |
| 2021-05-04 19:44:34 +0200 | <sm[m]> | likewise nix - whole-system/multi-language package management, not just haskell |
| 2021-05-04 19:45:06 +0200 | <monochrom> | Don't answer to provocative tactics such as "prove me wrong" or "change my mind" or "haskell can't convert a number to a string". |
| 2021-05-04 19:45:58 +0200 | <sm[m]> | why not, I just logged on and I'm fresh! :) |
| 2021-05-04 19:46:33 +0200 | <sm[m]> | plus, very few folks here speak of stack's strengths, it's my duty |
| 2021-05-04 19:46:51 +0200 | <cub3s_> | all i meant is, i've been using stack (a little nix) until now. just wanted someone to convince me to keep using those since i just found out about v2 today |
| 2021-05-04 19:47:39 +0200 | Erix | (~erix@77.28.20.112) |
| 2021-05-04 19:48:03 +0200 | <sm[m]> | stack also was and maybe still is a bit more maintained / easier to contribute to |
| 2021-05-04 19:48:21 +0200 | Erix | (~erix@77.28.20.112) (Client Quit) |
| 2021-05-04 19:48:43 +0200 | <sm[m]> | don't feel bad for using it, by all means learn both, they each are better in certain situations |
| 2021-05-04 19:48:56 +0200 | <monochrom> | Logically, unless stack is being obsoleted, there is no to leave what you have invested in. I would think that's reason enough. |
| 2021-05-04 19:49:01 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-04 19:49:50 +0200 | <monochrom> | If not, you have much deeper psychological issues. Talk to a counselor. |
| 2021-05-04 19:50:15 +0200 | <monochrom> | s/no to/no need to/ |
| 2021-05-04 19:50:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 19:51:28 +0200 | alx741 | (~alx741@186.178.109.58) |
| 2021-05-04 19:53:23 +0200 | <edmundnoble> | If you don't really care about stackage, and you use stack, you still pay for stackage |
| 2021-05-04 19:53:36 +0200 | <sclv> | nix shines when its not just haskell but part of a full application/appliance for production imho |
| 2021-05-04 19:55:30 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 19:56:00 +0200 | <sm[m]> | edmundnoble: yes, stack is not as good at finding free-form custom install plans. I wish it had not dropped that bit of cabal that used to be integrated |
| 2021-05-04 19:56:02 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 19:56:05 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-05-04 19:56:06 +0200 | ddellacosta | (~ddellacos@86.106.143.135) |
| 2021-05-04 19:56:25 +0200 | <sm[m]> | one of these days we'll have a tool that does it all |
| 2021-05-04 19:56:36 +0200 | <cub3s_> | soon(tm) |
| 2021-05-04 19:56:49 +0200 | <edmundnoble> | cabal can be used with stackage |
| 2021-05-04 19:56:52 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-04 19:58:41 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-fuvvxehhumskktue) (Ping timeout: 245 seconds) |
| 2021-05-04 19:59:18 +0200 | ryjm | (sid383513@gateway/web/irccloud.com/x-mfvpahefkuhsmhxj) (Ping timeout: 258 seconds) |
| 2021-05-04 19:59:26 +0200 | wpcarro_ | (sid397589@gateway/web/irccloud.com/x-oqezoawcccpelrna) (Read error: Connection reset by peer) |
| 2021-05-04 19:59:37 +0200 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-ynbdnkhkjbtgwgql) (Ping timeout: 276 seconds) |
| 2021-05-04 19:59:39 +0200 | b20n | (sid115913@gateway/web/irccloud.com/x-udwflvyexwjwmsyu) (Ping timeout: 260 seconds) |
| 2021-05-04 19:59:53 +0200 | benwr____ | (sid372383@gateway/web/irccloud.com/x-xfdqoomnehumnzni) (Read error: Connection reset by peer) |
| 2021-05-04 20:00:07 +0200 | bradparker | (sid262931@gateway/web/irccloud.com/x-pnnpnsamzcgcvhic) (Ping timeout: 260 seconds) |
| 2021-05-04 20:00:12 +0200 | SrPx | (sid108780@gateway/web/irccloud.com/x-rwifggglogkkmwmr) (Ping timeout: 240 seconds) |
| 2021-05-04 20:00:20 +0200 | ddellacosta | (~ddellacos@86.106.143.135) (Ping timeout: 246 seconds) |
| 2021-05-04 20:00:25 +0200 | d0liver | (sid363046@gateway/web/irccloud.com/x-ymmzryfvswoxfpty) (Ping timeout: 250 seconds) |
| 2021-05-04 20:00:51 +0200 | jared-w | (uid405292@gateway/web/irccloud.com/x-nohdotnpqgmaljhg) (Ping timeout: 248 seconds) |
| 2021-05-04 20:00:52 +0200 | davetapley | (sid666@gateway/web/irccloud.com/x-tjtmijegqbuqabqg) (Ping timeout: 240 seconds) |
| 2021-05-04 20:00:55 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-nqhwubaiasxmaztx) (Ping timeout: 276 seconds) |
| 2021-05-04 20:01:13 +0200 | etrepum | (sid763@gateway/web/irccloud.com/x-kbeiueugazaifuth) (Ping timeout: 258 seconds) |
| 2021-05-04 20:01:21 +0200 | AndreasK | (sid320732@gateway/web/irccloud.com/x-zihhiadtvsrfgmeq) (Ping timeout: 246 seconds) |
| 2021-05-04 20:01:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-05-04 20:01:56 +0200 | ryjm | (sid383513@gateway/web/irccloud.com/x-hegmsdgmbwucdfbi) |
| 2021-05-04 20:01:57 +0200 | b20n | (sid115913@gateway/web/irccloud.com/x-voljinonzzxjsgcs) |
| 2021-05-04 20:01:59 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-nkfpmozoufuddpsw) |
| 2021-05-04 20:01:59 +0200 | davetapley | (sid666@gateway/web/irccloud.com/x-tsehabjkagfdhwvp) |
| 2021-05-04 20:02:01 +0200 | d0liver | (sid363046@gateway/web/irccloud.com/x-bukxdaptkmbbznsf) |
| 2021-05-04 20:02:03 +0200 | ReinH | (sid179972@gateway/web/irccloud.com/x-weykmvlhvncihcpb) |
| 2021-05-04 20:02:03 +0200 | benwr____ | (sid372383@gateway/web/irccloud.com/x-zfunchuzuyhbaxeg) |
| 2021-05-04 20:02:06 +0200 | AndreasK | (sid320732@gateway/web/irccloud.com/x-iggblugzoaqzicre) |
| 2021-05-04 20:02:07 +0200 | etrepum | (sid763@gateway/web/irccloud.com/x-aalnwuokuejcgajp) |
| 2021-05-04 20:02:07 +0200 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-vybrriwslamksbzv) |
| 2021-05-04 20:02:12 +0200 | wpcarro_ | (sid397589@gateway/web/irccloud.com/x-qkpxlbpzblovcmru) |
| 2021-05-04 20:02:44 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 20:02:45 +0200 | bradparker | (sid262931@gateway/web/irccloud.com/x-utinnhqtffxropyw) |
| 2021-05-04 20:02:51 +0200 | SrPx | (sid108780@gateway/web/irccloud.com/x-dyzsiaerqkznllig) |
| 2021-05-04 20:02:56 +0200 | jared-w | (uid405292@gateway/web/irccloud.com/x-eipenrywlrydjypz) |
| 2021-05-04 20:06:07 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 20:07:30 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-05-04 20:09:08 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-04 20:15:14 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-04 20:16:35 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-04 20:16:47 +0200 | <moet> | here's my minimal repro: https://termbin.com/h71l |
| 2021-05-04 20:17:02 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-04 20:17:15 +0200 | <moet> | it's 99 lines and attempts to implement a little "netcat over http" using a single servant endpoint |
| 2021-05-04 20:17:39 +0200 | <moet> | the "up stream" works fine.. |
| 2021-05-04 20:17:58 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-04 20:18:00 +0200 | <moet> | the "down stream" reference is never obtained by the client, and therefore never starts processing on the client side, though the server side appears to be working fine |
| 2021-05-04 20:18:26 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c815:f081:13d7:6b7d) |
| 2021-05-04 20:20:04 +0200 | <moet> | the server side might also leak a thread, but i'm not really concerned with that right now if i can't get bidirectional streaming to work anyway |
| 2021-05-04 20:20:12 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Ping timeout: 240 seconds) |
| 2021-05-04 20:22:39 +0200 | ADG1089__ | (~aditya@171.76.152.88) (Remote host closed the connection) |
| 2021-05-04 20:22:41 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-04 20:27:19 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) |
| 2021-05-04 20:29:51 +0200 | poljar1 | (~poljar@93-143-154-6.adsl.net.t-com.hr) |
| 2021-05-04 20:30:34 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-05-04 20:30:52 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-04 20:31:12 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) |
| 2021-05-04 20:31:29 +0200 | poljar | (~poljar@93-139-112-157.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 2021-05-04 20:31:31 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-04 20:32:02 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-04 20:32:26 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-04 20:32:36 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-04 20:32:53 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Client Quit) |
| 2021-05-04 20:33:08 +0200 | <monochrom> | I don't know servant, but I just feel that traditionally the phrase "remote procedure call" doubles down on the aspect of "procedure call" in being highly batch mode and "you won't hear from me until I terminate", totally anti-interactive. |
| 2021-05-04 20:33:32 +0200 | Arthur__ | (~arthur@177.138.134.80) |
| 2021-05-04 20:33:42 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 20:34:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 20:34:42 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-04 20:34:52 +0200 | gurmble | (~Thunderbi@freenode/staff/grumble) |
| 2021-05-04 20:35:05 +0200 | grumble | Guest31287 |
| 2021-05-04 20:35:05 +0200 | Guest31287 | (~Thunderbi@freenode/staff/grumble) (Killed (card.freenode.net (Nickname regained by services))) |
| 2021-05-04 20:35:06 +0200 | gurmble | grumble |
| 2021-05-04 20:35:08 +0200 | <fresheyeball> | Anyone know how to use profiling with GHCjs? |
| 2021-05-04 20:35:27 +0200 | <fresheyeball> | luite: can you help out? |
| 2021-05-04 20:36:19 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-04 20:36:22 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 2021-05-04 20:37:04 +0200 | xelxebar_ | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-05-04 20:37:23 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-04 20:37:29 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:85a:4fb7:871c:f700) (Ping timeout: 245 seconds) |
| 2021-05-04 20:37:45 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 20:38:08 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-04 20:38:51 +0200 | nbloomf | (~nbloomf@76.217.43.73) |
| 2021-05-04 20:39:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 20:40:14 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) |
| 2021-05-04 20:42:08 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Remote host closed the connection) |
| 2021-05-04 20:42:58 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 20:44:32 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-04 20:45:54 +0200 | nbloomf | (~nbloomf@76.217.43.73) (Ping timeout: 260 seconds) |
| 2021-05-04 20:46:47 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 2021-05-04 20:47:29 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Ping timeout: 245 seconds) |
| 2021-05-04 20:48:39 +0200 | jneira | (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) |
| 2021-05-04 20:49:11 +0200 | nbloomf | (~nbloomf@76.217.43.73) |
| 2021-05-04 20:51:21 +0200 | bitmagie | (~Thunderbi@200116b8061c5600286b98b995fbce0a.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-04 20:51:44 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 20:51:56 +0200 | <moet> | monochrom: well, rpc is my word to describe what's going on |
| 2021-05-04 20:52:05 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 20:52:08 +0200 | <moet> | monochrom: servant just calls them client functions |
| 2021-05-04 20:52:29 +0200 | seliopou | (seliopou@entropy.tmok.com) (Ping timeout: 246 seconds) |
| 2021-05-04 20:52:43 +0200 | <moet> | and servant supports both streaming bodies and streaming responses ... which i've used separately with success in the past |
| 2021-05-04 20:52:51 +0200 | <moet> | just curious about how to use them together |
| 2021-05-04 20:55:26 +0200 | seliopou | (seliopou@entropy.tmok.com) |
| 2021-05-04 20:55:33 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-04 20:56:06 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-04 20:56:24 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-05-04 20:56:25 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-ccbitpzrbtqmayhw) (Quit: Connection closed for inactivity) |
| 2021-05-04 20:56:32 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 20:56:47 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 20:57:52 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 2021-05-04 20:58:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 20:59:55 +0200 | nbloomf | (~nbloomf@76.217.43.73) (Ping timeout: 252 seconds) |
| 2021-05-04 21:01:19 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-04 21:02:21 +0200 | asdf1234fs | (~kyle@108.161.22.155) |
| 2021-05-04 21:02:52 +0200 | supercoven_ | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-05-04 21:03:07 +0200 | seliopou | (seliopou@entropy.tmok.com) (Ping timeout: 268 seconds) |
| 2021-05-04 21:03:25 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-05-04 21:04:37 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-04 21:05:01 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 21:05:44 +0200 | asdf1234fs | (~kyle@108.161.22.155) () |
| 2021-05-04 21:07:31 +0200 | seliopou | (seliopou@entropy.tmok.com) |
| 2021-05-04 21:09:28 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-04 21:13:34 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-04 21:14:49 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 260 seconds) |
| 2021-05-04 21:15:56 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-rhabdusdgycjevhi) |
| 2021-05-04 21:16:14 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) |
| 2021-05-04 21:16:15 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-05-04 21:16:19 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-04 21:16:56 +0200 | fendor_ | (~fendor@178.115.128.74.wireless.dyn.drei.com) |
| 2021-05-04 21:17:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 21:18:57 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-04 21:22:40 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 21:23:31 +0200 | kuribas | (~user@ptr-25vy0i74839npjhgcue.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-05-04 21:24:35 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-04 21:26:41 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-04 21:26:59 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-05-04 21:27:23 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-04 21:27:30 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Remote host closed the connection) |
| 2021-05-04 21:27:48 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 21:29:37 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-04 21:30:03 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-04 21:31:24 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-04 21:32:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-04 21:33:28 +0200 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) (Quit: letmein) |
| 2021-05-04 21:33:37 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Client Quit) |
| 2021-05-04 21:33:45 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 246 seconds) |
| 2021-05-04 21:35:48 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-04 21:35:56 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 21:36:57 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-04 21:37:28 +0200 | ddellac__ | (~ddellacos@86.106.143.57) |
| 2021-05-04 21:39:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 21:41:58 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-04 21:42:36 +0200 | ddellac__ | (~ddellacos@86.106.143.57) (Ping timeout: 268 seconds) |
| 2021-05-04 21:44:40 +0200 | TommyC | (~TommyC@unaffiliated/sepulchralbloom) |
| 2021-05-04 21:45:03 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-05-04 21:46:45 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) |
| 2021-05-04 21:47:58 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) (Ping timeout: 252 seconds) |
| 2021-05-04 21:49:01 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 21:49:37 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-04 21:49:57 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 21:50:46 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 2021-05-04 21:55:03 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-04 21:55:23 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-04 21:56:03 +0200 | safinaskar | (~user@109.252.90.136) |
| 2021-05-04 21:56:19 +0200 | <safinaskar> | i have tests in my program for doctest/quickcheck |
| 2021-05-04 21:56:28 +0200 | <safinaskar> | similar to this: |
| 2021-05-04 21:56:38 +0200 | <safinaskar> | -- prop> 2 + a = a + 2 |
| 2021-05-04 21:56:44 +0200 | <safinaskar> | -- prop> 2 + a == a + 2 |
| 2021-05-04 21:57:12 +0200 | <safinaskar> | i run "doctest a.hs" and it works. how to erlarge number of quickcheck passes? |
| 2021-05-04 21:58:34 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-04 21:58:34 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-04 21:58:39 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-04 21:58:44 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 21:59:03 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 22:01:12 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Client Quit) |
| 2021-05-04 22:02:19 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-04 22:02:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 22:02:34 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-04 22:02:50 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-04 22:04:52 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-05-04 22:06:57 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 250 seconds) |
| 2021-05-04 22:07:26 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-05-04 22:07:41 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 22:10:14 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-04 22:11:29 +0200 | <davve_> | &40 |
| 2021-05-04 22:15:53 +0200 | hiptobecubic | (~john@unaffiliated/hiptobecubic) (Ping timeout: 265 seconds) |
| 2021-05-04 22:15:55 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-04 22:17:21 +0200 | motersen | (~motersen@gateway/tor-sasl/motersen) |
| 2021-05-04 22:17:34 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-04 22:18:02 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 22:18:10 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-05-04 22:18:14 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 22:18:27 +0200 | OldMiner | (~OldMiner@185.169.233.12) (Remote host closed the connection) |
| 2021-05-04 22:20:32 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-04 22:21:05 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 22:22:26 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 22:22:44 +0200 | zpao | (~zpao@185.163.110.100) |
| 2021-05-04 22:23:43 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-04 22:25:02 +0200 | chisui | (588239b3@mue-88-130-57-179.dsl.tropolys.de) (Quit: Connection closed) |
| 2021-05-04 22:25:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-04 22:27:35 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-04 22:27:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-04 22:30:32 +0200 | Arthur__ | (~arthur@177.138.134.80) () |
| 2021-05-04 22:31:25 +0200 | safinaskar | (~user@109.252.90.136) () |
| 2021-05-04 22:34:09 +0200 | jgt_ | (~jgt@87.227.221.129) |
| 2021-05-04 22:36:45 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:93ad:6112:53d2:cb65) (Ping timeout: 246 seconds) |
| 2021-05-04 22:36:58 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-04 22:38:29 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-04 22:39:43 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9574a5163a3f5f418180.dip0.t-ipconnect.de) |
| 2021-05-04 22:41:01 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 22:41:01 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-04 22:41:39 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-04 22:41:57 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 22:42:16 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 22:42:38 +0200 | hiptobecubic | (~john@unaffiliated/hiptobecubic) |
| 2021-05-04 22:44:11 +0200 | safinaskar | (~user@109.252.90.136) |
| 2021-05-04 22:44:18 +0200 | <safinaskar> | % length [] |
| 2021-05-04 22:44:18 +0200 | <yahb> | safinaskar: 0 |
| 2021-05-04 22:44:35 +0200 | <safinaskar> | why this works? ghc doesn't know monomorphic type of "[]" here |
| 2021-05-04 22:44:58 +0200 | <geekosaur> | :t length |
| 2021-05-04 22:45:00 +0200 | <lambdabot> | Foldable t => t a -> Int |
| 2021-05-04 22:45:33 +0200 | <geekosaur> | the type signature says it works for any a, so it can't look at the contents, only the list itself |
| 2021-05-04 22:45:34 +0200 | chisui | (588239b3@mue-88-130-57-179.dsl.tropolys.de) |
| 2021-05-04 22:45:54 +0200 | <Uniaika> | safinaskar: it's not monomorphic, Foldable takes the helm |
| 2021-05-04 22:46:24 +0200 | <Uniaika> | and you've given it something like [] @a so it's polymorphic in the inner element |
| 2021-05-04 22:46:31 +0200 | <geekosaur> | and when it goes to pick a type for it, it picks [] for t and () for a because of ExtendedDefaultRules |
| 2021-05-04 22:46:45 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 22:46:46 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-05-04 22:47:42 +0200 | <geekosaur> | in a program it usually has more to infer on, but will complain with default defaulting |
| 2021-05-04 22:47:58 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 2021-05-04 22:48:00 +0200 | <safinaskar> | "default defaulting"... |
| 2021-05-04 22:48:06 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-05-04 22:48:33 +0200 | <geekosaur> | I think even the Report uses that terminology |
| 2021-05-04 22:48:41 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-05-04 22:48:57 +0200 | <Uniaika> | :') |
| 2021-05-04 22:49:13 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:7c7a:6e3f:2800:2d5e) |
| 2021-05-04 22:49:41 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 22:50:44 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-05-04 22:51:15 +0200 | dinciorip | (~dincio@5.170.45.67) |
| 2021-05-04 22:51:49 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 22:52:31 +0200 | <safinaskar> | ok, thanks |
| 2021-05-04 22:52:32 +0200 | safinaskar | (~user@109.252.90.136) () |
| 2021-05-04 22:54:17 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-04 22:54:26 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-04 22:54:48 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-04 22:55:02 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-04 22:55:22 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-04 22:57:29 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-04 22:57:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 22:59:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 23:00:01 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-04 23:00:15 +0200 | Guest37426 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 2021-05-04 23:00:17 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Quit: Curry, you fools!) |
| 2021-05-04 23:00:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-04 23:01:49 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-04 23:02:22 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Remote host closed the connection) |
| 2021-05-04 23:04:59 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-04 23:05:11 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-04 23:05:40 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Remote host closed the connection) |
| 2021-05-04 23:07:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 23:10:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 23:11:05 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c815:f081:13d7:6b7d) (Quit: Leaving) |
| 2021-05-04 23:12:04 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Ping timeout: 245 seconds) |
| 2021-05-04 23:13:21 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-05-04 23:14:04 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-04 23:15:57 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-nkfpmozoufuddpsw) (Quit: Connection closed for inactivity) |
| 2021-05-04 23:17:33 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-04 23:19:20 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-05-04 23:20:49 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-04 23:20:51 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 23:21:56 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Client Quit) |
| 2021-05-04 23:22:31 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Client Quit) |
| 2021-05-04 23:22:59 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-04 23:23:33 +0200 | jgt_ | (~jgt@87.227.221.129) (Ping timeout: 265 seconds) |
| 2021-05-04 23:23:33 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 23:24:38 +0200 | safinaskar | (~user@109.252.90.136) |
| 2021-05-04 23:24:57 +0200 | knupfer | (~Thunderbi@200116b82b19e500902b8df26cfd07b7.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-04 23:25:11 +0200 | <safinaskar> | i just have read that "read world haskell" has some outdated info on exceptions. is it true? |
| 2021-05-04 23:28:11 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 23:29:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 23:29:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 23:30:47 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-05-04 23:30:51 +0200 | fendor_ | fendor |
| 2021-05-04 23:31:50 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-04 23:32:44 +0200 | fendor | (~fendor@178.115.128.74.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-05-04 23:32:46 +0200 | <geekosaur> | yes |
| 2021-05-04 23:32:51 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-04 23:32:51 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-04 23:33:00 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-04 23:33:06 +0200 | <geekosaur> | the extensible exceptions mechanism was introduced right after it was printed |
| 2021-05-04 23:33:20 +0200 | <geekosaur> | there's an updated version of RWH somewhere |
| 2021-05-04 23:34:07 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-04 23:34:08 +0200 | Wamanuz | (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2021-05-04 23:34:11 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-05-04 23:34:50 +0200 | <geekosaur> | https://github.com/tssm/up-to-date-real-world-haskell I think? |
| 2021-05-04 23:35:59 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) |
| 2021-05-04 23:36:47 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 23:38:31 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 23:38:33 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-04 23:38:36 +0200 | aidecoe | (~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection) |
| 2021-05-04 23:38:49 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 23:39:04 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Read error: No route to host) |
| 2021-05-04 23:39:15 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-04 23:39:19 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 276 seconds) |
| 2021-05-04 23:40:53 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Client Quit) |
| 2021-05-04 23:41:16 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) (Ping timeout: 276 seconds) |
| 2021-05-04 23:41:51 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-04 23:42:32 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 23:42:55 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 23:43:03 +0200 | <safinaskar> | geekosaur: thanks |
| 2021-05-04 23:44:07 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-04 23:47:08 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-05-04 23:51:20 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-04 23:52:59 +0200 | <Arahael> | I think "real world haskell" should have a bigger focus on FFI these days. |
| 2021-05-04 23:53:37 +0200 | <Arahael> | Especially with inline-cc, inline-rust, or whatever, haskell does a crazy good job at that. |
| 2021-05-04 23:53:47 +0200 | Arahael | hasn't tried them, done them with rust instead. |
| 2021-05-04 23:53:57 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 23:55:03 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-04 23:55:19 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-05-04 23:55:23 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-04 23:55:40 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 23:59:31 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-04 23:59:33 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
