Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 979 980 981 982 983 984 985 986 987 988 989 .. 18029
— 1,802,899 events total
2021-07-16 21:21:10 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-16 21:21:38 <dsal> I just noticed in stdlib that `find` is defined as `find p = getFirst . foldMap (\ x -> First (if p x then Just x else Nothing))` -- does anyone have any opinions as to why that's better than the `foldr` that seems like an obvious thing to me.
2021-07-16 21:24:03 <c_wraith> it works better for data types that are more tree-like
2021-07-16 21:24:10 × fendor quits (~fendor@77.119.213.12.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-07-16 21:24:19 <c_wraith> Hmm. Actually, I'm not sure of that.
2021-07-16 21:24:29 <c_wraith> I can't see any case where it's obviously better
2021-07-16 21:26:24 <hpc> :t foldMap
2021-07-16 21:26:25 <lambdabot> (Foldable t, Monoid m) => (a -> m) -> t a -> m
2021-07-16 21:27:52 → ft joins (~ft@shell.chaostreff-dortmund.de)
2021-07-16 21:29:24 <boxscape> % :t \p -> alaf First foldMap \x -> [x | p x ]
2021-07-16 21:29:24 <yahb> boxscape: Foldable t => (b -> Bool) -> t b -> Maybe b
2021-07-16 21:29:25 × chris_ quits (~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-07-16 21:30:50 × DNH quits (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-16 21:32:03 → agua joins (~agua@2804:18:7e:a02e:1:0:239f:a7bb)
2021-07-16 21:33:01 × slycelote quits (~slycelote@user/slycelote) (Read error: Connection reset by peer)
2021-07-16 21:33:01 → s_ joins (~slycelote@user/slycelote)
2021-07-16 21:34:28 → chris_ joins (~chris@81.96.113.213)
2021-07-16 21:34:59 × pesada quits (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 255 seconds)
2021-07-16 21:35:19 × paolino quits (~paolo@84.33.185.158) (Ping timeout: 268 seconds)
2021-07-16 21:36:59 → DNH joins (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764)
2021-07-16 21:39:19 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-16 21:39:19 → Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-16 21:39:37 → benin0369 joins (~benin@183.82.204.139)
2021-07-16 21:39:38 × chris_ quits (~chris@81.96.113.213) (Ping timeout: 268 seconds)
2021-07-16 21:40:09 × shailangsa quits (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) (Remote host closed the connection)
2021-07-16 21:42:28 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-07-16 21:45:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-16 21:45:34 × ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Quit: ubert)
2021-07-16 21:45:54 → lavaman joins (~lavaman@98.38.249.169)
2021-07-16 21:50:27 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-07-16 21:52:04 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-07-16 21:57:46 → KUrare joins (~KUrare@user/kurare)
2021-07-16 21:59:28 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-07-16 22:03:38 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds)
2021-07-16 22:03:44 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-16 22:05:14 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-16 22:05:41 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-16 22:09:14 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-16 22:09:14 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 258 seconds)
2021-07-16 22:10:11 → shailangsa joins (~shailangs@host86-186-196-229.range86-186.btcentralplus.com)
2021-07-16 22:14:51 × KUrare quits (~KUrare@user/kurare) (Remote host closed the connection)
2021-07-16 22:15:07 × s_ quits (~slycelote@user/slycelote) (Quit: Leaving)
2021-07-16 22:15:16 → KUrare joins (~KUrare@user/kurare)
2021-07-16 22:15:18 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8)
2021-07-16 22:19:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-16 22:20:08 <c_wraith> Hmm. how does one make haddock render README.md into the index file?
2021-07-16 22:20:14 × oxide_ quits (~lambda@user/oxide) (Read error: Connection reset by peer)
2021-07-16 22:21:34 → HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-07-16 22:23:25 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds)
2021-07-16 22:23:40 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-16 22:24:43 → slycelote joins (~slycelote@user/slycelote)
2021-07-16 22:27:37 → h98 joins (~h98@187.83.249.216.dyn.smithville.net)
2021-07-16 22:29:50 × chomwitt quits (~Pitsikoko@2a02:587:dc02:3500:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-07-16 22:30:07 → chomwitt joins (~Pitsikoko@2a02:587:dc02:3500:12c3:7bff:fe6d:d374)
2021-07-16 22:30:27 × bgamari quits (~bgamari@72.65.101.148) (Ping timeout: 265 seconds)
2021-07-16 22:32:18 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-16 22:32:48 → bgamari joins (~bgamari@72.65.101.148)
2021-07-16 22:34:23 × acidjnk quits (~acidjnk@p200300d0c72b9530b41c89c6d6c03a30.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-16 22:34:50 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-16 22:37:39 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-16 22:38:33 <h98> I want a type family "Unwrap a" where if I write "newtype Foo = F Bar" then "Unwrap Foo = Bar"...is this impossible without writing it out explicitly because the left side of the newtype doesn't reference the wrapped type?
2021-07-16 22:42:02 <geekosaur> you might be interested in Coercible
2021-07-16 22:42:18 <geekosaur> in short, it already exists
2021-07-16 22:43:27 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
2021-07-16 22:44:50 × vysn quits (~vysn@user/vysn) (Remote host closed the connection)
2021-07-16 22:45:13 <sm> or Witch
2021-07-16 22:48:18 <h98> yeah I know I can coerce (I can also just do it another way), I was just wondering if there was an easy way to write this as a type family
2021-07-16 22:48:20 × KUrare quits (~KUrare@user/kurare) (Ping timeout: 265 seconds)
2021-07-16 22:49:29 <h98> obviously Unwrap (f a) = a doesn't work because "Foo" doesn't match "f a" in "newtype Foo = F Bar"
2021-07-16 22:55:33 × chomwitt quits (~Pitsikoko@2a02:587:dc02:3500:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-07-16 22:55:44 → bgamari_ joins (~bgamari@72.65.101.148)
2021-07-16 22:55:45 <davean> h98: theres no information at the type level about what is in Foo, so no
2021-07-16 22:55:50 → chomwitt joins (~Pitsikoko@2a02:587:dc02:3500:12c3:7bff:fe6d:d374)
2021-07-16 22:56:06 × bgamari quits (~bgamari@72.65.101.148) (Ping timeout: 268 seconds)
2021-07-16 22:56:41 <davean> coerce doesn't even do this, coerce talks about representations matching
2021-07-16 22:57:16 <h98> okay that makes sense; thanks!
2021-07-16 22:57:48 <davean> (This is what type role "nominal" deals with actually!)
2021-07-16 23:01:31 × chomwitt quits (~Pitsikoko@2a02:587:dc02:3500:12c3:7bff:fe6d:d374) (Ping timeout: 246 seconds)
2021-07-16 23:11:40 × noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer)
2021-07-16 23:12:09 → noctux joins (~noctux@user/noctux)
2021-07-16 23:15:10 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds)
2021-07-16 23:16:05 × noctux quits (~noctux@user/noctux) (Remote host closed the connection)
2021-07-16 23:17:23 × Null_A quits (~null_a@2601:645:8700:2290:f84f:8a6f:2960:e8a4) (Remote host closed the connection)
2021-07-16 23:17:27 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-16 23:18:59 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
2021-07-16 23:19:22 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-16 23:20:16 → noctux joins (~noctux@user/noctux)
2021-07-16 23:24:17 × dhouthoo_ quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-07-16 23:26:04 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-07-16 23:26:04 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-16 23:27:18 allbery_b is now known as geekosaur
2021-07-16 23:30:19 → pavonia joins (~user@user/siracusa)
2021-07-16 23:31:32 × jol quits (~jol@jol.dev) (Quit: WeeChat 3.2)
2021-07-16 23:35:34 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-07-16 23:35:51 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-16 23:37:12 → Guest8638 joins (~Guest86@50.47.115.102)
2021-07-16 23:38:37 × h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-16 23:38:57 → notzmv joins (~zmv@user/notzmv)
2021-07-16 23:39:27 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 255 seconds)
2021-07-16 23:40:08 → geekosaur joins (~geekosaur@xmonad/geekosaur)
←Prev  Next→
Page 1 .. 979 980 981 982 983 984 985 986 987 988 989 .. 18029

All times are in UTC.