Logs on 2021-03-26 (freenode/#haskell)
| 00:02:17 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 00:04:52 | × | micro quits (~micro@unaffiliated/micro) (Quit: leaving) |
| 00:05:03 | → | micro joins (~micro@unaffiliated/micro) |
| 00:05:32 | × | Anthaas quits (~Anthaas@unaffiliated/anthaas) (Ping timeout: 246 seconds) |
| 00:05:53 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 00:06:14 | → | Anthaas joins (~Anthaas@unaffiliated/anthaas) |
| 00:06:21 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 00:09:45 | × | blissful quits (~blissful@unaffiliated/azuline) (Quit: owo) |
| 00:10:19 | → | blissful joins (~blissful@unaffiliated/azuline) |
| 00:12:46 | → | notzmv- joins (~zmv@unaffiliated/zmv) |
| 00:12:47 | × | notzmv- quits (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 00:13:44 | × | blissful quits (~blissful@unaffiliated/azuline) (Client Quit) |
| 00:14:13 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 00:14:48 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 00:15:19 | × | notzmv quits (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 00:15:31 | → | blissful joins (~blissful@unaffiliated/azuline) |
| 00:15:58 | <MarcelineVQ> | good job |
| 00:16:40 | <koz_> | :t and |
| 00:16:42 | <lambdabot> | Foldable t => t Bool -> Bool |
| 00:17:32 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 00:18:27 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 00:21:35 | → | dcbdnl joins (~dcbdnl@2601:2c6:4e00:2d20::2) |
| 00:22:06 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 00:22:27 | × | dcbdnl quits (~dcbdnl@2601:2c6:4e00:2d20::2) (Client Quit) |
| 00:22:52 | × | thillux quits (~thillux@p200300d1ef42cb00c107b90fceadaf04.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:22:55 | × | dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Client Quit) |
| 00:27:07 | → | Katarushisu4 joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 00:27:28 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 00:28:09 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 00:28:13 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 00:28:14 | Katarushisu4 | is now known as Katarushisu |
| 00:28:33 | × | miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 00:28:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 00:29:21 | × | dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving) |
| 00:30:03 | → | miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) |
| 00:30:16 | × | puke quits (~vroom@217.138.252.52) (Quit: puke) |
| 00:30:50 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 00:31:04 | → | synacked joins (~synacked@72-47-191-13.mnolcmta01.res.dyn.suddenlink.net) |
| 00:31:08 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 00:32:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 00:32:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 00:33:08 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 00:33:30 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 258 seconds) |
| 00:35:36 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 00:35:45 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 00:37:23 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 250 seconds) |
| 00:40:28 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 265 seconds) |
| 00:44:03 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 00:44:22 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-qkynhipqeqyzxwvt) (Quit: Connection closed for inactivity) |
| 00:45:30 | → | stree joins (~stree@68.36.8.116) |
| 00:47:33 | × | synacked quits (~synacked@72-47-191-13.mnolcmta01.res.dyn.suddenlink.net) (Remote host closed the connection) |
| 00:48:11 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:dd08:3633:7b3f:d0eb) |
| 00:49:39 | → | perreo joins (~tato@201.209.92.147) |
| 00:49:44 | → | todda7 joins (~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) |
| 00:50:11 | → | lateef joins (~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com) |
| 00:50:37 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 265 seconds) |
| 00:53:31 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 00:54:29 | → | solvr joins (57e3c46d@87.227.196.109) |
| 00:54:55 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 00:56:31 | × | ps-auxw quits (~arneb@p548d56ce.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 00:57:07 | × | lateef quits (~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com) (Quit: lateef) |
| 00:57:31 | → | lateef joins (~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com) |
| 00:58:11 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 250 seconds) |
| 00:58:16 | → | conal joins (~conal@64.71.133.70) |
| 00:58:34 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 00:59:08 | × | perreo quits (~tato@201.209.92.147) (Remote host closed the connection) |
| 01:00:10 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 01:00:43 | → | ps-auxw joins (~arneb@p548d5577.dip0.t-ipconnect.de) |
| 01:01:44 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 01:03:09 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 01:03:48 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 01:05:24 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 01:05:55 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 01:07:02 | → | Tario joins (~Tario@201.192.165.173) |
| 01:08:35 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:11:06 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 01:11:45 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-bojmzmfrraongbrw) |
| 01:13:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 01:15:11 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 01:15:56 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection) |
| 01:17:01 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 01:18:17 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 252 seconds) |
| 01:19:33 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 01:19:37 | → | Matthias1 joins (~matthias@li890-22.members.linode.com) |
| 01:20:51 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds) |
| 01:21:20 | × | comboy quits (~quassel@tesuji.pl) (Remote host closed the connection) |
| 01:21:29 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 246 seconds) |
| 01:22:21 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 240 seconds) |
| 01:22:39 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 01:23:18 | → | hacxman joins (~hexo@gateway/tor-sasl/hexo) |
| 01:23:25 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 01:23:27 | → | comboy joins (~quassel@tesuji.pl) |
| 01:24:21 | × | hexo| quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds) |
| 01:25:13 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) |
| 01:25:36 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-11-65-95-103-225.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 01:27:23 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 01:28:58 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 01:32:33 | → | wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) |
| 01:32:34 | × | wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded) |
| 01:32:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:32:45 | → | wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) |
| 01:32:46 | × | wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded) |
| 01:37:00 | → | jespada_ joins (~jespada@90.254.243.187) |
| 01:37:14 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 01:37:23 | → | wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) |
| 01:37:24 | × | wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded) |
| 01:37:25 | → | xhlr_ joins (~xhlr@static.144.156.216.95.clients.your-server.de) |
| 01:37:34 | → | wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) |
| 01:37:35 | × | wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded) |
| 01:37:40 | → | uwap_ joins (~uwap@mail.uwap.name) |
| 01:37:48 | → | turnA7 joins (~turnA@103.120.19.44) |
| 01:38:42 | → | vent joins (~vent@185.62.190.213) |
| 01:39:46 | × | jespada quits (~jespada@90.254.243.187) (Read error: Connection reset by peer) |
| 01:39:46 | × | vchlup quits (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 01:39:46 | × | xhlr quits (~xhlr@static.144.156.216.95.clients.your-server.de) (Quit: bye) |
| 01:39:46 | × | uwap quits (~uwap@mail.uwap.name) (Quit: ZNC 1.8.1 - https://znc.in) |
| 01:39:46 | × | turnA quits (~turnA@103.120.19.44) (Quit: Ping timeout (120 seconds)) |
| 01:39:46 | × | lockshaw quits (~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 01:39:46 | × | ventolin quits (~vent@185.62.190.213) (Quit: ZNC - http://znc.in) |
| 01:39:47 | × | acro quits (~acro@unaffiliated/acro) (Ping timeout: 246 seconds) |
| 01:40:25 | → | wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) |
| 01:40:26 | × | wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded) |
| 01:40:31 | → | acro joins (~acro@188.166.31.185) |
| 01:40:31 | × | acro quits (~acro@188.166.31.185) (Changing host) |
| 01:40:31 | → | acro joins (~acro@unaffiliated/acro) |
| 01:40:34 | → | lockshaw joins (~lockshaw@165.22.163.71) |
| 01:40:36 | → | wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) |
| 01:40:37 | × | wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded) |
| 01:40:44 | × | zymurgy quits (~zymurgy@li607-220.members.linode.com) (Ping timeout: 246 seconds) |
| 01:52:30 | <dcbdan> | hello |
| 01:53:03 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 01:53:41 | × | Guest53742 quits (~textual@zrcout.mskcc.org) (Ping timeout: 260 seconds) |
| 01:53:54 | <spidr> | hello |
| 01:54:05 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:54:40 | <ski> | hello |
| 01:55:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 01:56:16 | → | drbean_ joins (~drbean@TC210-63-209-87.static.apol.com.tw) |
| 01:58:12 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:58:17 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 01:59:42 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 02:00:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 02:01:22 | <dcbdan> | I have an application that displays boxes on a screen. A user can push a box, moving it in a direction. Whenever that happens, state is updated to reflect that the box has changed position. |
| 02:02:11 | <dcbdan> | My idea was to store all my boxes in a hacky-kinda-r-tree-but-simpler data structure. |
| 02:03:00 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 02:03:21 | <dcbdan> | Should this use case have a mutable data structure, or a functional? If it is functional, should it be strict? |
| 02:05:43 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 02:05:49 | × | xff0x quits (~xff0x@2001:1a81:53ea:3700:7b09:c6ef:9691:2f13) (Ping timeout: 245 seconds) |
| 02:05:50 | <dcbdan> | At this point, I've written a mutable-version with IO arrays, and a functional version. They're both slow, but the IO-array version is _really_ slow. _shrugs_ |
| 02:06:00 | → | ryxai joins (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) |
| 02:06:45 | → | Alleria joins (~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com) |
| 02:07:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 02:07:09 | Alleria | is now known as Guest74945 |
| 02:07:52 | → | xff0x joins (~xff0x@2001:1a81:5226:c00:91a4:4af2:a8dc:80b7) |
| 02:08:01 | → | zymurgy joins (~zymurgy@li607-220.members.linode.com) |
| 02:10:02 | × | bobweb quits (6bb893db@cpe-107-184-147-219.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 02:14:22 | → | tpefreedom joins (~tsomers@184-157-240-110.dyn.centurytel.net) |
| 02:15:30 | → | Axma61156 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 02:16:10 | × | SoF quits (~SoF@unaffiliated/skillyonfire) (Quit: Ping timeout (120 seconds)) |
| 02:16:42 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection) |
| 02:16:51 | → | SoF joins (~SoF@unaffiliated/skillyonfire) |
| 02:17:06 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 02:17:11 | × | Unode quits (~Unode@unaffiliated/unode) (Remote host closed the connection) |
| 02:17:16 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 02:17:22 | → | Unode joins (~Unode@unaffiliated/unode) |
| 02:18:22 | × | ryxai quits (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:19:15 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 02:22:16 | turq_ | is now known as turq |
| 02:22:26 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-skyxflrnbkdkklzl) (Quit: Connection closed for inactivity) |
| 02:24:20 | × | turq quits (~electro@138.197.8.173) (Changing host) |
| 02:24:20 | → | turq joins (~electro@unaffiliated/turq) |
| 02:24:58 | → | zekriad joins (~zekriad@74.193.156.94) |
| 02:26:48 | → | electricityZZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 02:26:50 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 252 seconds) |
| 02:29:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 02:31:34 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 02:35:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 02:36:33 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 02:38:41 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 02:40:56 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 246 seconds) |
| 02:41:41 | × | Guest55480 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 02:44:42 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:e589:d5cd:80fb:258d) |
| 02:51:29 | Axma61156 | is now known as Axman6 |
| 02:52:53 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 02:53:13 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 02:53:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 02:55:18 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 03:03:23 | × | xff0x quits (~xff0x@2001:1a81:5226:c00:91a4:4af2:a8dc:80b7) (Ping timeout: 258 seconds) |
| 03:03:46 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:04:03 | × | tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Remote host closed the connection) |
| 03:04:11 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 03:05:06 | → | xff0x joins (~xff0x@2001:1a81:522d:f100:d10d:84ad:4500:2c79) |
| 03:06:30 | → | conal joins (~conal@64.71.133.70) |
| 03:07:01 | → | stree joins (~stree@68.36.8.116) |
| 03:07:18 | → | juri__ joins (~juri@79.140.115.110) |
| 03:08:16 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 03:09:25 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd08:3633:7b3f:d0eb) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:09:31 | × | juri_ quits (~juri@79.140.115.251) (Ping timeout: 260 seconds) |
| 03:20:12 | <__minoru__shirae> | dcbdan: what do you use to display boxes? |
| 03:20:20 | × | alx741 quits (~alx741@186.178.108.68) (Quit: alx741) |
| 03:21:36 | <__minoru__shirae> | how do you know that they are slow? did you test them without visualization? |
| 03:23:00 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 03:25:46 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 03:27:25 | <dcbdan> | it is a terminal display. Fill a whole terminal with 3x3 boxes, for example |
| 03:27:46 | × | __minoru__shirae quits (~shiraeesh@109.166.56.243) (Ping timeout: 240 seconds) |
| 03:28:53 | × | lemmih quits (~lemmih@2406:3003:2072:44:35a4:fecd:eff2:b477) (Ping timeout: 258 seconds) |
| 03:31:26 | × | dustinm quits (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 03:33:22 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 03:33:33 | → | lemmih joins (~lemmih@2406:3003:2072:44:6e66:db7b:b46b:3ed1) |
| 03:37:34 | → | __minoru__shirae joins (~shiraeesh@109.166.56.243) |
| 03:39:26 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:40:02 | → | dustinm joins (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 03:41:50 | → | _Alleria joins (~AllahuAkb@2603-7000-3040-0000-d83c-5948-c192-a22e.res6.spectrum.com) |
| 03:42:06 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-d83c-5948-c192-a22e.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 03:43:11 | × | theDon quits (~td@94.134.91.163) (Ping timeout: 240 seconds) |
| 03:43:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 03:44:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) |
| 03:44:44 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:c9a0:4edb:f142:45d8) (Remote host closed the connection) |
| 03:45:28 | → | theDon joins (~td@muedsl-82-207-238-105.citykom.de) |
| 03:45:32 | → | zephyz joins (zephyz@gateway/vpn/privateinternetaccess/zephyz) |
| 03:47:08 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds) |
| 03:51:05 | × | zephyz quits (zephyz@gateway/vpn/privateinternetaccess/zephyz) (Quit: zephyz) |
| 03:51:11 | → | shad0w_ joins (a0ca25a0@160.202.37.160) |
| 03:53:59 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 03:54:34 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:55:41 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 03:55:47 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 03:57:26 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 03:57:26 | finn_elija | is now known as Guest84389 |
| 03:57:26 | FinnElija | is now known as finn_elija |
| 03:59:04 | sm2n_ | is now known as sm2n |
| 03:59:07 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 03:59:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 03:59:30 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 04:00:01 | × | haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 04:00:07 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 04:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 04:00:45 | × | Guest84389 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 04:01:24 | → | haasn joins (~nand@mpv/developer/haasn) |
| 04:03:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:03:53 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 04:04:31 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) |
| 04:04:55 | × | rj quits (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 04:12:39 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:12:44 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:e5f1:14f:5eeb:7192) |
| 04:12:47 | → | electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 04:12:59 | × | electricityZZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 246 seconds) |
| 04:13:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 04:13:38 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection) |
| 04:14:18 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 04:17:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 04:17:22 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:e5f1:14f:5eeb:7192) (Ping timeout: 258 seconds) |
| 04:18:54 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds) |
| 04:20:04 | <sm[m]> | dcbdan: can you profile / log timing information and find out what exactly is slow ? |
| 04:21:59 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 04:24:04 | <dcbdan> | So I just removed drawing to screen for everything except the cursor--So it has to be that the repeated insert/delete into the data structure is slow |
| 04:24:52 | → | tpefreedom joins (~tsomers@184-157-240-110.dyn.centurytel.net) |
| 04:24:52 | → | hlisp joins (~hlisp@111.202.167.63) |
| 04:25:38 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 04:25:44 | <dcbdan> | A lot of items in the data structure are being deleted and then inserted. But I don't have a bulk insert or delete |
| 04:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 04:27:25 | <Axman6> | what does profiling say? |
| 04:27:55 | <Axman6> | it sounds like you're just guessing at the moment, and that's never a good idea with performance |
| 04:28:43 | <dcbdan> | Hmm, how should you go about profiling? |
| 04:30:28 | × | stass quits (~stas@2a00:13c0:63:7195::beef) (Read error: Connection reset by peer) |
| 04:30:46 | hackage | halive 0.1.8 - A live recompiler https://hackage.haskell.org/package/halive-0.1.8 (lukexi) |
| 04:30:46 | → | stass joins (~stas@2a00:13c0:63:7195::beef) |
| 04:31:03 | <Axman6> | what tool are you using to build your app? cabal or stack? |
| 04:32:58 | <dcbdan> | I'm just using ghc atm |
| 04:33:02 | × | hlisp quits (~hlisp@111.202.167.63) () |
| 04:33:59 | <Axman6> | compile wiuth ghc -prof -fprof-auto-all, then run ./your-program +RTS --help to find out how to run profiling |
| 04:34:51 | → | jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 04:34:51 | × | jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 04:34:51 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 04:34:58 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 04:35:14 | → | Tario joins (~Tario@201.192.165.173) |
| 04:35:44 | <Axman6> | and consult https://downloads.haskell.org/ghc/latest/docs/html/users_guide/profiling.html |
| 04:37:11 | <Axman6> | hmm, I may have made up -fprof-auto-all, it might just be -fprof-auto |
| 04:37:14 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 04:37:38 | <dcbdan> | thanks, I'm taking a look now |
| 04:37:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 04:38:08 | × | lateef quits (~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com) (Quit: lateef) |
| 04:41:06 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 04:41:46 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 252 seconds) |
| 04:42:16 | hackage | pantry 0.5.1.5 - Content addressable Haskell package management https://hackage.haskell.org/package/pantry-0.5.1.5 (MichaelSnoyman) |
| 04:44:59 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 04:47:51 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 04:48:01 | <dcbdan> | this is crazy--ghc can tell you where the program spent all its time _facepalm |
| 04:48:17 | <sm[m]> | well.. |
| 04:48:24 | <Axman6> | sort of |
| 04:48:27 | <sm[m]> | yes, if you can understand it :) |
| 04:48:27 | <Axman6> | someimtes |
| 04:48:36 | <Axman6> | sometimes too* |
| 04:50:21 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 04:50:27 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds) |
| 04:50:28 | <Axman6> | it can get very dillicult to follow in big programs safly. I wish it had a better format that was a bit easier to inspect |
| 04:51:15 | <Axman6> | hmmmmmmmmmm, I have https://downloads.haskell.org/ghc/latest/docs/html/users_guide/profiling.html?highlight=profiling#json-profile-format and https://antonz.org/sqlite-is-not-a-toy-database/ open at the moment, maybe I could just use SQLite for querying the json output |
| 04:52:26 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 04:54:02 | <tpefreedom> | Hi. Do you have any haskell book recommendations? |
| 04:54:06 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 04:54:30 | <sclv> | depends. What do you want |
| 04:54:34 | × | shad0w_ quits (a0ca25a0@160.202.37.160) (Quit: Connection closed) |
| 04:54:47 | <tpefreedom> | I'm new to haskell. |
| 04:56:08 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-shbtzypknmvkwgta) (Quit: Connection closed for inactivity) |
| 04:58:23 | <__minoru__shirae> | tpefreedom: check this post out: https://www.reddit.com/r/haskell/comments/md4btm/good_way_to_learn_haskell/ |
| 04:59:38 | <Axman6> | I've heard good things about Graham Hutton's Programming in Haskell, I learned with Simon Thompson's Haskell: The Craft of Functional Programming (and a university course, and most of my learning was after that course and book) |
| 04:59:53 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds) |
| 05:00:07 | <Axman6> | https://wiki.haskell.org/Books looks relatively up to date |
| 05:05:10 | <tapas> | this is the more up to date one https://haskellbook.com/ |
| 05:05:15 | <tapas> | but hutton's book is good too |
| 05:05:33 | <curiousgay> | I need recommendation for FRP GUI library, there are several such libraries and I'm unsure which one to use |
| 05:05:52 | <dcbdan> | my program spends 20% of time in a size function: Box l r u d | l < r && u < d = (r-l)*(d-u) and 0 otherwise |
| 05:06:07 | <dcbdan> | according to profiling.. does that sound right? |
| 05:07:48 | × | Guest33172 quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 252 seconds) |
| 05:08:22 | <Axman6> | well, that depends a lot on your program, maybe? |
| 05:08:38 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 05:10:19 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 05:11:57 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 05:12:53 | × | Tops2 quits (~Tobias@dyndsl-091-249-083-058.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 05:13:31 | <dcbdan> | judging from the profiling, all the time is spent finding neighbors of boxes on the screen--which calls the size function. so yeah, makes sense |
| 05:13:44 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 05:14:52 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds) |
| 05:14:56 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 05:15:48 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 05:16:40 | <jle`> | anyone have time to help me figure out why Coercible isn't being derived properly in this case? |
| 05:16:42 | <jle`> | https://gist.github.com/mstksg/f0568e8476b4e6075ab1d06376d0d930 |
| 05:17:08 | <jle`> | i've tracked it down to the Coercible having troubles with seeing "functors" being coercible in data vs. newtype |
| 05:19:03 | <jle`> | in this case it sees `F X a` and `G Y a` as being coercible data ('a' phantom), but it can't match `F X` and `G Y` if they appear as type parameters |
| 05:19:14 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 05:19:17 | <jle`> | but only for 'data' wrappers. 'newtype' wrappers are fine |
| 05:19:28 | → | Ngoc joins (2a76264b@42.118.38.75) |
| 05:19:46 | × | Ngoc quits (2a76264b@42.118.38.75) (Client Quit) |
| 05:20:34 | → | Guest33172 joins (~sdrodge@unaffiliated/sdrodge) |
| 05:21:21 | × | Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Quit: CUT THE HARDLINES!!) |
| 05:22:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 05:22:35 | → | Majiir joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 05:23:19 | <Axman6> | do you need explicit role annotations? |
| 05:23:53 | × | nfd quits (~nfd9001@2601:602:77f:1820:144a:da71:587f:e0c7) (Ping timeout: 258 seconds) |
| 05:24:34 | × | dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving) |
| 05:25:15 | <jle`> | Axman6: the roles seem to be inferred as expected |
| 05:25:26 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 05:25:35 | <jle`> | but i did add explicit ones but just matched the ones i already saw inferred :'( |
| 05:25:46 | <jle`> | oh wait |
| 05:25:52 | <Axman6> | :'( |
| 05:25:53 | <Axman6> | :o |
| 05:26:19 | <jle`> | hm, the roles on both IdF and IdF' are the same |
| 05:26:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 05:27:03 | <jle`> | but actually i would have expected them to be represeational representational, but they're representational nominal. which i guess makes sense because who knows what 'f' could be |
| 05:27:32 | <jle`> | but i can't explicitly set it to be representational, ghc doesn't let me for either (makes sense) |
| 05:28:07 | <jle`> | but K1 and KM are both representational phantom, which makes sense |
| 05:28:24 | → | stree joins (~stree@68.36.8.116) |
| 05:28:37 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 05:28:42 | <jle`> | i think a part of it is the fact that once K1 is given as a functor instead of as just the whole saturated type, it switches to checking if the functors are coercible, instead of the actual thing |
| 05:28:44 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection) |
| 05:29:20 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 05:34:02 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds) |
| 05:37:21 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:41:58 | × | havenwood1 quits (~havenwood@139.28.218.148) (Remote host closed the connection) |
| 05:48:58 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 05:49:22 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 05:49:56 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds) |
| 05:55:32 | → | ddellacosta joins (~ddellacos@86.106.143.209) |
| 05:55:41 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 05:58:09 | × | tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving) |
| 05:58:17 | → | GothAlice1 joins (~GothAlice@185.204.1.185) |
| 05:59:16 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:59:47 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 06:00:11 | × | ddellacosta quits (~ddellacos@86.106.143.209) (Ping timeout: 240 seconds) |
| 06:00:13 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 06:04:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 06:04:59 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds) |
| 06:07:10 | × | Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in) |
| 06:08:39 | → | Graypup_ joins (Graypup@lfcode.ca) |
| 06:09:19 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection) |
| 06:09:33 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 06:15:33 | × | dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:20:21 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:24:31 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 06:26:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:29:40 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 06:30:24 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 265 seconds) |
| 06:32:21 | → | openheimer joins (~death__@unaffiliated/death/x-3645061) |
| 06:34:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:34:20 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 06:34:48 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 06:37:04 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 06:38:39 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:2863:3362:bbea:a2d7) |
| 06:42:58 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 06:43:53 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 06:43:57 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 06:44:09 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 06:45:21 | → | Sornaensis joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 06:47:38 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds) |
| 06:48:17 | × | Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 265 seconds) |
| 06:52:18 | × | Guest3407 quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0) |
| 06:52:34 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 06:53:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:53:25 | → | MidAutumnHotaru1 joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 06:55:27 | MidAutumnHotaru1 | is now known as MidAutumnHotaru |
| 06:56:08 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:56:09 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Quit: Leaving.) |
| 06:57:44 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-ydlernjpazveajju) (Quit: Connection closed for inactivity) |
| 06:59:57 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 07:00:13 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 07:00:19 | × | orzo_ quits (joe@lasker.childrenofmay.org) (Ping timeout: 252 seconds) |
| 07:02:22 | → | malumore joins (~malumore@151.62.117.14) |
| 07:03:05 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 07:05:46 | × | ghuntley quits (sid16877@gateway/web/irccloud.com/x-uxfaektgqdodsraa) (Ping timeout: 245 seconds) |
| 07:06:06 | × | milessabin quits (sid86799@gateway/web/irccloud.com/x-paxjngfzvzojnqam) (Read error: Connection reset by peer) |
| 07:06:06 | × | agander_m quits (sid407952@gateway/web/irccloud.com/x-rroevxeabrovpqft) (Read error: Connection reset by peer) |
| 07:06:07 | × | rslima_____ quits (sid26145@gateway/web/irccloud.com/x-ppogivlypnlrjlol) (Read error: Connection reset by peer) |
| 07:06:07 | × | dani- quits (sid341953@gateway/web/irccloud.com/x-dpwgagznzbsmxica) (Read error: Connection reset by peer) |
| 07:06:08 | × | kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-mtjgptufljfbldge) (Read error: Connection reset by peer) |
| 07:06:11 | × | taktoa[c] quits (sid282096@gateway/web/irccloud.com/x-hqelbfbprbiolikb) (Read error: Connection reset by peer) |
| 07:06:11 | × | hazard-pointer_ quits (sid331723@gateway/web/irccloud.com/x-mrkimhdfnvbytrva) (Ping timeout: 245 seconds) |
| 07:06:12 | × | srhb quits (sid400352@NixOS/user/srhb) (Read error: Connection reset by peer) |
| 07:06:12 | × | ocharles quits (sid30093@musicbrainz/user/ocharles) (Read error: Connection reset by peer) |
| 07:06:14 | × | glowcoil quits (sid3405@gateway/web/irccloud.com/x-xeuicresjnitdefg) (Read error: Connection reset by peer) |
| 07:06:18 | → | solvr joins (57e3c46d@87.227.196.109) |
| 07:06:18 | × | gds quits (~user@2a01:4b00:8605:9800:4103:dbd5:9f3c:6103) (Quit: rebooting) |
| 07:06:21 | → | kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-qbvavchptiwverik) |
| 07:06:22 | → | rslima_____ joins (sid26145@gateway/web/irccloud.com/x-bsjjzrtkvhqfkopf) |
| 07:06:22 | → | agander_m joins (sid407952@gateway/web/irccloud.com/x-pursommpxzploatw) |
| 07:06:22 | → | milessabin joins (sid86799@gateway/web/irccloud.com/x-hmfsltgzvlhcmkqq) |
| 07:06:22 | → | ghuntley joins (sid16877@gateway/web/irccloud.com/x-edeyartuzjnymnlf) |
| 07:06:23 | → | dani- joins (sid341953@gateway/web/irccloud.com/x-rsbykznomadfhydo) |
| 07:06:23 | → | hazard-pointer_ joins (sid331723@gateway/web/irccloud.com/x-wushqlykrygajcur) |
| 07:06:27 | → | ocharles joins (sid30093@musicbrainz/user/ocharles) |
| 07:06:27 | → | srhb joins (sid400352@NixOS/user/srhb) |
| 07:06:38 | → | taktoa[c] joins (sid282096@gateway/web/irccloud.com/x-njxvjnpthhvfgqfo) |
| 07:06:40 | → | glowcoil joins (sid3405@gateway/web/irccloud.com/x-kqfefvcmbgehneab) |
| 07:08:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 07:09:16 | hackage | nix-derivation 1.1.2 - Parse and render *.drv files https://hackage.haskell.org/package/nix-derivation-1.1.2 (GabrielGonzalez) |
| 07:10:20 | → | ddellacosta joins (~ddellacos@86.106.143.79) |
| 07:13:21 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 07:13:46 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:14:46 | × | ddellacosta quits (~ddellacos@86.106.143.79) (Ping timeout: 240 seconds) |
| 07:17:22 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 07:19:16 | hackage | fbrnch 0.7.3 - Build and create Fedora package repos and branches https://hackage.haskell.org/package/fbrnch-0.7.3 (JensPetersen) |
| 07:19:31 | × | xff0x quits (~xff0x@2001:1a81:522d:f100:d10d:84ad:4500:2c79) (Ping timeout: 250 seconds) |
| 07:20:16 | → | xff0x joins (~xff0x@2001:1a81:522d:f100:a1a6:5165:5e20:970f) |
| 07:26:30 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:29:56 | × | tomsmeding quits (~tomsmedin@2a03:b0c0:0:1010::767:3001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:31:20 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 07:32:12 | → | Sorna joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 07:35:19 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 07:35:41 | × | Sornaensis quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds) |
| 07:35:49 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 07:36:37 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 07:37:33 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds) |
| 07:38:20 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 07:38:52 | → | LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 07:39:03 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 07:43:13 | → | SaitamaPlus joins (uid272474@gateway/web/irccloud.com/x-cfuxdhlufguvidaj) |
| 07:44:07 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Remote host closed the connection) |
| 07:46:35 | Sorna | is now known as Sornaensis |
| 07:46:45 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 07:49:42 | → | stree joins (~stree@68.36.8.116) |
| 07:51:18 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 07:54:28 | → | idhugo_ joins (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) |
| 07:55:17 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out) |
| 07:55:30 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 07:56:41 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 07:58:03 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 07:58:54 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:8725:827a:4e58:6cfc) |
| 07:59:05 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 08:00:15 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 08:00:16 | Server | sets mode +CLnt |
| 08:00:39 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 08:00:49 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:01:05 | → | Guest55480 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 08:01:54 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:02:31 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:586e:5159:6fa7:bad0) |
| 08:03:51 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:05:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 08:07:49 | → | hiroaki1 joins (~hiroaki@2a02:8108:8c40:2bb8:d207:ae60:71f:5548) |
| 08:08:47 | → | ryxai joins (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) |
| 08:12:05 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 08:12:54 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 08:13:27 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:14:22 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 08:14:41 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:17:05 | <kilolympus> | Thanks a lot monochrom! That helped a ton! |
| 08:17:46 | hackage | haddock-api 2.24.2 - A documentation-generation tool for Haskell libraries https://hackage.haskell.org/package/haddock-api-2.24.2 (alexbiehl) |
| 08:19:16 | hackage | haddock 2.24.2 - A documentation-generation tool for Haskell libraries https://hackage.haskell.org/package/haddock-2.24.2 (alexbiehl) |
| 08:19:21 | → | outerpassage_ joins (outerpassa@2600:3c01::f03c:92ff:fed1:4643) |
| 08:22:01 | × | remedan quits (~remedan@balak.me) (Quit: Bye!) |
| 08:22:01 | → | borne joins (~fritjof@2a06:8782:ffbb:1337:ce73:3416:bcd:fc35) |
| 08:22:47 | → | remedan joins (~remedan@balak.me) |
| 08:23:16 | × | ryxai quits (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:25:54 | → | ryxai joins (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) |
| 08:26:26 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 08:27:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 08:29:52 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 08:31:18 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 08:32:20 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 08:32:37 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 08:36:50 | × | myme quits (~myme@li1406-121.members.linode.com) (Quit: WeeChat 2.7) |
| 08:36:53 | × | ryxai quits (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:39:41 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Ping timeout: 260 seconds) |
| 08:41:06 | × | malumore quits (~malumore@151.62.117.14) (Ping timeout: 240 seconds) |
| 08:44:08 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-divpzqxlqbtjqwfq) |
| 08:44:48 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 08:44:56 | × | openheimer quits (~death__@unaffiliated/death/x-3645061) (Ping timeout: 246 seconds) |
| 08:45:07 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 08:50:26 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 08:51:23 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds) |
| 08:54:55 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 08:56:19 | → | xourt joins (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 08:56:34 | → | plutoniix joins (~q@ppp-27-55-70-219.revip3.asianet.co.th) |
| 08:56:44 | × | plutoniix quits (~q@ppp-27-55-70-219.revip3.asianet.co.th) (Max SendQ exceeded) |
| 08:57:11 | → | plutoniix joins (~q@ppp-27-55-70-219.revip3.asianet.co.th) |
| 08:58:09 | → | Franciman joins (~francesco@host-79-53-62-46.retail.telecomitalia.it) |
| 08:58:19 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 08:59:29 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 09:00:09 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 09:02:29 | → | malumore joins (~malumore@151.62.117.14) |
| 09:03:29 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 09:03:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 09:05:22 | × | drbean_ quits (~drbean@TC210-63-209-87.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 09:06:35 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 09:08:56 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 09:11:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 09:13:19 | nefercheprure | is now known as TMA |
| 09:14:41 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 09:14:46 | → | auiee joins (~auiee@88.155.72.207) |
| 09:15:08 | × | auiee quits (~auiee@88.155.72.207) (Client Quit) |
| 09:16:20 | → | auiee joins (~auiee@88.155.72.207) |
| 09:16:46 | × | todda7 quits (~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) (Ping timeout: 240 seconds) |
| 09:17:04 | → | openheimer joins (~death__@unaffiliated/death/x-3645061) |
| 09:19:46 | → | sdx32 joins (~sdx23@unaffiliated/sdx23) |
| 09:21:10 | × | sdx23 quits (~sdx23@unaffiliated/sdx23) (Ping timeout: 260 seconds) |
| 09:21:39 | × | auiee quits (~auiee@88.155.72.207) (Quit: WeeChat 3.0) |
| 09:21:55 | → | auiee joins (~auiee@88.155.72.207) |
| 09:22:47 | × | auiee quits (~auiee@88.155.72.207) (Client Quit) |
| 09:23:06 | → | auiee joins (~auiee@88.155.72.207) |
| 09:23:25 | × | auiee quits (~auiee@88.155.72.207) (Client Quit) |
| 09:24:28 | → | auiee joins (~auiee@88.155.72.207) |
| 09:25:18 | × | auiee quits (~auiee@88.155.72.207) (Client Quit) |
| 09:25:35 | → | auiee joins (~auiee@88.155.72.207) |
| 09:27:16 | ← | auiee parts (~auiee@88.155.72.207) () |
| 09:27:55 | → | auiee joins (~auiee@88.155.72.207) |
| 09:28:14 | × | auiee quits (~auiee@88.155.72.207) (Client Quit) |
| 09:28:15 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 09:28:32 | → | auiee joins (~auiee@88.155.72.207) |
| 09:28:42 | × | Bigcheese quits (~quassel@unaffiliated/bigcheese) (Ping timeout: 245 seconds) |
| 09:28:46 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 09:29:37 | → | LKoen joins (~LKoen@191.254.88.92.rev.sfr.net) |
| 09:29:59 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 09:31:49 | auiee | is now known as vglfr |
| 09:31:55 | × | vglfr quits (~auiee@88.155.72.207) (Client Quit) |
| 09:32:10 | → | auiee joins (~auiee@88.155.72.207) |
| 09:32:45 | auiee | is now known as vglfr |
| 09:34:15 | → | Bigcheese joins (~quassel@unaffiliated/bigcheese) |
| 09:34:15 | × | vglfr quits (~auiee@88.155.72.207) (Client Quit) |
| 09:34:34 | → | auiee joins (~auiee@88.155.72.207) |
| 09:34:34 | auiee | is now known as vglfr |
| 09:35:37 | → | toorevitimirp joins (~tooreviti@117.182.181.200) |
| 09:37:59 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 09:39:16 | × | vglfr quits (~auiee@88.155.72.207) (Client Quit) |
| 09:39:35 | → | vglfr joins (~auiee@88.155.72.207) |
| 09:41:07 | × | vglfr quits (~auiee@88.155.72.207) (Client Quit) |
| 09:41:21 | → | vglfr joins (~auiee@88.155.72.207) |
| 09:41:40 | × | vglfr quits (~auiee@88.155.72.207) (Client Quit) |
| 09:42:18 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 09:44:20 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 09:46:31 | Edward123 | is now known as EdwardIII |
| 09:48:11 | × | LKoen quits (~LKoen@191.254.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 09:50:05 | × | tessier quits (~treed@kernel-panic/copilotco) (Ping timeout: 260 seconds) |
| 09:51:01 | → | tessier joins (~treed@98.171.210.130) |
| 09:51:01 | × | tessier quits (~treed@98.171.210.130) (Changing host) |
| 09:51:01 | → | tessier joins (~treed@kernel-panic/copilotco) |
| 09:52:10 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 09:55:47 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 09:56:44 | × | toorevitimirp quits (~tooreviti@117.182.181.200) (Remote host closed the connection) |
| 09:57:18 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 09:57:30 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 09:58:07 | → | benkolera joins (uid285671@gateway/web/irccloud.com/x-wpfqxhktxgpaqzio) |
| 09:59:36 | → | toorevitimirp joins (~tooreviti@117.182.181.200) |
| 09:59:55 | × | toorevitimirp quits (~tooreviti@117.182.181.200) (Remote host closed the connection) |
| 10:00:57 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 10:01:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:01:21 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 10:01:54 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 10:02:04 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 10:02:10 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 10:02:43 | <bahamas> | is there a canonical library for making your program configurable (through cli, files, env vars)? |
| 10:02:47 | → | toorevitimirp joins (~tooreviti@117.182.181.200) |
| 10:03:09 | → | fendor joins (~fendor@178.115.129.125.wireless.dyn.drei.com) |
| 10:04:35 | <merijn> | bahamas: All of those at once? |
| 10:05:08 | <merijn> | Because then definitely "no" |
| 10:05:47 | <bahamas> | merijn: I found this one: https://hackage.haskell.org/package/conferer |
| 10:06:38 | <merijn> | bahamas: tbh, my approach would be "define a datatype that is the interface to your program, then implement CLI/file config/env vars independently" |
| 10:06:55 | <merijn> | bahamas: You can use some neat monoid/semigroup tricks to combine configs from different sources |
| 10:07:22 | × | jneira quits (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Ping timeout: 252 seconds) |
| 10:08:51 | <bahamas> | merijn: you mean the App pattern used in conjunction with ReaderT? |
| 10:08:59 | → | Thor007 joins (~Thor007@157.42.17.151) |
| 10:09:23 | <bahamas> | I'm referring just to the "datatype that is the interface" part of what you said |
| 10:09:23 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:09:58 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 240 seconds) |
| 10:10:02 | <merijn> | I mean, the App and ReaderT parts of that are mostly unrelated, tbh |
| 10:10:04 | × | Thor007 quits (~Thor007@157.42.17.151) (Read error: Connection reset by peer) |
| 10:10:49 | <merijn> | What I meant is that if all your application logic is contained in "yourCode :: SomeConfig -> Foo", then "how SomeConfig got made" is completely orthogonal" |
| 10:10:57 | → | stree joins (~stree@68.36.8.116) |
| 10:11:02 | × | toorevitimirp quits (~tooreviti@117.182.181.200) (Remote host closed the connection) |
| 10:11:59 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 10:12:04 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer) |
| 10:13:08 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 10:13:13 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 10:13:34 | <merijn> | bahamas: You can do some tricks like "data Config f = Config { field1 :: f Int, field2 :: f String, field3 :: f Bool }" and then use "Config Last" to get a semigroup instance that keeps the "last" (i.e. rightmost value) |
| 10:13:39 | <bahamas> | merijn: so right now, the library I showed you seems like the easy route, because I don't have to implement any of the logic. |
| 10:14:02 | <merijn> | bahamas: Then can do something like "fileConfig <> envConfig <> cliConfig" and combine them |
| 10:14:02 | <bahamas> | merijn: is your suggestion coming from the idea that this is easy enough to implement not to warrant a library |
| 10:14:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 10:14:20 | → | toorevitimirp joins (~tooreviti@117.182.181.200) |
| 10:14:21 | → | ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 10:14:32 | <merijn> | bahamas: My suggestion is coming from: "automagic libraries never implement their magic the way I'd actually want it" |
| 10:14:49 | <ph88> | how can i find out which exceptions this function can throw ? https://hackage.haskell.org/package/text-1.2.4.1/docs/Data-Text-IO.html#v:hGetContents |
| 10:15:14 | <bahamas> | merijn: I see |
| 10:15:22 | <merijn> | bahamas: I see whole lots of FromConfig and Typeable in that API and that kinda thing makes me *thoroughly* paranoid and uncomfortable |
| 10:15:39 | <merijn> | I'd rather keep control |
| 10:15:42 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) () |
| 10:15:46 | <bahamas> | merijn: why is that? |
| 10:16:07 | <bahamas> | making you uncomfortable I mean |
| 10:16:30 | <merijn> | bahamas: Magic conversions are incredibly brittle. Someone changes a typeclass instance, whoops things parse entirely different. Explicit parsers are great, because you can have multiple versions |
| 10:16:33 | <bahamas> | I guess because of automatic conversion of config to types |
| 10:17:23 | <merijn> | bahamas: Inevitably there will be a time where you wanna run new code in an environment with old configs, so you want new code to parse both old *and* new configurations, and then you're hosed when your magic typeclass version only supports one version |
| 10:17:57 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 10:19:12 | <bahamas> | merijn: ok, I think I see what you mean. |
| 10:19:28 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 10:20:44 | <merijn> | It can be useful for quick and dirty prototypes, but it's a risk to keep in mind |
| 10:22:07 | × | glguy quits (x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer) |
| 10:23:57 | → | glguy joins (x@freenode/staff/haskell.developer.glguy) |
| 10:24:42 | → | Thor007 joins (~Thor007@157.42.17.151) |
| 10:25:02 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 10:25:34 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 10:25:38 | × | Thor007 quits (~Thor007@157.42.17.151) (Remote host closed the connection) |
| 10:25:51 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 10:26:21 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 10:28:32 | → | Thor007 joins (~Thor007@157.42.17.151) |
| 10:29:01 | × | Thor007 quits (~Thor007@157.42.17.151) (Remote host closed the connection) |
| 10:30:23 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 10:30:37 | → | Thor007 joins (~Thor007@157.42.17.151) |
| 10:30:58 | <ph88> | is there a function that will format an IOError into some text ? similar to the text which is visible when an exception is not caught and the program crashes ? |
| 10:32:24 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 10:32:25 | → | tsaka__ joins (~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) |
| 10:32:52 | → | thomas77 joins (9d2a1197@157.42.17.151) |
| 10:33:18 | ← | thomas77 parts (9d2a1197@157.42.17.151) () |
| 10:33:48 | <ph88> | oh maybe i can just call show on it ^^ |
| 10:34:13 | → | thomas77 joins (9d2a1197@157.42.17.151) |
| 10:34:36 | → | ovanr joins (c22a0b1f@194.42.11.31) |
| 10:34:57 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds) |
| 10:36:54 | × | Guest74945 quits (~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:37:38 | × | Thor007 quits (~Thor007@157.42.17.151) (Remote host closed the connection) |
| 10:40:09 | → | Thor007 joins (~Thor007@157.42.17.151) |
| 10:41:45 | → | michalz joins (~user@185.246.204.49) |
| 10:41:50 | → | solvr joins (57e3c46d@87.227.196.109) |
| 10:42:26 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 10:42:28 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 10:42:28 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 10:42:28 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 10:42:45 | → | LKoen joins (~LKoen@191.254.88.92.rev.sfr.net) |
| 10:43:54 | <__minoru__shirae> | merjin: isn't it the other way around? |
| 10:44:20 | <__minoru__shirae> | I mean, usually you write quick and dirty unmaintainable solutions by hand |
| 10:44:44 | <__minoru__shirae> | and libraries are written with maintainability in maind |
| 10:44:51 | <__minoru__shirae> | *in mind |
| 10:45:38 | × | Thor007 quits (~Thor007@157.42.17.151) (Remote host closed the connection) |
| 10:45:39 | <__minoru__shirae> | as a result, libraries are more maintainable and cover more cases than a quick hand-written solution |
| 10:46:43 | → | kritzefitz_ joins (~kritzefit@212.86.56.80) |
| 10:46:59 | × | kritzefitz_ quits (~kritzefit@212.86.56.80) (Client Quit) |
| 10:47:46 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Ping timeout: 240 seconds) |
| 10:48:05 | <__minoru__shirae> | so, if there is a problem of running new code in an environment with old configs, then probably other people had that problem too and solved it and added a solution to some library |
| 10:49:11 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 246 seconds) |
| 10:49:32 | × | toorevitimirp quits (~tooreviti@117.182.181.200) (Remote host closed the connection) |
| 10:49:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:49:51 | → | zclod joins (97436407@151.67.100.7) |
| 10:50:52 | → | toorevitimirp joins (~tooreviti@117.182.181.200) |
| 10:52:42 | → | dunj3 joins (~dunj3@p200300f61714a6525a2c275a27c36a61.dip0.t-ipconnect.de) |
| 10:53:55 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 10:54:06 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 10:57:34 | × | borne quits (~fritjof@2a06:8782:ffbb:1337:ce73:3416:bcd:fc35) (Ping timeout: 258 seconds) |
| 10:59:06 | × | openheimer quits (~death__@unaffiliated/death/x-3645061) (Ping timeout: 260 seconds) |
| 10:59:14 | → | borne joins (~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de) |
| 10:59:59 | → | Alleria joins (~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com) |
| 11:00:23 | Alleria | is now known as Guest863 |
| 11:01:03 | → | openheimer joins (~death__@unaffiliated/death/x-3645061) |
| 11:02:08 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 11:02:29 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:04:28 | × | Guest863 quits (~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 11:07:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:07:16 | → | son0p joins (~son0p@181.58.39.182) |
| 11:07:21 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 11:07:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:08:17 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 11:11:38 | <zclod> | hi, i'm trying to understand if i can use a mutable array reference inside a state monad and do in place updates when needed. here is more or less what im trying to accomplish https://gist.github.com/zclod/c8315fa0102329bebd8e88aac84164e8 i'm doing something fundamentally wrong or is it possible to do it? |
| 11:12:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:12:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:17:11 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 11:18:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:18:11 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:18:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:21:02 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
| 11:21:51 | × | toorevitimirp quits (~tooreviti@117.182.181.200) (Remote host closed the connection) |
| 11:22:20 | → | smctwo joins (~smctwo@86.98.5.100) |
| 11:22:21 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 11:23:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:24:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:25:49 | → | Alleria_ joins (~textual@mskresolve-a.mskcc.org) |
| 11:27:18 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds) |
| 11:30:26 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 11:31:40 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 11:31:46 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 260 seconds) |
| 11:31:59 | → | lateef joins (~lateef@171.121.237.35.bc.googleusercontent.com) |
| 11:32:44 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:33:12 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 11:34:18 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 11:34:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 11:35:06 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 11:35:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:36:17 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds) |
| 11:39:22 | × | smctwo quits (~smctwo@86.98.5.100) (Remote host closed the connection) |
| 11:40:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:40:41 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 11:40:59 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:41:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:44:18 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:45:10 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:45:36 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 11:48:18 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection) |
| 11:49:02 | × | lambda quits (~xiretza@mail.xiretza.xyz) (Quit: WeeChat 3.0) |
| 11:49:04 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 11:49:20 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 11:49:23 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:49:57 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-txjeacswfxemjhpo) |
| 11:50:25 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection) |
| 11:51:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:51:54 | → | lambda joins (~xiretza@mail.xiretza.xyz) |
| 11:52:13 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 11:52:24 | → | ubert1 joins (~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) |
| 11:52:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:53:11 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 11:54:14 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 11:54:58 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 11:57:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:58:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:58:38 | <ClaudiusMaximus> | zclod: runSTUArray is the wrong thing to use in that position, because it creates a new 's' dataflow thread which is not allowed to escape its scope |
| 12:01:10 | × | LKoen quits (~LKoen@191.254.88.92.rev.sfr.net) (Remote host closed the connection) |
| 12:02:27 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 265 seconds) |
| 12:02:31 | → | ddellacosta joins (~ddellacos@86.106.143.66) |
| 12:03:16 | <ClaudiusMaximus> | zclod: I think you want something more like readMemory :: C s (); readMemory = do{ s <- get ; x' <- lift $ readArray (_y s) 0 ; put s{ _x = x' } } |
| 12:03:29 | <ClaudiusMaximus> | zclod: which you can sprinkle with lens if you like |
| 12:04:32 | → | drbean_ joins (~drbean@TC210-63-209-73.static.apol.com.tw) |
| 12:05:28 | → | LKoen joins (~LKoen@191.254.88.92.rev.sfr.net) |
| 12:07:16 | × | ddellacosta quits (~ddellacos@86.106.143.66) (Ping timeout: 252 seconds) |
| 12:07:41 | × | ubert1 quits (~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 12:10:46 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds) |
| 12:12:20 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 12:12:25 | × | benkolera quits (uid285671@gateway/web/irccloud.com/x-wpfqxhktxgpaqzio) (Quit: Connection closed for inactivity) |
| 12:14:42 | × | LKoen quits (~LKoen@191.254.88.92.rev.sfr.net) (Remote host closed the connection) |
| 12:16:42 | × | thomas77 quits (9d2a1197@157.42.17.151) (Ping timeout: 240 seconds) |
| 12:17:48 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 12:18:21 | × | andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 12:18:46 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Ping timeout: 240 seconds) |
| 12:18:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 12:19:17 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 12:20:43 | → | andreas31 joins (~andreas@gateway/tor-sasl/andreas303) |
| 12:22:37 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 12:23:28 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection) |
| 12:24:05 | → | codygman__ joins (~user@47.186.207.161) |
| 12:24:11 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 12:24:24 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:71ef:dee2:f1b7:70aa) (Ping timeout: 258 seconds) |
| 12:26:20 | → | Shadorain joins (uid453914@gateway/web/irccloud.com/x-kxlgtieracwagtls) |
| 12:26:29 | → | clog joins (~nef@bespin.org) |
| 12:29:38 | × | plutoniix quits (~q@ppp-27-55-70-219.revip3.asianet.co.th) (Ping timeout: 246 seconds) |
| 12:30:34 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 12:31:06 | <invaser> | Hi, is there a version of `readFile` that returns Maybe String and not String? I'd like to check in some way if file exists or not |
| 12:31:57 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 12:32:18 | → | stree joins (~stree@68.36.8.116) |
| 12:33:10 | <dminuoso> | invaser: That's not a useful thing to do. |
| 12:33:11 | × | lateef quits (~lateef@171.121.237.35.bc.googleusercontent.com) (Quit: lateef) |
| 12:33:20 | <ovanr> | you can use System.Directory.doesFileExist function |
| 12:33:21 | <dminuoso> | It'd be a toctou race. |
| 12:33:35 | <dminuoso> | Just use `readFile` and catch the exception. |
| 12:34:19 | <invaser> | Oh, ok. Actually I haven't tried catching exceptions before |
| 12:34:32 | <merijn> | @hoogle try |
| 12:34:32 | <lambdabot> | Control.Exception try :: Exception e => IO a -> IO (Either e a) |
| 12:34:32 | <lambdabot> | Control.Exception.Base try :: Exception e => IO a -> IO (Either e a) |
| 12:34:32 | <lambdabot> | System.Directory.Internal.Prelude try :: Exception e => IO a -> IO (Either e a) |
| 12:34:37 | <merijn> | @hoogle catch |
| 12:34:37 | <lambdabot> | Control.Exception catch :: Exception e => IO a -> (e -> IO a) -> IO a |
| 12:34:38 | <lambdabot> | Control.Exception.Base catch :: Exception e => IO a -> (e -> IO a) -> IO a |
| 12:34:38 | <lambdabot> | GHC.IO catch :: Exception e => IO a -> (e -> IO a) -> IO a |
| 12:35:07 | <merijn> | invaser: You can catch it using try and then converting the "Either" into Maybe should be straightforward |
| 12:35:12 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 12:35:27 | <invaser> | Yeah, thanks a lot |
| 12:35:42 | × | borne quits (~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 258 seconds) |
| 12:36:21 | <merijn> | @hoogle IOError |
| 12:36:21 | <lambdabot> | Prelude type IOError = IOException |
| 12:36:21 | <lambdabot> | System.IO.Error type IOError = IOException |
| 12:36:21 | <lambdabot> | GHC.IO.Exception type IOError = IOException |
| 12:36:47 | <merijn> | Probably wanna dig into System.IO/Syste.IO.Error to make sure you only catch doesNotExist errors |
| 12:36:50 | ← | Shadorain parts (uid453914@gateway/web/irccloud.com/x-kxlgtieracwagtls) () |
| 12:37:25 | → | borne joins (~fritjof@83.135.94.174) |
| 12:40:13 | → | Deide joins (~Deide@217.155.19.23) |
| 12:42:12 | → | average joins (uid473595@gateway/web/irccloud.com/x-vfuwwhtirtsamgdh) |
| 12:42:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 12:44:32 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 12:45:10 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:45:25 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:71ef:dee2:f1b7:70aa) |
| 12:47:19 | × | son0p quits (~son0p@181.58.39.182) (Remote host closed the connection) |
| 12:49:56 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 12:50:21 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 12:50:43 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:2863:3362:bbea:a2d7) (Remote host closed the connection) |
| 12:52:16 | hackage | morley-prelude 0.4.0 - A custom prelude used in Morley https://hackage.haskell.org/package/morley-prelude-0.4.0 (pasqu4le) |
| 12:55:07 | → | codygman__ joins (~user@47.186.207.161) |
| 12:55:41 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 12:58:13 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 12:58:42 | → | codygman__ joins (~user@47.186.207.161) |
| 12:59:07 | → | orzo joins (joe@lasker.childrenofmay.org) |
| 13:04:07 | megaTherion_ | is now known as megaTherion |
| 13:04:46 | × | haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 240 seconds) |
| 13:06:24 | × | openheimer quits (~death__@unaffiliated/death/x-3645061) (Quit: openheimer) |
| 13:06:26 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 13:07:01 | → | codygman` joins (~user@47.186.207.161) |
| 13:07:16 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:07:48 | <maerwald> | invaser: what about broken symlinks? |
| 13:08:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d71:c4d6:19f2:8fea) |
| 13:08:16 | → | haritz joins (~hrtz@62.3.70.206) |
| 13:08:17 | × | haritz quits (~hrtz@62.3.70.206) (Changing host) |
| 13:08:17 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 13:09:55 | × | ovanr quits (c22a0b1f@194.42.11.31) (Quit: Connection closed) |
| 13:11:09 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 13:12:51 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:13:02 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 246 seconds) |
| 13:13:56 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:16:10 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:17:29 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 13:18:29 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 13:18:32 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 13:18:32 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 13:19:03 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Client Quit) |
| 13:20:39 | → | Tario joins (~Tario@201.192.165.173) |
| 13:23:47 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 13:27:36 | → | carlomagno joins (~cararell@148.87.23.10) |
| 13:29:36 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:29:52 | × | dunj3 quits (~dunj3@p200300f61714a6525a2c275a27c36a61.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 13:30:30 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:cc2d:7c73:dd8a:fcdb) |
| 13:33:03 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 13:34:21 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 13:36:22 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d71:c4d6:19f2:8fea) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:36:22 | × | zclod quits (97436407@151.67.100.7) (Ping timeout: 240 seconds) |
| 13:37:29 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 245 seconds) |
| 13:39:11 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 13:39:14 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:cc2d:7c73:dd8a:fcdb) (Remote host closed the connection) |
| 13:39:59 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 13:39:59 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 13:40:12 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:40:23 | → | stree joins (~stree@68.36.8.116) |
| 13:43:14 | → | lateef joins (~lateef@171.121.237.35.bc.googleusercontent.com) |
| 13:43:30 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 13:43:51 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 13:45:53 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 13:46:51 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c) |
| 13:48:39 | → | LKoen joins (~LKoen@191.254.88.92.rev.sfr.net) |
| 13:48:55 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:49:22 | → | toorevitimirp joins (~tooreviti@117.182.181.200) |
| 13:49:46 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:50:04 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 13:50:19 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:51:09 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 13:51:30 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:51:31 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:51:52 | → | ajc joins (~ajc@69.231.232.79) |
| 13:53:37 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 13:53:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 13:54:00 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:54:35 | × | Athas quits (athas@2a01:7c8:aaac:1cf:27d:bfc3:53ec:af53) (Quit: ZNC - http://znc.sourceforge.net) |
| 13:54:45 | → | Athas joins (athas@sigkill.dk) |
| 13:55:04 | × | drbean_ quits (~drbean@TC210-63-209-73.static.apol.com.tw) (Ping timeout: 265 seconds) |
| 13:57:38 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 14:02:50 | × | ajc quits (~ajc@69.231.232.79) (Remote host closed the connection) |
| 14:04:29 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-ulkjdnxabzenaocu) |
| 14:05:27 | → | ajc joins (~ajc@69.231.232.79) |
| 14:06:26 | × | haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 252 seconds) |
| 14:09:44 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
| 14:19:53 | → | vpidurr joins (~jmdurr@ool-182e0115.dyn.optonline.net) |
| 14:21:19 | <vpidurr> | Why would turning on heap profiling cause foreignptrs to get collected, without the RTS flags, but same compile flags, I have a leak in GPU memory which is managed in the foreignptr finalizers... (bad practice maybe...) I have tried forcing a GC every iteration but doesn't seem to matter. Hard to find the retainers when profiling causes it to go away |
| 14:21:34 | → | Lycurgus joins (~niemand@98.4.119.196) |
| 14:24:10 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 14:24:41 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 14:27:17 | → | acidjnk_new joins (~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de) |
| 14:28:18 | × | Sornaensis quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds) |
| 14:28:54 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 265 seconds) |
| 14:33:34 | → | bitmagie joins (~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de) |
| 14:36:24 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 14:37:26 | → | atraii joins (~atraii@71.195.200.245) |
| 14:38:41 | <merijn> | vpidurr: Maybe the pointers are getting floated out |
| 14:39:03 | <merijn> | profiling has a tendency to break/disable float out optimisations |
| 14:40:18 | <vpidurr> | thanks, I'll read about that some |
| 14:41:25 | → | ovanr joins (2efb6496@46.251.100.150) |
| 14:42:21 | <ukari> | I use a hack way to process error handling, but I think there might be some way to do this prettyly, does any one knows how to do this? Line 142 ~ Line 210 https://github.com/ukari/vulkan/blob/e48d5e5c1246c1058b6d05b79eb1a0301d091ccd/utils/src/Vulkan/Utils/Reflect.hs#L142 |
| 14:42:22 | × | atraii quits (~atraii@71.195.200.245) (Ping timeout: 252 seconds) |
| 14:43:40 | × | jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao) |
| 14:44:05 | → | jrm joins (~jrm@freebsd/developer/jrm) |
| 14:46:07 | <ukari> | for `instance Convert ShaderStage`, the function `from :: Text -> ShaderStage` has a `unsupport` case which throw a exception. and I check the unsupport value to determine which parser (for parse and for fail) to choose by catching the exception in guard |
| 14:46:22 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 14:47:26 | × | bitmagie quits (~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de) (Quit: bitmagie) |
| 14:47:43 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 14:48:27 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 14:49:18 | <c_wraith> | ukari: the first thing to do is change the type of from in your Convert class to something like Text -> Either Text a |
| 14:49:42 | → | mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 14:50:21 | <c_wraith> | ukari: then fix all the instances to return that type appropriately instead of throwing ConvertException |
| 14:50:37 | L29Ah | summons catchToMaybe :: Exception e => IO a -> (e -> ()) -> IO (Maybe a) |
| 14:50:56 | <c_wraith> | L29Ah: that's not the right answer here - none of this needs to involve IO in the first place |
| 14:51:13 | <L29Ah> | c_wraith: i'm in fact referring to the earlier question about readFile |
| 14:51:20 | <c_wraith> | Ah, ok |
| 14:51:23 | <ukari> | oh |
| 14:52:04 | <dminuoso> | maerwald: Oh that's a cute one too. I was rather thinking about the file being deleted in between, but that example is much more potent. |
| 14:52:49 | <c_wraith> | ukari: basically, replace use of unsafePerformIO and exceptions with Either. Hackiness gone! |
| 14:52:52 | <L29Ah> | it would be cute to use mere pattern-matching as an argument to catch a specific subset of exceptions, but it results in throwing a pattern-match exception on all the others if you want to avoid "otherwise" and "Bool" boilerplate |
| 14:53:17 | <L29Ah> | maybe there's some magic i'm unaware of? |
| 14:53:34 | → | haritz joins (~hrtz@62.3.70.206) |
| 14:53:35 | × | haritz quits (~hrtz@62.3.70.206) (Changing host) |
| 14:53:35 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 14:53:37 | <L29Ah> | except TH, of course ;) |
| 14:53:37 | <dminuoso> | L29Ah: Use an exception hierarchy. |
| 14:53:48 | <dminuoso> | Then you can catch an intermediate exception type |
| 14:53:58 | → | petersen joins (~petersen@redhat/juhp) |
| 14:54:17 | <merijn> | L29Ah: That's already possible, the paper linked from Control.Exception explains how :p |
| 14:54:53 | <L29Ah> | it refers to three papers and links none of them :[ |
| 14:55:02 | <merijn> | The bottom one, iirc? |
| 14:55:08 | <merijn> | Google Scholar is your friend :) |
| 14:55:21 | <merijn> | https://scholar.google.com/scholar?q=extensible+exceptions |
| 14:55:37 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 14:55:47 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 248 seconds) |
| 14:56:01 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Quit: leaving) |
| 14:56:07 | <merijn> | You can also try reverse engineering my example in https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Exceptions/Class.hs and the corresponding Exceptions.hs, but that comes with 0 warranties and could use some fixing |
| 14:56:34 | <L29Ah> | We use cookies to ensure that we give you the best experience on our website. |
| 14:56:35 | → | azure1 joins (~azure@103.154.230.130) |
| 14:56:35 | <L29Ah> | Learn more |
| 14:56:36 | <L29Ah> | It seems your browser doesn't support them and this affects the site functionality. |
| 14:56:37 | <L29Ah> | lol thanks ACM |
| 14:56:45 | <merijn> | L29Ah: Oh |
| 14:56:50 | <merijn> | L29Ah: Never click the main link |
| 14:56:54 | <L29Ah> | yeah |
| 14:56:58 | <merijn> | Those always go to academic publishers and paywalls |
| 14:57:07 | <merijn> | You want the PDF links on the right instead |
| 14:57:27 | <merijn> | (or click all versions and scan those for pdfs) |
| 14:57:32 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 14:58:13 | <dminuoso> | Exception hierarchies like Simon Marlow described is an art only few libraries seem to contain./. |
| 14:58:29 | <dminuoso> | It seems, that Haskellers in general are not very good at IO exceptions. |
| 14:58:33 | <dminuoso> | Perhaps we have given them too much power? |
| 14:58:53 | <merijn> | dminuoso: Reading is hard :( |
| 14:59:06 | <L29Ah> | thanks, just the thing i needed |
| 14:59:13 | → | Sorny joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 14:59:39 | <dminuoso> | merijn: Perhaps there is something to be said about exception hierarchies as a first-class language feature.. |
| 14:59:59 | <dminuoso> | If you have to read a paper to learn about the idiom, then that makes adoption much harder.. |
| 15:00:05 | <c_wraith> | The utility isn't that high in general. 99% of the time, a single exception type per library suffices. I'm not going to dig into internals of your library to care why it failed in most cases. I just want to know what library failed. |
| 15:00:27 | <Lycurgus> | semantic clash between practical computing and purism |
| 15:00:56 | <Lycurgus> | result in the typical antipattern of simple thing fuggled |
| 15:01:49 | <Lycurgus> | verwickelt, flubbed, usw |
| 15:01:53 | × | Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
| 15:02:02 | <c_wraith> | If calling show on your exception gives me some text that's useful to log, my needs are covered. |
| 15:02:09 | <Lycurgus> | *resulting |
| 15:03:06 | × | haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 240 seconds) |
| 15:03:15 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 15:06:26 | × | __minoru__shirae quits (~shiraeesh@109.166.56.243) (Ping timeout: 246 seconds) |
| 15:06:30 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 260 seconds) |
| 15:07:24 | → | azure1 joins (~azure@103.154.230.130) |
| 15:08:53 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 15:09:58 | <mananamenos> | hi, so im browsing internet with people opinions about when to use or not use your own type classes and there are a lot of opinions :) When you have some domain pattern and there are at least 2 types which will use shared funcionality, isn't this an good enough argument to have a typeclass? Other way would be to pass that typeclass's method as an explicit argument along but this seems inferior as I may need to manually |
| 15:09:59 | <mananamenos> | pass many times and with typeclass implementation I get it done implicitly. |
| 15:10:30 | <dminuoso> | mananamenos: This is a tough and old question. One common answer you might get, is that typeclasses are best used when they have some laws attached to them. |
| 15:11:00 | <mananamenos> | dminuoso, yeah, I've read that in many places |
| 15:11:27 | <mananamenos> | I see, that's why I asked, cause reading a bit I could not get any good conclusion for this question |
| 15:11:38 | <dminuoso> | As a general rule of thumb, Id avoid typeclasses as much as you can. |
| 15:11:40 | <merijn> | mananamenos: I think the tagless final approach is good/useful |
| 15:12:14 | <merijn> | mananamenos: See, for example: https://serokell.io/blog/tagless-final |
| 15:12:20 | → | vilpan joins (~0@212.117.1.172) |
| 15:12:24 | <dminuoso> | The reason is, overusing typeclasses leads to hard-to-follow code (and it can make error diagnostics much worse) |
| 15:12:32 | <dminuoso> | But underusing them has little downsides |
| 15:13:33 | <mananamenos> | thank you |
| 15:20:23 | nshepperd2 | . o O (https://paste.zlkj.in/uploads/a9122d639308be0b/ExceptionSynonyms.hs) |
| 15:21:26 | × | acidjnk_new quits (~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 15:21:52 | → | acidjnk_new joins (~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de) |
| 15:22:18 | <dminuoso> | nshepperd2: neat! |
| 15:23:43 | <nshepperd2> | oh wait, it has a bug, whnfEither isn't the right function |
| 15:24:03 | <nshepperd2> | but the basic idea should work :) |
| 15:24:48 | <L29Ah> | unsafePerformIO is slow :( |
| 15:25:37 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 15:25:45 | <nshepperd2> | is it? |
| 15:26:00 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 15:26:25 | <merijn> | Depends how you define slow :p |
| 15:26:58 | × | Lycurgus quits (~niemand@98.4.119.196) (Quit: Exeunt) |
| 15:26:59 | <merijn> | nshepperd2: That's just reinventing spoon, btw |
| 15:27:15 | <merijn> | @hackage spoon |
| 15:27:15 | <lambdabot> | https://hackage.haskell.org/package/spoon |
| 15:27:50 | × | vilpan quits (~0@212.117.1.172) (Ping timeout: 252 seconds) |
| 15:28:14 | <shapr> | as opposed to fork? |
| 15:29:27 | <merijn> | Probably a matrix reference :p |
| 15:30:46 | × | acidjnk_new quits (~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 15:30:51 | × | raid quits (macbookpro@irc-1.coding4.coffee) (Quit: I was eaten by zombies) |
| 15:30:59 | × | PyroLagus quits (PyroLagus@i.have.ipv6.on.coding4coffee.org) (Quit: ZNC / WeeChat) |
| 15:31:03 | × | haasn quits (~nand@mpv/developer/haasn) (Remote host closed the connection) |
| 15:31:16 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 15:31:37 | → | PyroLagus joins (PyroLagus@i.have.ipv6.on.coding4coffee.org) |
| 15:32:46 | × | yushyin quits (krIxGtPfeq@karif.server-speed.net) (Ping timeout: 240 seconds) |
| 15:32:54 | <nshepperd2> | https://paste.zlkj.in/uploads/1507248b13fd5e06/ExceptionSynonyms.v2.hs works |
| 15:33:28 | → | haasn joins (~nand@mpv/developer/haasn) |
| 15:33:56 | <nshepperd2> | merijn: yes but more fun because PATTERNS |
| 15:34:46 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 15:35:11 | × | titusg quits (~user@158.229.6.51.dyn.plus.net) (Ping timeout: 240 seconds) |
| 15:35:12 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 15:35:42 | → | raid joins (macbookpro@irc-1.coding4.coffee) |
| 15:36:03 | × | toorevitimirp quits (~tooreviti@117.182.181.200) (Remote host closed the connection) |
| 15:39:19 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds) |
| 15:39:53 | → | zaquest joins (~notzaques@5.128.210.178) |
| 15:40:06 | <L29Ah> | 18:25:45]<nshepperd2> is it? |
| 15:40:07 | <L29Ah> | i recall it taking tens of milliseconds and stopping all other threads while it works |
| 15:40:29 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 15:41:00 | <ski> | nshepperd2 : reminds me of "Exceptional syntax" by Nick Benton,Andrew Kennedy in 2001. see e.g. <http://lambda-the-ultimate.org/node/1193>. OCaml implements this as being able to match on an exception in `match' (their `case'). as if one could match on `throw <pat>' in Haskell |
| 15:41:46 | × | xourt quits (d4c620ea@212-198-32-234.rev.numericable.fr) (Quit: Connection closed) |
| 15:41:56 | → | alx741 joins (~alx741@186.178.108.68) |
| 15:42:05 | <ski> | the paper also suggests that not only having `try :: Exception e => IO a -> IO (Either e a)' and `catch :: Exception e => IO a -> (e -> IO a) -> IO a', but also an operation `catchBind :: Exception e => IO a -> (e -> IO b) -> (a -> IO b) -> IO b' would likely be useful |
| 15:42:56 | → | vilpan joins (~0@212.117.1.172) |
| 15:44:03 | <ski> | the point is to allow the `a -> IO b' part (which might contain a tail-recursive calle, e.g.) to stay out of the exception handler, while avoiding needing to construct a `Maybe' or `Either' (or thunk, in Haskell that'd be having an action that produces an action) inside the handler, only to take it apart / use it up, once outside, in the best case perhaps hoping for fusion |
| 15:44:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 15:44:47 | <nshepperd2> | oh, good point the IsException pattern should be called Throw |
| 15:44:49 | <ski> | (they also argue for such an operation, on the grounds that it makes more sense to state the semantics, and laws, in terms of such an operation) |
| 15:44:59 | <nshepperd2> | foo (Throw (e :: ArithException)) = ... :) |
| 15:45:05 | ski | nods |
| 15:45:42 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:46:20 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
| 15:46:26 | → | yushyin joins (QWFouZJprr@karif.server-speed.net) |
| 15:48:22 | <ski> | mananamenos : another (supplemental) answer is that you probably don't need/want a type-class, in case you're not going to write operations which are polymorphic over it, that are overloaded over all instances of it (or more advanced versions, like existentials, or higher-rank, involving the type class) |
| 15:48:28 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:48:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:48:39 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 15:48:44 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds) |
| 15:48:51 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 15:48:59 | <ski> | btw, note that |
| 15:49:20 | <ski> | @where existential-antipattern |
| 15:49:20 | <lambdabot> | "Haskell Antipattern: Existential Typeclass" by Luke Palmer at <http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/> |
| 15:49:37 | <ski> | contains relevant advice, even if you weren't planning to use existentials |
| 15:52:02 | <ski> | (sometimes it's better (e.g. more flexible, which might be a good thing, depending), to just pass around a dictionary of "methods", of functions, actions, .. however, this allows one to pass multiple different such, for a particular type. type classes prevent this, ensures one pick a single unique, canonical, selection of methods, for a given type. this may be one reason to choose to use a type class) |
| 15:55:23 | nshepperd2 | is mildly disturbed by how 'spoonWithHandles handles a = unsafePerformIO $ deepseq a (Just `fmap` return a) `catches` handles' throws the exception as part of the construction of the 'deepseq a (Just `fmap` return a)' IO action instead of just using 'evaluate . force' and throwing it during execution |
| 15:57:44 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 15:57:50 | × | codygman` quits (~user@47.186.207.161) (Ping timeout: 265 seconds) |
| 15:58:26 | → | codygman` joins (~user@209.251.131.98) |
| 16:01:38 | → | stree joins (~stree@68.36.8.116) |
| 16:03:46 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 240 seconds) |
| 16:04:05 | × | michalz quits (~user@185.246.204.49) (Remote host closed the connection) |
| 16:05:00 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 16:05:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 16:06:21 | → | fendor_ joins (~fendor@178.165.129.109.wireless.dyn.drei.com) |
| 16:08:51 | × | fendor quits (~fendor@178.115.129.125.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 16:09:57 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 260 seconds) |
| 16:11:02 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 16:11:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 16:13:03 | → | j joins (jess@freenode/staff/jess) |
| 16:14:11 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-ulkjdnxabzenaocu) (Quit: Connection closed for inactivity) |
| 16:14:23 | j | is now known as jess |
| 16:14:52 | → | tpefreedom joins (~tsomers@184-157-240-110.dyn.centurytel.net) |
| 16:15:23 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 246 seconds) |
| 16:18:26 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:18:47 | × | codygman` quits (~user@209.251.131.98) (Read error: Connection reset by peer) |
| 16:18:54 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 16:19:06 | → | codygman` joins (~user@209.251.131.98) |
| 16:19:38 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 16:19:45 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 16:20:23 | → | shellin joins (bab725d7@186.183.37.215) |
| 16:21:04 | × | ovanr quits (2efb6496@46.251.100.150) (Quit: Connection closed) |
| 16:21:58 | × | juri__ quits (~juri@79.140.115.110) (Read error: Connection reset by peer) |
| 16:23:14 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 16:23:57 | → | juri_ joins (~juri@79.140.115.110) |
| 16:24:59 | × | leothrix quits (~leothrix@elastic/staff/leothrix) (Ping timeout: 252 seconds) |
| 16:24:59 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 16:25:48 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 16:28:37 | × | juri_ quits (~juri@79.140.115.110) (Read error: Connection reset by peer) |
| 16:30:00 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 16:30:03 | → | juri_ joins (~juri@79.140.115.110) |
| 16:30:08 | → | fuzzypixelz joins (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 16:30:34 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 276 seconds) |
| 16:31:33 | × | juri_ quits (~juri@79.140.115.110) (Read error: Connection reset by peer) |
| 16:32:47 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 16:35:02 | → | juri_ joins (~juri@178.63.35.222) |
| 16:35:28 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 16:35:46 | × | TommyC quits (~TommyC@unaffiliated/sepulchralbloom) (Ping timeout: 276 seconds) |
| 16:38:06 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 240 seconds) |
| 16:39:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:40:53 | → | haritz joins (~hrtz@62.3.70.206) |
| 16:40:53 | × | haritz quits (~hrtz@62.3.70.206) (Changing host) |
| 16:40:53 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 16:41:34 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-ppzodhfedmzajmuw) |
| 16:41:39 | × | caubert_ quits (~caubert@136.244.111.235) (Quit: WeeChat 3.0) |
| 16:41:53 | → | caubert joins (~caubert@136.244.111.235) |
| 16:42:06 | → | lekc joins (~Neuromanc@unaffiliated/neuromancer) |
| 16:42:15 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Disconnected by services) |
| 16:42:21 | lekc | is now known as Neuromancer |
| 16:43:18 | × | lateef quits (~lateef@171.121.237.35.bc.googleusercontent.com) (Quit: lateef) |
| 16:43:42 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 16:44:03 | → | bitmagie joins (~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de) |
| 16:44:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 16:44:38 | × | bitmagie quits (~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de) (Client Quit) |
| 16:48:08 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 16:48:09 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 16:50:14 | → | electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 16:53:49 | → | solvr joins (57e3c46d@87.227.196.109) |
| 16:55:38 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 16:56:30 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:56:34 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 252 seconds) |
| 16:57:29 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c) |
| 16:59:17 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 17:00:28 | × | GothAlice1 quits (~GothAlice@185.204.1.185) (Remote host closed the connection) |
| 17:00:40 | × | codygman` quits (~user@209.251.131.98) (Remote host closed the connection) |
| 17:01:01 | → | codygman__ joins (~user@209.251.131.98) |
| 17:05:02 | → | leothrix joins (~leothrix@elastic/staff/leothrix) |
| 17:06:01 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 17:08:01 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 17:11:37 | → | conal joins (~conal@192.145.118.235) |
| 17:13:47 | × | sphalerite quits (~sphalerit@NixOS/user/lheckemann) (Quit: reboot time!) |
| 17:13:58 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 17:15:34 | × | fuzzypixelz quits (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Connection closed) |
| 17:16:36 | → | evrt joins (~evrt@37.120.211.188) |
| 17:17:31 | → | solidus-river joins (~mike@174.127.249.180) |
| 17:22:57 | → | sphalerite joins (~sphalerit@NixOS/user/lheckemann) |
| 17:23:26 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 17:23:30 | × | raoul90 quits (~raoulhida@nomnomnomnom.co.uk) (Quit: The Lounge - https://thelounge.github.io) |
| 17:23:44 | → | fuzzypixelz joins (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 17:23:50 | → | raoul90 joins (~raoulhida@nomnomnomnom.co.uk) |
| 17:25:36 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 17:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 17:27:29 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 17:30:06 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 17:33:39 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 17:33:52 | <fendor_> | do we have a tool to explain how cabal selects a version of a package? |
| 17:34:20 | ← | shellin parts (bab725d7@186.183.37.215) () |
| 17:34:29 | <monochrom> | Usually -v does |
| 17:34:42 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:34:42 | × | xff0x quits (~xff0x@2001:1a81:522d:f100:a1a6:5165:5e20:970f) (Ping timeout: 258 seconds) |
| 17:34:56 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 17:36:02 | → | xff0x joins (~xff0x@2001:1a81:524d:5b00:4876:a583:9de0:62c1) |
| 17:36:36 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 17:37:22 | <fendor_> | I rather mean, why a certain package was chosen. However, introducing a version constraint to pick exactly the version I am wondering about why it wasn't included prints the solver trace, so I guess that is good enough |
| 17:37:31 | × | Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 260 seconds) |
| 17:39:16 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 17:42:41 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 17:43:13 | → | TommyC joins (~TommyC@unaffiliated/sepulchralbloom) |
| 17:43:44 | <jacks2> | hi. what csv package is usually recommended? I found csv, cassava, csv-conduit, lens-csv |
| 17:44:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 17:44:28 | <Clint> | i've never tried lens-csv, but i've preferred csv-conduit to the other two |
| 17:48:53 | <jacks2> | thanks I'll take a look |
| 17:48:54 | → | pupuupup joins (~pupuupup@node-139.pool-125-24.dynamic.totinternet.net) |
| 17:49:21 | × | vilpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:51:02 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-bojmzmfrraongbrw) (Quit: Connection closed for inactivity) |
| 17:51:06 | <monochrom> | I use cassava. I haven't needed conduit things. |
| 17:51:32 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:56:22 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 17:56:46 | × | malumore quits (~malumore@151.62.117.14) (Ping timeout: 240 seconds) |
| 17:56:49 | → | codygman` joins (~user@47.186.207.161) |
| 17:57:29 | → | mercury__ joins (~pluto@117.222.69.222) |
| 17:58:17 | × | codygman__ quits (~user@209.251.131.98) (Ping timeout: 246 seconds) |
| 17:59:02 | × | fuzzypixelz quits (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
| 17:59:17 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 17:59:47 | <dsal> | I'm trying to implement something like `cp` and using optparse-applicative to parse the things. I have a thing that converts `[String] -> Either String Stuff` but it's not obvious how to use that to grab arguments. Does anyone know how to fail this thing? |
| 18:00:36 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 18:01:09 | <dsal> | There's an `eitherReader` for parsing a single thing, but I want to fail after consuming `some x arguments` |
| 18:02:08 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 18:03:44 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 18:04:02 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 252 seconds) |
| 18:04:07 | × | pupuupup quits (~pupuupup@node-139.pool-125-24.dynamic.totinternet.net) (Quit: leaving) |
| 18:04:38 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 18:04:56 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 246 seconds) |
| 18:05:04 | <dsal> | I'm using `error` in the meantime, which is kind of gross. |
| 18:06:18 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 18:08:32 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 18:08:42 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 18:09:17 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 18:09:29 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 18:10:25 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 18:12:21 | <maerwald> | dsal: `fail`? |
| 18:13:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 18:13:50 | <NemesisD> | if i've got a bunch of functions (A -> A) and i want to apply them sequentially and at certain points, use the current value to decide which function to apply next, is there a way to do that using monad syntax? |
| 18:14:26 | <dsal> | maerwald: I'm not sure what this `fail` is. There are ways to fail specific individual parsers, but... it's not a monad, though it is alternative. |
| 18:16:09 | <maerwald> | dsal: MonadFail |
| 18:16:16 | <maerwald> | @hoogle fail |
| 18:16:16 | <lambdabot> | Prelude fail :: MonadFail m => String -> m a |
| 18:16:16 | <lambdabot> | Control.Monad fail :: MonadFail m => String -> m a |
| 18:16:16 | <lambdabot> | Control.Monad.Fail fail :: MonadFail m => String -> m a |
| 18:16:37 | <dsal> | Yeah, but this isn't a monad. It's just Applicative. |
| 18:16:37 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 18:17:20 | <geekosaur> | it's optparse-applicative, not optparse-monadic |
| 18:17:31 | <maerwald> | maybe you want monadic then |
| 18:17:56 | <geekosaur> | that said, mempty might count as a "fail" using Alternative |
| 18:18:00 | <maerwald> | where you can fail based on a value |
| 18:18:18 | × | mercury__ quits (~pluto@117.222.69.222) (Quit: leaving) |
| 18:18:39 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 18:18:49 | <maerwald> | but there's no optparse-monadic :D |
| 18:19:37 | <dsal> | I just feel like I'm missing something because I can ask for `many (argument p ...)` and it'll fail if there's not a p, but I don't know how to absorb those and *then* fail. |
| 18:19:47 | <maerwald> | not sure why... might need to hand-write the --help page, but otherwise it should be fine |
| 18:20:15 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 18:20:35 | <maerwald> | you can also write better eastereggs with monad |
| 18:20:42 | <maerwald> | but I'm not being helpful here |
| 18:22:10 | <dsal> | I'm just going to have to go with error for now, though that's kind of terrible. At least my command works. |
| 18:23:02 | → | stree joins (~stree@68.36.8.116) |
| 18:23:23 | <dsal> | I'm also getting an incomplete patterns that seems like a bug. It looks like a bad interaction with view patterns. |
| 18:23:50 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 252 seconds) |
| 18:23:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:25:00 | → | viko joins (~v@179.189.150.66) |
| 18:25:07 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 18:26:35 | <dsal> | I can't do error. I'll just push this further down to the execution, which is differently gross, but it's at least it's not a terrible experience. |
| 18:26:38 | ← | viko parts (~v@179.189.150.66) ("Closing Window") |
| 18:28:09 | × | Alleria_ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds) |
| 18:29:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:29:45 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:29:46 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 18:30:10 | Alleria | is now known as Guest2317 |
| 18:30:34 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 18:31:13 | → | madjestic joins (~Android@77-63-118-123.mobile.kpn.net) |
| 18:33:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 18:34:03 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:35:18 | <dsal> | `s3up: SQLite3 returned ErrorError while attempting to perform step: not an error` -- thanks |
| 18:36:11 | → | madjest15 joins (~Android@86-88-72-244.fixed.kpn.net) |
| 18:36:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:37:29 | × | madjestic quits (~Android@77-63-118-123.mobile.kpn.net) (Ping timeout: 246 seconds) |
| 18:38:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 18:38:40 | → | ubert joins (~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) |
| 18:40:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:42:18 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 18:43:28 | → | jakobrs joins (~user@178.92-220-14.customer.lyse.net) |
| 18:43:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:45:07 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 18:45:18 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 18:45:56 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 18:46:17 | → | stree joins (~stree@68.36.8.116) |
| 18:46:22 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 18:46:54 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 18:47:39 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 18:48:27 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 18:49:50 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 18:49:55 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 18:50:16 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Ping timeout: 240 seconds) |
| 18:50:42 | <ukari> | I noticed that fused-effects has some exception related functions, is there any benefit to do the error processing in a effect framework? |
| 18:51:53 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 18:52:02 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 18:52:17 | → | stree joins (~stree@68.36.8.116) |
| 18:54:02 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 18:56:26 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds) |
| 18:58:31 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 18:58:47 | → | hexfive joins (~hexfive@50.35.83.177) |
| 18:59:05 | × | idhugo_ quits (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 19:00:31 | → | fendor joins (~fendor@178.115.128.9.wireless.dyn.drei.com) |
| 19:02:38 | × | fendor_ quits (~fendor@178.165.129.109.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 19:06:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 19:10:46 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 19:11:17 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-liltwjwdbyukjqkf) |
| 19:11:43 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 19:12:29 | → | Wuzzy joins (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) |
| 19:13:49 | → | georgewhite joins (~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce) |
| 19:14:46 | × | tsaka__ quits (~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) (Ping timeout: 240 seconds) |
| 19:14:49 | × | jakobrs quits (~user@178.92-220-14.customer.lyse.net) (Quit: WeeChat 3.0) |
| 19:15:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 19:15:08 | → | tsaka__ joins (~torstein@2a02:587:1b11:6000:3679:6212:ccf6:706f) |
| 19:15:26 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:c89b:d650:ef2f:7e78) |
| 19:15:58 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 19:16:33 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Read error: Connection reset by peer) |
| 19:16:54 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 19:19:23 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 19:19:46 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds) |
| 19:20:12 | → | electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 19:20:52 | × | jespada_ quits (~jespada@90.254.243.187) (Quit: Leaving) |
| 19:21:51 | → | fendor_ joins (~fendor@91.141.3.198.wireless.dyn.drei.com) |
| 19:23:57 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds) |
| 19:24:11 | × | fendor quits (~fendor@178.115.128.9.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 19:25:36 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 19:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 19:26:39 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-zbdmgvvkmwccqscd) |
| 19:29:52 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-cywskmhzzerhrnmx) |
| 19:30:27 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 19:30:34 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection) |
| 19:31:12 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 19:34:52 | → | Zone77xx joins (Zone77xx@gateway/vpn/privateinternetaccess/zone77xx) |
| 19:35:21 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds) |
| 19:37:47 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 19:39:58 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 19:39:58 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:40:20 | × | tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving) |
| 19:43:01 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 19:44:56 | → | mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 19:48:31 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 19:51:07 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 19:53:51 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:e589:d5cd:80fb:258d) (Ping timeout: 258 seconds) |
| 19:54:46 | hackage | scroll-list 1.0.0.0 - This package provides functions for relocate an item within a list. https://hackage.haskell.org/package/scroll-list-1.0.0.0 (fesanmar) |
| 19:56:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 19:57:34 | <NemesisD> | what is the purpose of the (->) r instance of Monad? |
| 19:58:20 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 19:58:48 | <geekosaur> | showing off >.> |
| 19:59:06 | <geekosaur> | it's a Reader without the newtype |
| 19:59:41 | <maerwald> | there was a quickcheck example somewhere in haddock accidentially using that instance and thus creating a bug |
| 20:00:13 | <maerwald> | so much for type safety :p |
| 20:00:28 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 20:00:59 | <NemesisD> | i'm trying to compose a bunch of functions sequentially in monad syntax and my code actually compiled with that instance but basically only used the last line of the monad. i'm wondering if there's a better way |
| 20:02:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 20:03:17 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:03:39 | <geekosaur> | sounds like you used it wrong, you want >>= not >> |
| 20:05:14 | <NemesisD> | yeah. i guess what i'm looking for is a way to sequentially compose several A -> A in monad syntax in a way that the monad passes in the incremental result to each action in the monad |
| 20:06:52 | <NemesisD> | foo, bar :: A -> A; baz :: A -> A; baz = do foo; if cond then bar else id |
| 20:07:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 20:08:00 | <geekosaur> | that's what I meant by >>= vs. >> |
| 20:08:15 | <geekosaur> | each semicolon is a >>, which means the results are *not* chained |
| 20:08:51 | <NemesisD> | yeah, i think (->) is the wrong monad then. if i have to use >>= to thread things through i may as well not do it at all |
| 20:09:38 | → | desophos joins (~desophos@2601:249:1680:a570:41ae:9414:653c:8c31) |
| 20:10:06 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-divpzqxlqbtjqwfq) (Quit: Connection closed for inactivity) |
| 20:11:49 | <NemesisD> | i think what i've got here is an endomorphism right? |
| 20:11:50 | × | average quits (uid473595@gateway/web/irccloud.com/x-vfuwwhtirtsamgdh) (Quit: Connection closed for inactivity) |
| 20:15:09 | <geekosaur> | actually what's going on is the same value is passed in to all the functions. (again, compare Reader) |
| 20:15:49 | <geekosaur> | if you want an endomorphism, there's newtype Endo but that's a monoid, not a monad |
| 20:16:18 | geekosaur | is getting out of his depth though, so take some of this with a grain of salt |
| 20:17:42 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection) |
| 20:18:19 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 20:18:36 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 20:19:16 | hackage | apply-unordered 1.0 - Apply a function to an argument specified by a type level Nat https://hackage.haskell.org/package/apply-unordered-1.0 (MichaelSloan) |
| 20:19:39 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection) |
| 20:19:53 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 20:20:08 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 20:20:16 | hackage | apply-unordered-mono 1.0 - Apply functions to arguments in an unordered type-directed fashion https://hackage.haskell.org/package/apply-unordered-mono-1.0 (MichaelSloan) |
| 20:22:29 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds) |
| 20:22:41 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 20:22:45 | → | average joins (uid473595@gateway/web/irccloud.com/x-yeliqztanvhgdqqg) |
| 20:32:38 | × | georgewhite quits (~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce) (Remote host closed the connection) |
| 20:33:30 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 20:34:47 | × | Guest33172 quits (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.0) |
| 20:36:13 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 20:36:49 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 20:37:19 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:38:05 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 20:38:10 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 265 seconds) |
| 20:39:03 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:40:03 | → | psygate joins (~psygate@unaffiliated/psygate) |
| 20:40:08 | × | madjest15 quits (~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out) |
| 20:40:21 | × | shailangsa quits (~shailangs@host165-120-169-19.range165-120.btcentralplus.com) (Ping timeout: 245 seconds) |
| 20:40:49 | <NemesisD> | oh i guess i can do this with RebindableSyntax where (>>) = flip (.) and return = id |
| 20:43:06 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 20:44:13 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 20:45:26 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 20:45:30 | → | fendor joins (~fendor@91.141.0.159.wireless.dyn.drei.com) |
| 20:47:38 | × | fendor_ quits (~fendor@91.141.3.198.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 20:48:06 | → | Lycurgus joins (~niemand@98.4.119.196) |
| 20:48:45 | tapas | is now known as nix |
| 20:48:51 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 20:49:41 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 20:50:06 | nix | is now known as emilypi |
| 20:50:08 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection) |
| 20:50:33 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 20:52:45 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 20:53:16 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 258 seconds) |
| 20:53:48 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 252 seconds) |
| 20:54:38 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 20:55:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 20:55:09 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 20:55:12 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:55:27 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 20:59:09 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:59:26 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3cda:a97e:6bbd:c240) |
| 20:59:55 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 265 seconds) |
| 20:59:59 | <desophos> | my program does a lot of converting between base 10 and base 2. i use `printf "%0*b"` to convert a decimal integer to a fixed-length string of binary digits. my problem is that i profiled my program and printf is >60% of my runtime, even memoized over both parameters. does anyone have any suggestions for a way to optimize this process? thanks! |
| 21:00:00 | <desophos> | https://paste.tomsmeding.com/NaYeVv9w |
| 21:00:02 | → | vglfr joins (~auiee@37.73.198.149) |
| 21:00:24 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 21:00:51 | × | vglfr quits (~auiee@37.73.198.149) (Client Quit) |
| 21:01:09 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 21:01:46 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 240 seconds) |
| 21:02:12 | → | Shailangsa_ joins (~shailangs@host86-161-220-11.range86-161.btcentralplus.com) |
| 21:03:39 | <dmj`> | desophos: don't use printf, convert from base 2 / base 10 w/o going to a String, and then use bytestring builder IO to display it |
| 21:04:11 | × | conal quits (~conal@192.145.118.235) (Ping timeout: 240 seconds) |
| 21:04:26 | → | conal joins (~conal@64.71.133.70) |
| 21:05:51 | <desophos> | hmm i'll look into that, thanks! i'm not actually displaying it though, i'm concatenating many of these fixed-length strings and using them for other operations (they represent a genome) |
| 21:06:27 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 21:06:55 | <desophos> | the genome is the concatenation of many decimal integers in fixed-length binary form |
| 21:07:16 | × | Shailangsa_ quits (~shailangs@host86-161-220-11.range86-161.btcentralplus.com) () |
| 21:07:31 | <desophos> | it doesn't technically have to be a String as long as it's a list of digits |
| 21:09:39 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 21:11:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:12:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:12:59 | <desophos> | regardless, it does look like bytestring is what i want. thanks! |
| 21:13:38 | → | stree joins (~stree@68.36.8.116) |
| 21:15:18 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 21:15:39 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 21:16:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 21:17:14 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 21:19:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3cda:a97e:6bbd:c240) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:19:56 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 245 seconds) |
| 21:19:57 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 21:20:23 | → | stree joins (~stree@68.36.8.116) |
| 21:20:34 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 21:21:13 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal) |
| 21:25:06 | <samthecoy[m]> | what library(ies) are currently considered best practice for database stuff in haskell? happy with sqlite or postgres |
| 21:25:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:29:09 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 21:30:51 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 21:31:11 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:31:53 | × | ubert quits (~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 21:32:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:33:45 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 21:34:52 | → | fendor_ joins (~fendor@91.141.1.158.wireless.dyn.drei.com) |
| 21:35:13 | → | Sorna joins (~Sornaensi@85.203.36.113) |
| 21:36:07 | → | shailangsa joins (~shailangs@host86-161-220-11.range86-161.btcentralplus.com) |
| 21:36:10 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 21:36:58 | × | fendor quits (~fendor@91.141.0.159.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 21:37:10 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 21:37:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 21:37:28 | <DigitalKiwi> | nobody ever got fired for going with acid-state |
| 21:39:04 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 265 seconds) |
| 21:39:29 | <Lycurgus> | Fascinating, as someone used to say. |
| 21:40:03 | <davean> | DigitalKiwi: uh |
| 21:40:32 | <Lycurgus> | there is a a putative "the" acid-state (lemih) but it's a database in the same way as a lisp image is |
| 21:41:11 | <Lycurgus> | dunno but would be surprised if it had relational algebra |
| 21:41:34 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds) |
| 21:41:58 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 265 seconds) |
| 21:42:14 | <Lycurgus> | samthecoy[m], https://hackage.haskell.org/packages/#cat:PostgreSQL has some pg stuffs and dorlowd has a practical simple pg access example |
| 21:43:07 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:43:18 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 21:44:44 | <davean> | DigitalKiwi: I have no idea why you say people don't get fired for acid state |
| 21:45:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 21:47:28 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 21:47:38 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 21:47:46 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 21:49:42 | <Lycurgus> | looks like that link doesn't go to the pg pkgs section but the link at the top for pg does |
| 21:50:05 | <DigitalKiwi> | acid state or acid-state? do you work at DO? |
| 21:50:56 | <DigitalKiwi> | cause i've heard some things about that place lol |
| 21:51:21 | → | __minoru__shirae joins (~shiraeesh@77.94.25.214) |
| 21:52:07 | <DigitalKiwi> | davean: anyway, it's tongue in cheek :P |
| 21:53:05 | <davean> | Given how serious of a problem acid-state is I don't find it very funny |
| 21:53:19 | <Lycurgus> | https://hackage.haskell.org/package/acid-state lemmih is just listed as the maintainer |
| 21:53:38 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 21:53:39 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 21:54:03 | <Lycurgus> | it's a huge joke, right up there with NoSQL |
| 21:54:17 | <Lycurgus> | hs'ers meet rdbms |
| 21:54:32 | → | lateef joins (~lateef@171.121.237.35.bc.googleusercontent.com) |
| 21:55:55 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 21:56:37 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:56:47 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 21:57:58 | × | alx741 quits (~alx741@186.178.108.68) (Ping timeout: 240 seconds) |
| 21:58:03 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 21:58:42 | × | Guest2317 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 252 seconds) |
| 22:00:26 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:5db6:fce7:f7bb:58c2) |
| 22:00:28 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:02:10 | <sm[m]> | samthecoy: postgresql-simple or persistent would be the most popular probably |
| 22:04:54 | <LiaoTao> | Is there a name for the phenomenon where you learn Haskell and then keep comparing every other language to it and go "I wish it could be more like Haskell" at least once a day? |
| 22:04:58 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 22:05:46 | Lycurgus | calls it the FP version of Once Upon a Mattress |
| 22:05:51 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 22:05:55 | <maerwald> | "excitement"/ |
| 22:06:01 | <maerwald> | don't worry, it passes |
| 22:06:15 | <LiaoTao> | maerwald, When? I'm on my fifth year now |
| 22:06:46 | × | Lycurgus quits (~niemand@98.4.119.196) (Quit: Exeunt) |
| 22:06:55 | <monochrom> | It dampens for some people, strengthens for other people. |
| 22:07:01 | × | borne quits (~fritjof@83.135.94.174) (Ping timeout: 260 seconds) |
| 22:07:48 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 22:07:59 | <monochrom> | As for names and possibly also analysis, I think you can refer to psychological studies of religious people. |
| 22:09:30 | <DigitalKiwi> | davean: https://duckduckgo.com/?q=nobody+ever+got+fired+for+buying+ibm&t=ffab&ia=web |
| 22:10:17 | → | borne joins (~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de) |
| 22:10:29 | <DigitalKiwi> | first result; "Nobody Gets Fired For Buying IBM". But They Should. |
| 22:10:31 | × | LKoen quits (~LKoen@191.254.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 22:11:06 | <davean> | I'm familiar with the snowclone, but people DO get fired for using acid-state |
| 22:12:24 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 22:12:25 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 265 seconds) |
| 22:12:31 | → | alx741 joins (~alx741@186.178.109.203) |
| 22:14:05 | <DigitalKiwi> | were you fired |
| 22:14:47 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 22:15:22 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 22:15:50 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 22:16:20 | → | jedai joins (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr) |
| 22:17:27 | <bbhoss> | is there a ghci command that does info + doc in one? |
| 22:17:33 | <bbhoss> | or can I make my own? |
| 22:18:34 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 22:20:32 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 22:20:36 | → | Alleria joins (~textual@2603-7000-3040-0000-b985-54e1-77ea-63be.res6.spectrum.com) |
| 22:20:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 265 seconds) |
| 22:21:00 | Alleria | is now known as Guest86381 |
| 22:21:55 | <davean> | bbhoss: you cna write your own with :def |
| 22:24:38 | → | conal joins (~conal@64.71.133.70) |
| 22:28:56 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 22:30:05 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 22:30:37 | × | AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:4437:674c:6409:2223) (Quit: WeeChat 2.9) |
| 22:31:20 | → | AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:4cfc:952:318a:ea87) |
| 22:33:55 | × | Benzi-Junior quits (~BenziJuni@dsl-149-67-143.hive.is) (Ping timeout: 276 seconds) |
| 22:34:23 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 22:34:23 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 22:34:23 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 22:37:52 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:38:17 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
| 22:38:31 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 22:38:55 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 22:39:12 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:43:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 22:46:35 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 22:48:57 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 22:49:09 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 22:50:15 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:51:05 | × | jonatan quits (~nate@h77-53-70-163.cust.a3fiber.se) (Ping timeout: 265 seconds) |
| 22:51:28 | × | MarcelineVQ quits (~anja@198.254.208.159) (Quit: q) |
| 22:51:49 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 22:51:50 | × | average quits (uid473595@gateway/web/irccloud.com/x-yeliqztanvhgdqqg) (Quit: Connection closed for inactivity) |
| 22:52:04 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 22:52:58 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 22:53:54 | × | fendor_ quits (~fendor@91.141.1.158.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:54:37 | <maralorn> | Uniaika: Because of the openssl security fix the powers that be had decided that we can‘t get build capacities to test the Haskell builds today. So sadly you‘ll need to wait another week until the new hlint version lands. :-( |
| 22:54:48 | → | OscarZ joins (~oscarz@95.175.104.239) |
| 22:59:03 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 22:59:12 | → | acidjnk_new joins (~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de) |
| 22:59:26 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/) |
| 23:05:33 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 23:05:57 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 23:07:12 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:c89b:d650:ef2f:7e78) (Quit: Leaving) |
| 23:07:31 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) |
| 23:07:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:08:11 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 23:08:16 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 23:09:23 | × | Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving) |
| 23:09:47 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 246 seconds) |
| 23:10:11 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 23:11:59 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 252 seconds) |
| 23:14:55 | × | canta quits (~canta@cvm0.d5k.one) (Quit: WeeChat 2.8) |
| 23:14:58 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 23:15:12 | → | canta joins (~canta@cvm0.d5k.one) |
| 23:19:52 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 23:24:46 | hackage | esqueleto 3.4.1.1 - Type-safe EDSL for SQL queries on persistent backends. https://hackage.haskell.org/package/esqueleto-3.4.1.1 (parsonsmatt) |
| 23:27:43 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 23:27:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 23:28:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 23:28:55 | <dcbdan> | 1 |
| 23:29:30 | × | dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving) |
| 23:31:34 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:34:05 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 23:34:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:35:41 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 23:37:26 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 23:39:29 | × | borne quits (~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 252 seconds) |
| 23:40:52 | → | stree joins (~stree@68.36.8.116) |
| 23:41:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:43:34 | × | jrm quits (~jrm@freebsd/developer/jrm) (Ping timeout: 252 seconds) |
| 23:46:16 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 23:47:01 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8f7:80aa:e3bc:f79d) |
| 23:48:18 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds) |
| 23:51:25 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 23:54:09 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 23:56:42 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 23:57:16 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 260 seconds) |
All times are in UTC on 2021-03-26.