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