Logs: freenode/#haskell
| 2021-03-09 19:15:18 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 19:15:49 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-09 19:15:50 | × | knupfer quits (~Thunderbi@200116b82c21c8006dfd000a63365920.dip.versatel-1u1.de) (Ping timeout: 258 seconds) |
| 2021-03-09 19:16:34 | × | APugNamedPugsley quits (~13052@2601:58a:8300:f6a0:7997:4344:263:2e7d) (Read error: Connection reset by peer) |
| 2021-03-09 19:16:59 | → | APugNamedPugsley joins (~13052@2601:58a:8300:f6a0:7997:4344:263:2e7d) |
| 2021-03-09 19:18:15 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-09 19:18:42 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-09 19:19:06 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 19:19:14 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 245 seconds) |
| 2021-03-09 19:21:33 | × | augnun quits (~augnun@2804:14c:658b:41bb:5bdd:b325:740e:cfd8) (Ping timeout: 260 seconds) |
| 2021-03-09 19:21:38 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-03-09 19:24:58 | × | arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 260 seconds) |
| 2021-03-09 19:25:44 | × | conal quits (~conal@192.145.118.105) (Quit: Computer has gone to sleep.) |
| 2021-03-09 19:27:29 | → | conal joins (~conal@192.145.118.105) |
| 2021-03-09 19:32:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-09 19:34:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-09 19:35:39 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
| 2021-03-09 19:38:23 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 2021-03-09 19:38:57 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-09 19:39:27 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 2021-03-09 19:40:20 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-09 19:43:11 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 19:43:14 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 264 seconds) |
| 2021-03-09 19:44:58 | → | knupfer joins (~Thunderbi@200116b82c21c800a44c879b15e2d0dc.dip.versatel-1u1.de) |
| 2021-03-09 19:49:19 | → | minoru_shiraeesh joins (~shiraeesh@46.34.206.251) |
| 2021-03-09 19:49:21 | × | B-J quits (~BenziJuni@dsl-149-64-40.hive.is) (Ping timeout: 256 seconds) |
| 2021-03-09 19:49:46 | × | mayleesia quits (4d0db16a@dynamic-077-013-177-106.77.13.pool.telefonica.de) (Quit: Connection closed) |
| 2021-03-09 19:50:50 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-09 19:51:11 | × | dm9 quits (~weechat@p200300dcb71b99004a5d60fffe655171.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1) |
| 2021-03-09 19:51:33 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds) |
| 2021-03-09 19:52:14 | × | Yumasi quits (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2021-03-09 19:53:53 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-09 19:56:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 20:00:24 | → | Lycurgus joins (~niemand@98.4.114.199) |
| 2021-03-09 20:00:56 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 20:01:50 | × | APugNamedPugsley quits (~13052@2601:58a:8300:f6a0:7997:4344:263:2e7d) (Ping timeout: 264 seconds) |
| 2021-03-09 20:03:05 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 20:03:34 | ← | cohn parts (~noone@unaffiliated/cohn) () |
| 2021-03-09 20:05:07 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-09 20:05:58 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 276 seconds) |
| 2021-03-09 20:07:12 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-09 20:07:14 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-09 20:08:22 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-09 20:10:05 | × | hiroaki1 quits (~hiroaki@2a02:8108:8c40:2bb8:1b99:a7f4:2a9d:6474) (Ping timeout: 240 seconds) |
| 2021-03-09 20:10:33 | → | hiroaki1 joins (~hiroaki@2a02:8108:8c40:2bb8:45f7:66d:ca9:84) |
| 2021-03-09 20:10:50 | × | Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 2021-03-09 20:10:52 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 2021-03-09 20:13:19 | → | cohn joins (~noone@unaffiliated/cohn) |
| 2021-03-09 20:13:26 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-09 20:14:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 2021-03-09 20:17:56 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-09 20:18:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-09 20:18:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
| 2021-03-09 20:20:16 | × | conal quits (~conal@192.145.118.105) (Ping timeout: 276 seconds) |
| 2021-03-09 20:20:54 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-09 20:21:09 | → | ADG1089__ joins (~aditya@223.226.235.12) |
| 2021-03-09 20:23:25 | <koz_> | infinisil: Wow that's some next-level terrible. |
| 2021-03-09 20:24:36 | <koz_> | Is there any good... or any _any_ indicator of what `withFile` might throw? |
| 2021-03-09 20:26:20 | <glguy> | koz_: that module throws IOError |
| 2021-03-09 20:26:40 | <koz_> | glguy: You mean the withFile function throws IOError? |
| 2021-03-09 20:26:46 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 276 seconds) |
| 2021-03-09 20:26:55 | <glguy> | the stuff in that module including withFile |
| 2021-03-09 20:27:01 | <koz_> | glguy: OK, thanks. |
| 2021-03-09 20:29:05 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95704cd799b0a8031c33.dip0.t-ipconnect.de) |
| 2021-03-09 20:29:40 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-09 20:30:46 | → | electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-09 20:30:55 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-09 20:31:54 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-09 20:32:20 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-09 20:32:38 | <tomsmeding> | infinisil: why is that terrible? |
| 2021-03-09 20:33:01 | <tomsmeding> | I mean, I don't like OverloadedStrings on the whole, but I don't see why this particular instance is trouble |
| 2021-03-09 20:33:30 | <koz_> | tomsmeding: Because it defers compile-time problems to runtime needlessly. |
| 2021-03-09 20:33:41 | <koz_> | A quasi-quoter would have been a much better choice. |
| 2021-03-09 20:34:00 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 2021-03-09 20:34:05 | <infinisil> | read in general should be avoided since it's partial, and throws a terrible error if it fails (Exception: Prelude.read: no parse) |
| 2021-03-09 20:34:31 | <myShoggoth> | No parse, no peace |
| 2021-03-09 20:34:37 | <koz_> | Also this. |
| 2021-03-09 20:34:40 | <infinisil> | It's especially bad in a library |
| 2021-03-09 20:34:51 | <koz_> | It's basically a very bad take at a runtime-failing quasi-quoter. |
| 2021-03-09 20:35:00 | <infinisil> | I don't really care what you do in your application, but in a library that has over 1000 downloads a day, I don't want any read's |
| 2021-03-09 20:35:10 | <tomsmeding> | I see, and I agree :p |
| 2021-03-09 20:35:33 | <infinisil> | 1000 downloads over the last 30 days * |
| 2021-03-09 20:35:51 | × | Athas quits (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-03-09 20:35:55 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-09 20:36:06 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-09 20:36:06 | <tomsmeding> | though the problem is lessened by you actually having to write the string in your source file; it won't automatically coerce String to IP fortunately |
| 2021-03-09 20:36:28 | <tomsmeding> | that's a thing you'd be able to do in C++, and it's the worst |
| 2021-03-09 20:36:29 | <koz_> | Yeah, but it still needlessly allows garbage which is compile-time checkable for validity. |
| 2021-03-09 20:36:40 | <koz_> | And C++ is not a good example of design... anything. |
| 2021-03-09 20:36:49 | × | Lycurgus quits (~niemand@98.4.114.199) (Quit: Exeunt) |
| 2021-03-09 20:37:03 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-09 20:37:03 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-09 20:37:03 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-09 20:37:17 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:4318:6e8b:64bc:9113) (Ping timeout: 272 seconds) |
| 2021-03-09 20:37:22 | → | Athas joins (~athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 2021-03-09 20:37:24 | <tomsmeding> | it works well for coding competitions |
| 2021-03-09 20:37:27 | <infinisil> | In my case, I used the IsString instance for a test case |
| 2021-03-09 20:38:21 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-09 20:38:39 | <tomsmeding> | (and working well for coding competitions implies, or if not that at least suggests, being bad for any general purpose coding where you have non-zero engineering standards) |
| 2021-03-09 20:38:41 | → | forgottenone joins (~forgotten@176.42.29.216) |
All times are in UTC.