Logs: freenode/#haskell
| 2021-03-13 16:41:39 | <monochrom> | I trust that this is not where you think you need the inverse translation, because that would reflect a dumb use of ExceptT. |
| 2021-03-13 16:42:38 | × | dwt quits (~dwt@2601:2c6:8080:618:7090:bcee:c3c7:64ac) (Ping timeout: 264 seconds) |
| 2021-03-13 16:43:13 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-13 16:43:58 | → | borne joins (~fritjof@200116b86494d20065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-13 16:44:53 | × | raiaq quits (~raiaq@2a02:120b:2c2d:2310:94ae:9dd9:49dc:99b2) (Quit: WeeChat 3.0.1) |
| 2021-03-13 16:45:03 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-13 16:46:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-13 16:48:14 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-13 16:48:58 | <maerwald> | The problem is this: 1. either you have non-fine grained error sum type -> you never know what stuff your function may *really* gonna throw, so you just broke catching, 2. you have fine-grained error sum types (per module or even per functions), then you constantly have to translate erros to your other sum types (or convert to string and give up) |
| 2021-03-13 16:49:44 | <maerwald> | open sum types fix this, but at other costs (e.g. type inference) |
| 2021-03-13 16:50:56 | <maerwald> | whatever you do, ergonomics aren't too great |
| 2021-03-13 16:51:41 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-13 16:53:08 | <monochrom> | I think if you s/non-fine-grained/has possibilities you don't actually produce/ , I understand. |
| 2021-03-13 16:53:26 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-03-13 16:53:30 | <maerwald> | yes |
| 2021-03-13 16:54:29 | <maerwald> | in backend settings, you often don't really catch anything, but just translate the errors to a HTTP response, so an app-wide sum type can be feasible |
| 2021-03-13 16:54:32 | <maerwald> | but not generally |
| 2021-03-13 16:56:51 | → | joseph joins (~joseph@cpe-24-208-140-96.insight.res.rr.com) |
| 2021-03-13 16:56:52 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-13 16:57:07 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 276 seconds) |
| 2021-03-13 16:57:14 | joseph | is now known as Guest72818 |
| 2021-03-13 16:57:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-13 16:57:52 | <maerwald> | that's why I like IO exceptions + testing them in your unit tests |
| 2021-03-13 16:58:15 | <maerwald> | not fool proof, but good enough for me |
| 2021-03-13 16:58:22 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-13 16:59:38 | × | swarmcollective quits (~joseph@cpe-24-208-140-96.insight.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-13 17:02:19 | × | poscat quits (~poscat@123.112.148.153) (Ping timeout: 276 seconds) |
| 2021-03-13 17:03:13 | → | poscat joins (~poscat@123.112.148.153) |
| 2021-03-13 17:05:50 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-13 17:06:00 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-13 17:08:29 | → | bergey` joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-13 17:14:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-13 17:15:42 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 17:16:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-13 17:16:07 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-03-13 17:17:01 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Client Quit) |
| 2021-03-13 17:17:15 | × | bergey` quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-13 17:19:00 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-03-13 17:19:59 | <fendor> | why doesnt lambdabot report about package uploads anymore? |
| 2021-03-13 17:20:10 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 17:21:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-13 17:21:28 | <geekosaur> | wasn't lambdabot, it was hackagebot. and I think it started when freenode started having netsplits, and the bot needs to be restarted |
| 2021-03-13 17:22:01 | <geekosaur> | Last seen : Mar 02 10:08:40 2021 (1w 4d 7h ago) |
| 2021-03-13 17:22:46 | <geekosaur> | mniip, around? can you kick the hackage bot? |
| 2021-03-13 17:22:47 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Client Quit) |
| 2021-03-13 17:24:03 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 17:25:27 | → | Paks joins (~paks@c-69-136-183-189.hsd1.il.comcast.net) |
| 2021-03-13 17:25:29 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Client Quit) |
| 2021-03-13 17:28:30 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 17:31:15 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Client Quit) |
| 2021-03-13 17:31:34 | × | Hobbestigrou1 quits (~Hobbestig@195.140.213.38) (Remote host closed the connection) |
| 2021-03-13 17:35:35 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-13 17:39:46 | → | elusive joins (~Jeanne-Ka@static-198-54-134-171.cust.tzulo.com) |
| 2021-03-13 17:40:02 | <geekosaur> | @tell mniip the hackage bot is stuck, can you restart it? |
| 2021-03-13 17:40:03 | <lambdabot> | Consider it noted. |
| 2021-03-13 17:40:36 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-13 17:40:51 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 17:42:45 | <dmj`> | monochrom: In avg xs = sum xs / length xs, If sum gets evaluated first, then it would be true that the entire list is forced into memory, not just the spine. |
| 2021-03-13 17:43:22 | × | zomq quits (8077caa7@natp-128-119-202-167.wireless.umass.edu) (Ping timeout: 240 seconds) |
| 2021-03-13 17:43:51 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Client Quit) |
| 2021-03-13 17:43:57 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-yuuljllgcbbnaiwc) |
| 2021-03-13 17:45:19 | <monochrom> | Oh, heh, that. |
| 2021-03-13 17:45:23 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 17:46:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-13 17:47:35 | → | pehjota joins (~pehjota@37.120.211.188) |
| 2021-03-13 17:48:21 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 272 seconds) |
| 2021-03-13 17:48:59 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-13 17:51:28 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-13 17:51:51 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 3.1) |
| 2021-03-13 17:52:23 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-13 17:53:16 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-03-13 17:53:37 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-13 17:54:24 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-13 17:54:34 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-13 17:55:42 | × | blueonyx quits (59cc8bbd@unaffiliated/blueonyx) (Ping timeout: 240 seconds) |
| 2021-03-13 17:55:45 | × | Benzi-Junior quits (~BenziJuni@88-149-64-40.du.xdsl.is) (Ping timeout: 246 seconds) |
| 2021-03-13 17:56:03 | → | Benzi-Junior joins (~BenziJuni@88-149-67-143.du.xdsl.is) |
| 2021-03-13 17:57:17 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-13 17:58:02 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 17:59:15 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-13 17:59:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 264 seconds) |
| 2021-03-13 18:00:37 | <dmj`> | monochrom: it seems "sum" is always evaluated first ... |
| 2021-03-13 18:01:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-13 18:01:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-13 18:01:58 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Client Quit) |
| 2021-03-13 18:02:15 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-13 18:05:56 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-qhbpzrlqpyrqpcwa) (Quit: Connection closed for inactivity) |
| 2021-03-13 18:06:25 | <c_wraith> | I wouldn't trust that observation. That's the sort of thing GHC is free to change whenever the optimizer feels like it |
| 2021-03-13 18:06:36 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 246 seconds) |
| 2021-03-13 18:07:26 | → | Vra joins (8077cab5@natp-128-119-202-181.wireless.umass.edu) |
| 2021-03-13 18:09:20 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 18:10:06 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-eyjzukijciociqrd) |
| 2021-03-13 18:10:36 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Client Quit) |
| 2021-03-13 18:11:02 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-13 18:11:10 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-13 18:11:45 | → | conal joins (~conal@192.145.118.125) |
| 2021-03-13 18:11:47 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-13 18:13:28 | <dmj`> | c_wraith: sure, I'd love to see an example |
| 2021-03-13 18:15:27 | × | borne quits (~fritjof@200116b86494d20065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-03-13 18:18:07 | → | geekosaur joins (82650c7a@130.101.12.122) |
All times are in UTC.