Newest at the top
| 2025-02-11 21:19:56 +0100 | <mauke> | what's the first thing that makes no sense? |
| 2025-02-11 21:19:54 +0100 | <monochrom> | Write your own Functor instance for (->)e, and discover that its fmap is exactly (.) |
| 2025-02-11 21:19:50 +0100 | <mauke> | it wasn't very thoughtful :-) |
| 2025-02-11 21:19:17 +0100 | <justsomeguy> | Honestly, I wish I could say that I understood your thoughtful explanation, but I'm so confused. |
| 2025-02-11 21:15:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-02-11 21:14:23 +0100 | <mauke> | = (a -> b) -> (e -> a) -> (e -> b) |
| 2025-02-11 21:14:01 +0100 | <mauke> | let f = ((->) e) in (a -> b) -> f a -> f b ==> (a -> b) -> (->) e a -> (->) e b |
| 2025-02-11 21:12:57 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-11 21:12:53 +0100 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2025-02-11 21:12:52 +0100 | <mauke> | :t fmap |
| 2025-02-11 21:10:52 +0100 | <mauke> | instance Functor ((->) e) where fmap = (.) |
| 2025-02-11 21:10:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-11 21:10:28 +0100 | <mauke> | because fmap = (.) |
| 2025-02-11 21:10:23 +0100 | <justsomeguy> | How does fmap f Just = f . Just? |
| 2025-02-11 21:10:19 +0100 | <lambdabot> | Just 6 |
| 2025-02-11 21:10:18 +0100 | <mauke> | > fmap fmap fmap sum Just [1,2,3] |
| 2025-02-11 21:09:13 +0100 | <mauke> | the middle thing is where it gets funky |
| 2025-02-11 21:09:08 +0100 | <mauke> | the 1st/3rd things I said are just the definition of (.) |
| 2025-02-11 21:08:32 +0100 | <mauke> | (fmap sum . Just) [1,2,3] = fmap sum (Just [1,2,3]) |
| 2025-02-11 21:08:27 +0100 | <justsomeguy> | Wait wait wait... |
| 2025-02-11 21:08:04 +0100 | Katarushisu3 | Katarushisu |
| 2025-02-11 21:08:04 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2025-02-11 21:08:01 +0100 | Katarushisu3 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-11 21:07:58 +0100 | <mauke> | because of the naked reader instance |
| 2025-02-11 21:07:52 +0100 | <mauke> | fmap f Just = f . Just |
| 2025-02-11 21:07:21 +0100 | <Rembane> | \o/ Functor laws \o/ |
| 2025-02-11 21:07:09 +0100 | <mauke> | (fmap . fmap) sum = fmap (fmap sum) |
| 2025-02-11 21:06:33 +0100 | <justsomeguy> | How does this evaluate: (fmap . fmap) sum Just [1,2,3]? Why does (fmap . fmap) sum Just [1,2,3] == (fmap sum) (Just [1,2,3])? |
| 2025-02-11 21:06:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 21:04:17 +0100 | ljdarj1 | ljdarj |
| 2025-02-11 21:04:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-11 21:01:36 +0100 | <ash3en> | what is Fortan like, from the Haskell perspective? |
| 2025-02-11 21:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-11 21:00:28 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-11 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-11 20:55:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-11 20:55:00 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-02-11 20:54:59 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-11 20:54:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-11 20:51:45 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2025-02-11 20:51:08 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-11 20:48:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-11 20:47:52 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-02-11 20:47:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-11 20:45:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-11 20:45:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-11 20:43:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 20:43:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-02-11 20:42:23 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-11 20:41:40 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |