Newest at the top
| 2024-04-19 08:20:02 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-19 08:08:17 +0200 | danza | (~francesco@151.35.97.107) |
| 2024-04-19 08:01:16 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-04-19 07:55:40 +0200 | dehsou^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-04-19 07:48:17 +0200 | Fijxu | (~Fijxu@user/fijxu) |
| 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) |