Newest at the top
2024-04-29 14:50:02 +0200 | AlexNoo_ | AlexNoo |
2024-04-29 14:46:15 +0200 | <TheOneWhoFuncts> | Is there any ghci command like the one you used for viewing source? |
2024-04-29 14:46:15 +0200 | <TheOneWhoFuncts> | Oh ok Thanks a lot! |
2024-04-29 14:45:56 +0200 | gmg | (~user@user/gehmehgeh) |
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) |