Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17896 17897 17898 17899 17900 17901 17902
— 1,790,138 events total
2026-04-08 06:58:43 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-08 07:03:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-08 07:05:47 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2026-04-08 07:12:17 → sord937_ joins (~sord937@gateway/tor-sasl/sord937)
2026-04-08 07:15:31 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 265 seconds)
2026-04-08 07:18:59 <gentauro> % concat $ Just []
2026-04-08 07:18:59 <yahb2> []
2026-04-08 07:19:06 <gentauro> % concat $ Nothing
2026-04-08 07:19:06 <yahb2> []
2026-04-08 07:22:37 → acidjnk_new3 joins (~acidjnk@p200300d6e700e57180608d91043d28ce.dip0.t-ipconnect.de)
2026-04-08 07:32:53 <ski> > concat [[[],[1,2],[3,4,5]],[[6,7,8,9],[10,11,12,13,14]],[[15,16,17,18,19,20]],[]]
2026-04-08 07:32:55 <lambdabot> [[],[1,2],[3,4,5],[6,7,8,9],[10,11,12,13,14],[15,16,17,18,19,20]]
2026-04-08 07:32:57 <ski> > map concat [[[],[1,2],[3,4,5]],[[6,7,8,9],[10,11,12,13,14]],[[15,16,17,18,19,20]],[]]
2026-04-08 07:32:58 <lambdabot> [[1,2,3,4,5],[6,7,8,9,10,11,12,13,14],[15,16,17,18,19,20],[]]
2026-04-08 07:40:46 × tromp quits (~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-08 07:43:31 → merijn joins (~merijn@77.242.116.146)
2026-04-08 07:44:12 × p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in)
2026-04-08 07:47:28 → tromp joins (~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f)
2026-04-08 07:48:16 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2026-04-08 07:52:30 × CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2026-04-08 08:05:11 × sus032 quits (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2026-04-08 08:06:21 → sus0322 joins (zero@user/zeromomentum)
2026-04-08 08:10:34 × emmanuelux quits (~em@user/emmanuelux) (Quit: bye)
2026-04-08 08:14:52 → CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de)
2026-04-08 08:20:25 × ft quits (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving)
2026-04-08 08:34:14 → Square2 joins (~Square4@user/square)
2026-04-08 08:37:28 × acidjnk_new3 quits (~acidjnk@p200300d6e700e57180608d91043d28ce.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2026-04-08 08:53:55 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:2d0c:5918:2bfa:eb5e) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2026-04-08 08:54:15 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:2d0c:5918:2bfa:eb5e)
2026-04-08 08:55:05 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds)
2026-04-08 09:00:50 → ec joins (~ec@gateway/tor-sasl/ec)
2026-04-08 09:08:08 × tessier_ quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 268 seconds)
2026-04-08 09:08:46 → arandombit joins (~arandombi@2a02:2455:8656:7100:99bb:9d74:9380:7c76)
2026-04-08 09:08:46 × arandombit quits (~arandombi@2a02:2455:8656:7100:99bb:9d74:9380:7c76) (Changing host)
2026-04-08 09:08:46 → arandombit joins (~arandombi@user/arandombit)
2026-04-08 09:08:55 × arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection)
2026-04-08 09:12:45 → traxex joins (traxex@user/traxex)
2026-04-08 09:13:19 → Dirk48 joins (~Dirk48@2a02:3100:89f6:c400:ee84:4a50:9d4c:364c)
2026-04-08 09:17:20 × tromp quits (~textual@2001:1c00:340e:2700:40b:fee9:5f81:6c1f) (Read error: Connection reset by peer)
2026-04-08 09:17:37 → Guest64 joins (~Guest64@p5488236d.dip0.t-ipconnect.de)
2026-04-08 09:22:45 × pandeyan quits (~pandeyan@192-184-251-84.fiber.dynamic.sonic.net) (Quit: ZNC 1.10.1 - https://znc.in)
2026-04-08 09:24:17 → anpad joins (~pandeyan@user/anpad)
2026-04-08 09:29:19 → tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net)
2026-04-08 09:34:50 × jle` quits (~jle`@2603:8001:3b00:11:178c:4665:41b7:a15e) (Ping timeout: 256 seconds)
2026-04-08 09:40:41 → fp1 joins (~Thunderbi@staff237.kora-dyn.aalto.fi)
2026-04-08 09:56:33 → __monty__ joins (~toonn@user/toonn)
2026-04-08 10:03:27 × CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2026-04-08 10:05:09 → CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de)
2026-04-08 10:05:11 → puke joins (~puke@user/puke)
2026-04-08 10:11:33 × CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2026-04-08 10:14:33 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2026-04-08 10:23:37 → rscastilho1 joins (~rscastilh@189.61.152.230)
2026-04-08 10:27:17 × rscastilho1 quits (~rscastilh@189.61.152.230) ()
2026-04-08 10:46:29 → arandombit joins (~arandombi@user/arandombit)
2026-04-08 10:51:47 → srazkvt joins (~sarah@user/srazkvt)
2026-04-08 11:07:28 → Pozyomka joins (~pyon@user/pyon)
2026-04-08 11:08:27 → Teching joins (~Teching@206.57.199.232)
2026-04-08 11:10:30 → CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de)
2026-04-08 11:13:03 → xff0x joins (~xff0x@ai112096.d.east.v6connect.net)
2026-04-08 11:14:41 → haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-04-08 11:14:41 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-04-08 11:14:41 → haritz joins (~hrtz@user/haritz)
2026-04-08 11:15:49 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }; concatMap foobar Nothing; concatMap foobar $ Just $ FooBar []
2026-04-08 11:15:49 <yahb2> <interactive>:47:46: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-08 11:16:02 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }; concatMap foobar Nothing
2026-04-08 11:16:02 <yahb2> <interactive>:49:46: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-08 11:16:17 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }
2026-04-08 11:16:17 <yahb2> <no output>
2026-04-08 11:16:28 <gentauro> % concatMap foobar Nothing
2026-04-08 11:16:28 <yahb2> []
2026-04-08 11:16:36 <gentauro> % concatMap foobar $ Just $ FooBar []
2026-04-08 11:16:36 <yahb2> []
2026-04-08 11:16:39 <gentauro> % concatMap foobar $ Just $ FooBar [42]
2026-04-08 11:16:39 <yahb2> [42]
2026-04-08 11:17:45 × Teching quits (~Teching@206.57.199.232) (Quit: Client closed)
2026-04-08 11:20:38 × synchrom1 quits (~john@2406:5a00:2412:2c00:915:5a48:7d6a:9a9f) (Read error: Connection reset by peer)
2026-04-08 11:22:05 → synchromesh joins (~john@2406:5a00:2412:2c00:8174:9ae9:efe0:c152)
2026-04-08 11:36:31 <ski> at least write `f . g $ x', rather than `f $ g $ x'
2026-04-08 11:36:56 ski would write `(f . g) x' or `f (g x)'
2026-04-08 11:40:47 <ski> (if you write `f . g . h $ x', you can (because `.' is associative, `(f . g) . h = f . (g . h)') factor out `f . g' or `g . h' or `f . g . h' into its own definition. with `f $ g $ h $ x' you can't quite as easily do that refactoring (`$' is not associative))
2026-04-08 12:07:52 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
2026-04-08 12:08:11 → srazkvt joins (~sarah@user/srazkvt)
2026-04-08 12:09:40 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-04-08 12:09:44 × arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection)
2026-04-08 12:10:14 → humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
2026-04-08 12:16:22 → tremon joins (~tremon@83.80.159.219)
2026-04-08 12:20:19 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-04-08 12:23:24 → agincio joins (~agincio@200.16.31.57)
2026-04-08 12:41:07 → arandombit joins (~arandombi@2a02:2455:8656:7100:f194:7daa:6f2:9206)
2026-04-08 12:41:07 × arandombit quits (~arandombi@2a02:2455:8656:7100:f194:7daa:6f2:9206) (Changing host)
2026-04-08 12:41:07 → arandombit joins (~arandombi@user/arandombit)
2026-04-08 12:42:56 × agincio quits (~agincio@200.16.31.57) (Quit: Client closed)
2026-04-08 12:56:25 → DetourNe- joins (~DetourNet@user/DetourNetworkUK)
2026-04-08 12:56:28 × DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-04-08 12:58:40 DetourNe- is now known as DetourNetworkUK
2026-04-08 13:05:40 → rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca)
2026-04-08 13:10:17 × mangoiv quits (~mangoiv@user/mangoiv) (Quit: The Lounge - https://thelounge.chat)
2026-04-08 13:11:11 → mangoiv joins (~mangoiv@2a01:4f9:c012:6c0e::)
2026-04-08 13:12:51 <tomsmeding> ski: on the other hand, in write-only code like something typed into ghci, the pattern "f $" is compositional, whereas with "f . g $ x" the operator to use depends on whether it's the last function to apply or any other
2026-04-08 13:13:57 × Guest64 quits (~Guest64@p5488236d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
←Prev  Next→
Page 1 .. 17896 17897 17898 17899 17900 17901 17902

All times are in UTC.