Logs: liberachat/#haskell
| 2021-06-02 15:53:30 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-02 15:56:24 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-02 15:58:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-02 15:59:50 | → | Guest9 joins (~Guest9@43.241.144.19) |
| 2021-06-02 16:00:10 | × | FreeVariable quits (~Thunderbi@wifi-unifr-140-170.unifr.ch) (Quit: FreeVariable) |
| 2021-06-02 16:03:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-02 16:05:05 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-02 16:08:12 | → | xff0x joins (~xff0x@2001:1a81:5307:4e00:7012:84d9:dce9:1f3f) |
| 2021-06-02 16:14:46 | × | bfrk quits (~Thunderbi@200116b845fca000f97ff890167a6943.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-06-02 16:17:50 | × | bigLama quits (~user@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2021-06-02 16:19:30 | <boxscape> | :t when |
| 2021-06-02 16:19:31 | <lambdabot> | Applicative f => Bool -> f () -> f () |
| 2021-06-02 16:19:32 | <boxscape> | hm |
| 2021-06-02 16:19:37 | <boxscape> | I'd prefer Bool -> f a -> f () |
| 2021-06-02 16:26:14 | → | Topsi1 joins (~Tobias@2001:638:708:1a::d5) |
| 2021-06-02 16:27:11 | → | Topsi2 joins (~Tobias@dyndsl-095-033-027-146.ewe-ip-backbone.de) |
| 2021-06-02 16:27:12 | × | Topsi1 quits (~Tobias@2001:638:708:1a::d5) (Read error: Connection reset by peer) |
| 2021-06-02 16:27:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-02 16:30:17 | × | Topsi quits (~Tobias@dyndsl-095-033-027-146.ewe-ip-backbone.de) (Ping timeout: 264 seconds) |
| 2021-06-02 16:31:31 | → | ixlun joins (~matthew@109.249.184.235) |
| 2021-06-02 16:33:42 | → | heath joins (~heath@user/heath) |
| 2021-06-02 16:33:53 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-02 16:37:23 | × | pounce quits (~pounce@facebook/engineering/pounce) (Ping timeout: 252 seconds) |
| 2021-06-02 16:38:18 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-02 16:40:08 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-02 16:40:32 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 16:43:32 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Remote host closed the connection) |
| 2021-06-02 16:46:01 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-02 16:46:49 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-02 16:49:16 | → | bartavelle joins (~bartavell@2001:41d0:1:744c::1) |
| 2021-06-02 16:49:39 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-02 16:50:04 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 16:50:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-02 16:50:41 | × | rk04 quits (~rk04@user/rajk) (Client Quit) |
| 2021-06-02 16:51:55 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-02 16:52:48 | → | econo joins (uid147250@user/econo) |
| 2021-06-02 16:54:12 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-02 16:54:42 | × | amk quits (~amk@176.61.106.150) (Ping timeout: 244 seconds) |
| 2021-06-02 16:56:20 | → | amk joins (~amk@176.61.106.150) |
| 2021-06-02 16:56:37 | × | jrm quits (~jrm@156.34.187.65) (Ping timeout: 272 seconds) |
| 2021-06-02 16:57:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-02 17:00:15 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-02 17:00:20 | × | nectar quits (~nectar@117.222.64.74) (Quit: leaving) |
| 2021-06-02 17:00:58 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-02 17:02:20 | × | shailangsa quits (~shailangs@host86-186-136-74.range86-186.btcentralplus.com) () |
| 2021-06-02 17:03:15 | → | lemmih_ joins (~lemmih@2406:3003:2072:44:f18c:82dd:8503:4c59) |
| 2021-06-02 17:03:17 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-02 17:03:30 | <infinisil> | :t when . void |
| 2021-06-02 17:03:31 | <lambdabot> | error: |
| 2021-06-02 17:03:31 | <lambdabot> | • Couldn't match type ‘f ()’ with ‘Bool’ |
| 2021-06-02 17:03:31 | <lambdabot> | Expected type: f a -> Bool |
| 2021-06-02 17:03:51 | <infinisil> | Well, something like that |
| 2021-06-02 17:05:05 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-02 17:05:11 | <boxscape> | yeah |
| 2021-06-02 17:05:33 | × | lemmih quits (~lemmih@2406:3003:2072:44:a0fb:4a2e:4541:1c1d) (Ping timeout: 244 seconds) |
| 2021-06-02 17:07:32 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-02 17:07:59 | × | Iryon quits (~Iryon@2a02:a31a:a045:3500:c000:ef2e:b473:4083) (Remote host closed the connection) |
| 2021-06-02 17:10:23 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-02 17:10:30 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 264 seconds) |
| 2021-06-02 17:10:46 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 17:10:58 | → | dss1 joins (~dss@shepsoft.net) |
| 2021-06-02 17:11:40 | ← | dss1 parts (~dss@shepsoft.net) () |
| 2021-06-02 17:12:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-02 17:14:14 | × | chddr quits (~Thunderbi@31.148.23.125) (Ping timeout: 252 seconds) |
| 2021-06-02 17:14:32 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-02 17:14:44 | × | Guest9 quits (~Guest9@43.241.144.19) (Quit: Connection closed) |
| 2021-06-02 17:16:28 | × | sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Quit: ZNC - http://znc.in) |
| 2021-06-02 17:16:47 | → | Guest9 joins (~Guest9@43.241.144.19) |
| 2021-06-02 17:18:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-02 17:18:51 | <dminuoso> | boxscape: `() <$` tends to read nicely |
| 2021-06-02 17:19:07 | <dminuoso> | Perhaps it's just because I used a lot |
| 2021-06-02 17:19:27 | <boxscape> | hm yeah that doesn't look too bad |
| 2021-06-02 17:19:46 | <dminuoso> | Also it doesn't need an extra import. :) |
| 2021-06-02 17:20:11 | <boxscape> | true |
| 2021-06-02 17:20:34 | <dminuoso> | Mmm, that's actually a silly argument, since you need Control.Monad anyway for when |
| 2021-06-02 17:20:43 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-02 17:20:55 | × | ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-06-02 17:21:05 | <boxscape> | it makes the explicit import list a bit shorter if you use it :) |
| 2021-06-02 17:21:18 | <boxscape> | s/if you use it/if you have one |
| 2021-06-02 17:21:20 | <dminuoso> | Actually Ive been switching to explicit import lists |
| 2021-06-02 17:21:27 | <dminuoso> | Tend to prefer it much |
| 2021-06-02 17:21:45 | <dminuoso> | But it needs something like hls to make it enjoyable |
| 2021-06-02 17:21:54 | ski | grumbles at `void' |
| 2021-06-02 17:22:12 | <dminuoso> | ski: the choice of the identifier? |
| 2021-06-02 17:22:16 | <boxscape> | yeah on the other hand when you have tools to jump to any definition in any package I find less of a need for explicit import lists |
| 2021-06-02 17:22:36 | <dminuoso> | boxscape: The readers are not always under your control though. |
| 2021-06-02 17:22:41 | <boxscape> | yes, that is true |
| 2021-06-02 17:22:44 | → | sqrt2 joins (~ben@80-108-18-7.cable.dynamic.surfer.at) |
| 2021-06-02 17:23:00 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-02 17:23:04 | <dminuoso> | Also, its sometimes usefult to ascertain external dependencies by just going through the import part. |
| 2021-06-02 17:24:43 | <boxscape> | dminuoso do you use them when you import something qualified? |
| 2021-06-02 17:25:35 | <dminuoso> | boxscape: No, but out of habit I generally only import text/bytestring/containers qualified. |
| 2021-06-02 17:25:43 | <boxscape> | I see |
| 2021-06-02 17:27:39 | → | derelict joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-06-02 17:29:06 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 264 seconds) |
| 2021-06-02 17:29:12 | <dminuoso> | (heh well, I guess *Yes* rather than *No*) |
| 2021-06-02 17:29:46 | <dminuoso> | And `ip`, but that's very specific to IP annoyances. |
| 2021-06-02 17:29:59 | <ski> | dminuoso : yes |
| 2021-06-02 17:30:15 | <dminuoso> | It's quite interesting how it's nearly impossible to cleanly abstract over both ipv4 and ipv6. Every attempt in each library/tooling here has been foiled. |
| 2021-06-02 17:30:25 | <monochrom> | text, bytestring, and containers have deliberate name clashes and tell you to resolve by qualified imports. |
All times are in UTC.