2026/04/08

Newest at the top

2026-04-08 13:21:46 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2026-04-08 13:20:19 +0000tomsmedingtoo
2026-04-08 13:18:59 +0000skiwould simply not use `$' at all, there
2026-04-08 13:16:47 +0000mangoiv(~mangoiv@user/mangoiv) mangoiv
2026-04-08 13:16:47 +0000mangoiv(~mangoiv@2a01:4f9:c012:6c0e::) (Changing host)
2026-04-08 13:13:57 +0000Guest64(~Guest64@p5488236d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-04-08 13:12:51 +0000 <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:11:11 +0000mangoiv(~mangoiv@2a01:4f9:c012:6c0e::)
2026-04-08 13:10:17 +0000mangoiv(~mangoiv@user/mangoiv) (Quit: The Lounge - https://thelounge.chat)
2026-04-08 13:05:40 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft
2026-04-08 12:58:40 +0000DetourNe-DetourNetworkUK
2026-04-08 12:56:28 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-04-08 12:56:25 +0000DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-04-08 12:42:56 +0000agincio(~agincio@200.16.31.57) (Quit: Client closed)
2026-04-08 12:41:07 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-08 12:41:07 +0000arandombit(~arandombi@2a02:2455:8656:7100:f194:7daa:6f2:9206) (Changing host)
2026-04-08 12:41:07 +0000arandombit(~arandombi@2a02:2455:8656:7100:f194:7daa:6f2:9206)
2026-04-08 12:23:24 +0000agincio(~agincio@200.16.31.57)
2026-04-08 12:20:19 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-04-08 12:16:22 +0000tremon(~tremon@83.80.159.219) tremon
2026-04-08 12:10:14 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-04-08 12:09:44 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-04-08 12:09:40 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-04-08 12:08:11 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2026-04-08 12:07:52 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2026-04-08 11:40:47 +0000 <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 11:36:56 +0000skiwould write `(f . g) x' or `f (g x)'
2026-04-08 11:36:31 +0000 <ski> at least write `f . g $ x', rather than `f $ g $ x'
2026-04-08 11:22:05 +0000synchromesh(~john@2406:5a00:2412:2c00:8174:9ae9:efe0:c152) synchromesh
2026-04-08 11:20:38 +0000synchrom1(~john@2406:5a00:2412:2c00:915:5a48:7d6a:9a9f) (Read error: Connection reset by peer)
2026-04-08 11:17:45 +0000Teching(~Teching@206.57.199.232) (Quit: Client closed)
2026-04-08 11:16:39 +0000 <yahb2> [42]
2026-04-08 11:16:39 +0000 <gentauro> % concatMap foobar $ Just $ FooBar [42]
2026-04-08 11:16:36 +0000 <yahb2> []
2026-04-08 11:16:36 +0000 <gentauro> % concatMap foobar $ Just $ FooBar []
2026-04-08 11:16:28 +0000 <yahb2> []
2026-04-08 11:16:28 +0000 <gentauro> % concatMap foobar Nothing
2026-04-08 11:16:17 +0000 <yahb2> <no output>
2026-04-08 11:16:17 +0000 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }
2026-04-08 11:16:02 +0000 <yahb2> <interactive>:49:46: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-08 11:16:02 +0000 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }; concatMap foobar Nothing
2026-04-08 11:15:49 +0000 <yahb2> <interactive>:47:46: error: [GHC-25277] ; Parse error: module header, import declaration ; or top-level declaration expected.
2026-04-08 11:15:49 +0000 <gentauro> % newtype FooBar = FooBar { foobar :: [Int] }; concatMap foobar Nothing; concatMap foobar $ Just $ FooBar []
2026-04-08 11:14:41 +0000haritz(~hrtz@user/haritz) haritz
2026-04-08 11:14:41 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-04-08 11:14:41 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-04-08 11:13:03 +0000xff0x(~xff0x@ai112096.d.east.v6connect.net)
2026-04-08 11:10:30 +0000CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen
2026-04-08 11:08:27 +0000Teching(~Teching@206.57.199.232)
2026-04-08 11:07:28 +0000Pozyomka(~pyon@user/pyon) pyon