Newest at the top
2024-04-19 07:46:02 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
2024-04-19 07:38:12 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
2024-04-19 07:37:56 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Read error: Connection reset by peer) |
2024-04-19 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-19 07:23:38 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-19 07:18:40 +0200 | mei | (~mei@user/mei) |
2024-04-19 07:18:22 +0200 | mima | (~mmh@aftr-62-216-211-176.dynamic.mnet-online.de) |
2024-04-19 07:13:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-04-19 07:13:11 +0200 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
2024-04-19 07:06:18 +0200 | mei | (~mei@user/mei) |
2024-04-19 07:04:57 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-19 06:58:04 +0200 | euleritian | (~euleritia@dynamic-176-006-187-120.176.6.pool.telefonica.de) |
2024-04-19 06:56:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-04-19 06:54:08 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 252 seconds) |
2024-04-19 06:32:54 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-04-19 06:31:37 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
2024-04-19 06:26:23 +0200 | mei | (~mei@user/mei) (Quit: mei) |
2024-04-19 06:16:08 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
2024-04-19 06:15:36 +0200 | mei | (~mei@user/mei) |
2024-04-19 06:14:59 +0200 | mei | (~mei@user/mei) (Quit: mei) |
2024-04-19 06:14:34 +0200 | Guest67 | (~Guest67@129.170.197.84) (Quit: Client closed) |
2024-04-19 06:11:31 +0200 | <Guest67> | But thanks for the other method |
2024-04-19 06:11:28 +0200 | <Guest67> | Yeah I just realized I needed to use join my self |
2024-04-19 06:11:06 +0200 | <lambdabot> | Monad m => (a -> b1 -> m b2) -> m a -> m b1 -> m b2 |
2024-04-19 06:11:05 +0200 | <probie> | :t \g x y -> liftM2 (,) x y >>= uncurry g -- for variety |
2024-04-19 06:09:22 +0200 | <lambdabot> | Monad m => (a1 -> a2 -> m a) -> m a1 -> m a2 -> m a |
2024-04-19 06:09:21 +0200 | <probie> | :t \g x y -> join (liftM2 g x y) |
2024-04-19 06:08:16 +0200 | michalz | (~michalz@185.246.207.200) |
2024-04-19 06:05:48 +0200 | <Guest67> | Actually, the problem is that g returns something of type m a rather than a |
2024-04-19 06:05:47 +0200 | rekahsoft | (~rekahsoft@184.148.6.204) (Ping timeout: 256 seconds) |
2024-04-19 06:01:09 +0200 | <Guest67> | Thanks |
2024-04-19 06:01:07 +0200 | <Guest67> | I see |
2024-04-19 06:00:51 +0200 | <EvanR> | where a1 = a2 = r |
2024-04-19 06:00:40 +0200 | <lambdabot> | Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r |
2024-04-19 06:00:39 +0200 | <EvanR> | :t liftM2 |
2024-04-19 05:59:31 +0200 | <Guest67> | Is there any abstraction that would make sense to use here in order to replicate the functionality of f? |
2024-04-19 05:59:21 +0200 | <Guest67> | g x' y' |
2024-04-19 05:59:20 +0200 | <Guest67> | y' <- y |
2024-04-19 05:59:20 +0200 | <Guest67> | x' <- x |
2024-04-19 05:59:19 +0200 | <Guest67> | f x y = do |
2024-04-19 05:59:19 +0200 | <Guest67> | f :: Monad m => m a -> m a -> m a |
2024-04-19 05:59:18 +0200 | <Guest67> | g = undefined |
2024-04-19 05:59:18 +0200 | <Guest67> | g :: Monad m => a -> a -> m a |
2024-04-19 05:58:48 +0200 | Guest67 | (~Guest67@129.170.197.84) |
2024-04-19 05:57:17 +0200 | aforemny | (~aforemny@2001:9e8:6ccd:f100:e17c:113d:7:744f) (Ping timeout: 240 seconds) |
2024-04-19 05:56:11 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf2:f800:c4e9:a677:636b:7412) |
2024-04-19 05:47:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-04-19 05:42:06 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-19 05:38:56 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-19 05:33:40 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |