Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 904 905 906 907 908 909 910 911 912 913 914 .. 18027
— 1,802,658 events total
2021-07-11 12:32:36 → tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-07-11 12:32:55 → anandprabhu_ joins (~anandprab@94.202.243.198)
2021-07-11 12:33:19 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-11 12:37:48 → exile joins (~exile8338@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e)
2021-07-11 12:38:06 × Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds)
2021-07-11 12:38:39 × exile quits (~exile8338@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e) (Client Quit)
2021-07-11 12:38:58 → exilepilot joins (~exilepilo@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e)
2021-07-11 12:39:22 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-07-11 12:40:10 → lavaman joins (~lavaman@98.38.249.169)
2021-07-11 12:41:38 → jakalx joins (~jakalx@base.jakalx.net)
2021-07-11 12:42:21 → chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-11 12:44:00 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-07-11 12:44:20 → kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-07-11 12:44:44 → xkuru joins (~xkuru@user/xkuru)
2021-07-11 12:44:56 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-07-11 12:48:08 <maerwald> > foldr (<> " " <>) "" ["no", "thanks"]
2021-07-11 12:48:10 <lambdabot> <hint>:1:17: error: parse error on input ‘)’
2021-07-11 12:48:17 <maerwald> sad
2021-07-11 13:00:32 <tomsmeding> {-# LANGUAGE TernaryOperatorSections #-}
2021-07-11 13:01:10 → alx741 joins (~alx741@186.178.108.20)
2021-07-11 13:02:21 <maerwald> whaat
2021-07-11 13:13:25 × yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-11 13:13:33 → hexfive joins (~eric@50.35.83.177)
2021-07-11 13:13:34 × hexfive quits (~eric@50.35.83.177) (Client Quit)
2021-07-11 13:14:19 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-11 13:17:03 <tomsmeding> /s :p
2021-07-11 13:17:19 <tomsmeding> would be nice though, I guess, for some rare cases
2021-07-11 13:17:34 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-11 13:20:00 <Hecate> > (<>) <$> pure "no " <*> pure "thanks"
2021-07-11 13:20:02 <lambdabot> error:
2021-07-11 13:20:02 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M120286296565...
2021-07-11 13:20:02 <lambdabot> prevents the constraint ‘(Show (f0 [Char]))’ from being solved.
2021-07-11 13:20:06 <Hecate> ah
2021-07-11 13:20:33 <Hecate> > (++) <$> pure "no " <*> pure "thanks"
2021-07-11 13:20:34 <lambdabot> error:
2021-07-11 13:20:34 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M686359443636...
2021-07-11 13:20:34 <lambdabot> prevents the constraint ‘(Show (f0 [Char]))’ from being solved.
2021-07-11 13:20:40 <Hecate> grrrr :<
2021-07-11 13:20:47 <Hecate> anyway, it works at home
2021-07-11 13:20:52 × anandprabhu_ quits (~anandprab@94.202.243.198) (Quit: Leaving)
2021-07-11 13:23:27 → lbseale joins (~lbseale@user/ep1ctetus)
2021-07-11 13:24:55 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-11 13:25:19 <tomsmeding> > ((++) <$> pure "no " <*> pure "thanks") :: [String]
2021-07-11 13:25:21 <lambdabot> ["no thanks"]
2021-07-11 13:25:48 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-11 13:26:25 <tomsmeding> > concat . intersperse " " ["no", "thanks"]
2021-07-11 13:26:26 <lambdabot> error:
2021-07-11 13:26:26 <lambdabot> • Couldn't match expected type ‘a -> t0 [a1]’
2021-07-11 13:26:27 <lambdabot> with actual type ‘[[Char]]’
2021-07-11 13:26:48 <tomsmeding> > concat . intersperse " " $ ["no", "thanks"]
2021-07-11 13:26:49 <lambdabot> "no thanks"
2021-07-11 13:27:01 <tomsmeding> maerwald: ^
2021-07-11 13:27:35 × zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection)
2021-07-11 13:27:43 → chris-the-slurpa joins (~chris@81.96.113.213)
2021-07-11 13:27:58 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 13:28:22 → Pickchea joins (~private@user/pickchea)
2021-07-11 13:28:38 → zaquest joins (~notzaques@5.128.210.178)
2021-07-11 13:32:18 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 13:33:57 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan)
2021-07-11 13:34:12 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-11 13:34:40 × oxide quits (~lambda@user/oxide) (Ping timeout: 246 seconds)
2021-07-11 13:35:51 → favonia joins (~favonia@user/favonia)
2021-07-11 13:36:52 → oxide joins (~lambda@user/oxide)
2021-07-11 13:37:15 <maerwald> tomsmeding: ?
2021-07-11 13:38:15 <tomsmeding> maerwald: foldr (<> " " <>) "" == concat . intersperse " "
2021-07-11 13:38:29 <tomsmeding> but you already knew that probably :p
2021-07-11 13:38:32 <maerwald> I'm aware how to write this functionality
2021-07-11 13:38:35 <tomsmeding> :p
2021-07-11 13:39:05 darklambda is now known as wasm
2021-07-11 13:39:13 <maerwald> not sure if there's a good reason (<> b <>) doesn't work
2021-07-11 13:39:41 wasm is now known as darklambda
2021-07-11 13:39:42 <tomsmeding> perhaps just unimplemented
2021-07-11 13:39:50 <tomsmeding> you can even make the fixity work correctly
2021-07-11 13:40:50 <tomsmeding> ( (\x y -> (x <> " ") <> y) vs (\x y -> x <> (" " <> y)) )
2021-07-11 13:41:21 <tomsmeding> though using a left-associative operator with such a binary section would be confusing when used in foldr
2021-07-11 13:41:35 × acidjnk quits (~acidjnk@p200300d0c72b9504d9f09758b46acc0d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-11 13:44:17 → yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-11 13:45:58 → qbt joins (~edun@user/edun)
2021-07-11 13:49:32 × yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-07-11 13:52:41 → ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de)
2021-07-11 13:56:32 × ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-07-11 13:59:02 × darklambda quits (~whateverg@122.11.240.98) (Ping timeout: 272 seconds)
2021-07-11 13:59:16 → jonathanx joins (~jonathan@94.234.33.210)
2021-07-11 14:00:17 → fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca)
2021-07-11 14:02:41 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-07-11 14:09:33 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-11 14:13:07 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-11 14:13:48 × Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds)
2021-07-11 14:13:54 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds)
2021-07-11 14:14:30 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-11 14:14:35 → Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-11 14:16:04 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-11 14:17:01 → machinedgod joins (~machinedg@24.105.81.50)
2021-07-11 14:17:59 × jonathanx quits (~jonathan@94.234.33.210) (Remote host closed the connection)
2021-07-11 14:18:16 → jonathanx joins (~jonathan@94.234.33.210)
2021-07-11 14:20:38 × qbt quits (~edun@user/edun) (Quit: WeeChat 3.2)
2021-07-11 14:27:54 × berberman_ quits (~berberman@user/berberman) (Ping timeout: 240 seconds)
2021-07-11 14:28:55 → berberman joins (~berberman@user/berberman)
2021-07-11 14:29:12 × fendor quits (~fendor@91.141.51.136.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-07-11 14:29:38 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
←Prev  Next→
Page 1 .. 904 905 906 907 908 909 910 911 912 913 914 .. 18027

All times are in UTC.