Logs: freenode/#haskell
| 2021-03-09 20:39:38 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 2021-03-09 20:39:39 | × | redmp quits (~redmp@172.58.35.32) (Ping timeout: 245 seconds) |
| 2021-03-09 20:40:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-09 20:40:54 | → | crobbins_ joins (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) |
| 2021-03-09 20:40:59 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 2021-03-09 20:42:17 | → | carldd11 joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-03-09 20:42:24 | × | carldd11 quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Client Quit) |
| 2021-03-09 20:43:34 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-03-09 20:44:26 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:2c0d:ff90:97b8:fc1b) (Ping timeout: 264 seconds) |
| 2021-03-09 20:44:42 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 20:47:04 | × | Tops2 quits (~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-09 20:47:28 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-09 20:47:49 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 20:48:01 | fr33domlover1 | is now known as fr33domlover |
| 2021-03-09 20:50:04 | <maerwald> | are these two fmap implementations equal? https://paste.tomsmeding.com/gfYBRQtl |
| 2021-03-09 20:50:32 | × | crobbins_ quits (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) (Remote host closed the connection) |
| 2021-03-09 20:51:19 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:484b:63d9:4725:b763) |
| 2021-03-09 20:51:24 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-09 20:52:20 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-09 20:52:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 20:53:02 | → | creuxsader joins (~AdminUser@pool-173-76-103-124.bstnma.fios.verizon.net) |
| 2021-03-09 20:54:01 | × | Guest73167 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 256 seconds) |
| 2021-03-09 20:54:15 | → | hiroaki__ joins (~hiroaki@2a02:8108:8c40:2bb8:e6c8:817b:b58d:6ff3) |
| 2021-03-09 20:54:22 | <glguy> | maerwald: does the first one even typecheck? |
| 2021-03-09 20:54:28 | <maerwald> | yes |
| 2021-03-09 20:54:34 | <glguy> | Oh, sorry. you're not using the normal Cont |
| 2021-03-09 20:54:50 | <maerwald> | doesn't typecheck with ContT, yes |
| 2021-03-09 20:54:55 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-09 20:55:24 | <maerwald> | but does it obey the laws etc, I dunno. I'm getting brain aneurism thinking about it. |
| 2021-03-09 20:57:30 | × | JokerAscensionEx quits (~egp_@2.95.74.168) (Read error: Connection reset by peer) |
| 2021-03-09 20:57:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-09 20:58:00 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-09 20:58:09 | <tomsmeding> | I think (!) that if 'c' has type 'forall r. (a -> r) -> r' for some fixed 'a', then 'c (g . f) = g (c f)' for all f and g |
| 2021-03-09 20:58:18 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 2021-03-09 20:58:30 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Remote host closed the connection) |
| 2021-03-09 20:58:31 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Quit: WeeChat 1.9.1) |
| 2021-03-09 20:58:47 | <monochrom> | You know what, IIRC some kind of Yoneda lemma says yes, they're the same. |
| 2021-03-09 20:58:50 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-09 20:58:57 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-09 20:59:06 | <tomsmeding> | (my proposition would imply that maerwald's both definitions are in fact equivalent) |
| 2021-03-09 20:59:22 | <monochrom> | Long story short, you would be right if your intuition says "the forall helps a lot here". |
| 2021-03-09 20:59:30 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-09 20:59:42 | × | mmohammadi9812 quits (~mmohammad@80.210.50.109) (Remote host closed the connection) |
| 2021-03-09 20:59:48 | <dolio> | @free c :: forall r. (A -> r) -> r |
| 2021-03-09 20:59:48 | <lambdabot> | f . c = c . (.) f |
| 2021-03-09 20:59:52 | <glguy> | fmap1 f (Cont c) = Cont \f' -> (f' . f) (c id) |
| 2021-03-09 20:59:52 | <glguy> | fmap2 f (Cont c) = Cont \f' -> c (f' . f) |
| 2021-03-09 20:59:55 | × | forgottenone quits (~forgotten@176.42.29.216) (Quit: Konversation terminated!) |
| 2021-03-09 20:59:59 | → | mmohammadi9812 joins (~mmohammad@80.210.50.109) |
| 2021-03-09 21:00:20 | <monochrom> | And yeah natural transformations and stuff too. |
| 2021-03-09 21:00:27 | <glguy> | so the question is comparing: g (c id) to c g |
| 2021-03-09 21:00:45 | <monochrom> | With that, I'm hungry, it's tea time. |
| 2021-03-09 21:00:54 | <tomsmeding> | dolio: yay, that's precisely my proposition! |
| 2021-03-09 21:00:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-09 21:01:31 | <glguy> | ?unpl c . (.) f |
| 2021-03-09 21:01:31 | <lambdabot> | (\ x -> c (\ x0 -> f (x x0))) |
| 2021-03-09 21:01:35 | → | JokerAscensionEx joins (~egp_@2.95.74.168) |
| 2021-03-09 21:01:40 | <glguy> | ?unpl f . c |
| 2021-03-09 21:01:41 | <lambdabot> | (\ x -> f (c x)) |
| 2021-03-09 21:02:02 | <tomsmeding> | or more readably, \g -> c (f . g) versus \g -> f (c g) |
| 2021-03-09 21:02:51 | <monochrom> | Heuristic: Every time you see "foo id", suspect Yoneda lemma. :) |
| 2021-03-09 21:03:09 | → | forgottenone joins (~forgotten@176.42.29.216) |
| 2021-03-09 21:03:16 | tomsmeding | still has to learn category theory some day |
| 2021-03-09 21:03:27 | Rembane | too |
| 2021-03-09 21:04:08 | × | fendor quits (~fendor@178.115.130.180.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-09 21:06:10 | → | Alleria joins (~textual@2603-7000-3040-0000-b894-91fd-f1d3-a7ab.res6.spectrum.com) |
| 2021-03-09 21:06:33 | Alleria | is now known as Guest86518 |
| 2021-03-09 21:07:09 | × | jonathanx__ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 2021-03-09 21:08:40 | → | fendor joins (~fendor@178.165.128.28.wireless.dyn.drei.com) |
| 2021-03-09 21:10:50 | × | Guest86518 quits (~textual@2603-7000-3040-0000-b894-91fd-f1d3-a7ab.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-03-09 21:11:04 | <maerwald> | tomsmeding: that makes 3 implementations, lol |
| 2021-03-09 21:11:30 | <maerwald> | so yeah, it's f (c id) == c f |
| 2021-03-09 21:13:36 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-09 21:14:07 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 2021-03-09 21:14:07 | × | xensky_ quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 272 seconds) |
| 2021-03-09 21:14:48 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 246 seconds) |
| 2021-03-09 21:15:10 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-09 21:15:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 21:16:32 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 2021-03-09 21:16:40 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 21:17:04 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 240 seconds) |
| 2021-03-09 21:17:35 | × | mouseghost quits (~draco@wikipedia/desperek) (Remote host closed the connection) |
| 2021-03-09 21:18:32 | → | krt joins (488a1c12@72.138.28.18) |
| 2021-03-09 21:18:33 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 264 seconds) |
| 2021-03-09 21:18:38 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 268 seconds) |
| 2021-03-09 21:19:23 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-03-09 21:20:34 | × | knupfer quits (~Thunderbi@200116b82c21c800a44c879b15e2d0dc.dip.versatel-1u1.de) (Quit: knupfer) |
| 2021-03-09 21:20:47 | → | cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-09 21:20:54 | → | knupfer joins (~Thunderbi@200116b82c21c80070e1b703f12bd6d8.dip.versatel-1u1.de) |
| 2021-03-09 21:21:20 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 2021-03-09 21:22:22 | → | Alleria_ joins (~textual@2603-7000-3040-0000-b894-91fd-f1d3-a7ab.res6.spectrum.com) |
| 2021-03-09 21:23:32 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-09 21:24:57 | × | forgottenone quits (~forgotten@176.42.29.216) (Quit: Konversation terminated!) |
| 2021-03-09 21:25:48 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2021-03-09 21:25:54 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 245 seconds) |
| 2021-03-09 21:26:23 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-09 21:27:53 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 21:28:17 | <krt> | trying to run hat-make on the main module of my program, but it can't find any Data modules. I guess it doesn't package any of the Haskell libraries by default, but I can't find any info on how to do it. Could somebody help out? |
| 2021-03-09 21:28:42 | × | ADG1089__ quits (~aditya@223.226.235.12) (Remote host closed the connection) |
| 2021-03-09 21:29:09 | <krt> | (hat-make --help just returns a help page for ghc) |
All times are in UTC.