Newest at the top
| 2024-04-29 14:44:54 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-29 14:43:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-29 14:37:34 +0200 | <ncf> | (these notions coincide on closed monoidal categories) |
| 2024-04-29 14:36:43 +0200 | <ncf> | applicative functors can be modelled as either lax closed functors or (most often) lax monoidal functors |
| 2024-04-29 14:35:53 +0200 | eron | (~eron@168.196.116.143) |
| 2024-04-29 14:35:45 +0200 | <ncf> | a second implementation would be liftM2' f m1 m2 = do x2 <- m2; x1 <- m1; return (f x1 x2) -- this corresponds to sequencing the effects backwards, or right-to-left |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | return (f x1 x2) |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | x2 <- m2 |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | x1 <- m1 |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | liftM2 f m1 m2 = do |
| 2024-04-29 14:34:58 +0200 | <ncf> | @src liftM2 |
| 2024-04-29 14:34:48 +0200 | <lambdabot> | Monad m => m (a -> b) -> m a -> m b |
| 2024-04-29 14:34:47 +0200 | <ncf> | :t ap |
| 2024-04-29 14:34:43 +0200 | <lambdabot> | ap = liftM2 id |
| 2024-04-29 14:34:43 +0200 | <ncf> | @src ap |
| 2024-04-29 14:33:23 +0200 | <TheOneWhoFuncts> | P.S - I have seen bartosz milewski's lecture videos for category theory I and II |
| 2024-04-29 14:33:23 +0200 | <TheOneWhoFuncts> | Also, what does an applicative functor correspond to in category theory? |
| 2024-04-29 14:33:23 +0200 | <TheOneWhoFuncts> | Ok, so is it possible to implement <*> using bind and return? |
| 2024-04-29 14:29:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-29 14:29:02 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-29 14:28:35 +0200 | <ncf> | every (strong) monad gives rise to an applicative functor (often two), so there are "more" applicative functors than monads |
| 2024-04-29 14:27:35 +0200 | demon-cat | (~demon-cat@82-132-217-251.dab.02.net) (Ping timeout: 264 seconds) |
| 2024-04-29 14:26:03 +0200 | <TheOneWhoFuncts> | Hello, I am a haskell beginner and I wanted to ask how are applicative functors generalization of Monads wrt Category theory? |
| 2024-04-29 14:23:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-29 14:20:38 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-04-29 14:16:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-04-29 14:13:40 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2024-04-29 14:00:44 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.86) |
| 2024-04-29 13:55:17 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-29 13:53:16 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-29 13:50:00 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) |
| 2024-04-29 13:46:45 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-04-29 13:25:20 +0200 | danza | (~francesco@151.37.162.148) (Ping timeout: 245 seconds) |
| 2024-04-29 13:13:47 +0200 | canta | (~canta@user/canta) |
| 2024-04-29 13:07:12 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2024-04-29 13:05:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-29 13:05:03 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-29 13:03:37 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-29 13:03:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-04-29 13:03:05 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2024-04-29 13:02:25 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2024-04-29 13:02:12 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-04-29 13:02:08 +0200 | kmein | (~weechat@user/kmein) |
| 2024-04-29 13:01:44 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 256 seconds) |
| 2024-04-29 13:01:44 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (Ping timeout: 256 seconds) |
| 2024-04-29 13:01:43 +0200 | canta | (~canta@user/canta) (Ping timeout: 246 seconds) |
| 2024-04-29 13:01:32 +0200 | A_Dragon | (A_D@libera/staff/dragon) |
| 2024-04-29 13:01:25 +0200 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) |
| 2024-04-29 13:01:21 +0200 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
| 2024-04-29 13:01:04 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 255 seconds) |