Newest at the top
| 2025-12-19 16:21:49 +0100 | annamalai | (~annamalai@157.32.137.200) annamalai |
| 2025-12-19 16:21:35 +0100 | larsivi | (~larsivi@user/larsivi) (Ping timeout: 245 seconds) |
| 2025-12-19 16:21:33 +0100 | annamalai | (~annamalai@2409:4042:2312:1f01::15d4:c8a5) (Ping timeout: 252 seconds) |
| 2025-12-19 16:15:04 +0100 | <Leary> | Okay, I guess I've heard that turn of phrase. Never seen it reduced to DMR though, only MMR. DMMR might be clearer. |
| 2025-12-19 16:13:43 +0100 | <merijn> | hmm, not quite what I was looking for |
| 2025-12-19 16:13:28 +0100 | <mari-estel> | :D |
| 2025-12-19 16:13:03 +0100 | <lambdabot> | liyang says: <fragamus> how can I upgrade bytestring? I tried to use cabal but it complains <liyang> Ah, the dreaded monochrom restriction. |
| 2025-12-19 16:13:02 +0100 | <merijn> | @quote dreaded |
| 2025-12-19 16:12:45 +0100 | <yin> | Leary: "D" is for "Dreaded" |
| 2025-12-19 16:12:45 +0100 | <lambdabot> | No quotes match. Whoa. |
| 2025-12-19 16:12:44 +0100 | <merijn> | @quote dmr |
| 2025-12-19 16:12:37 +0100 | <merijn> | Leary: Dread Monomorphism Restriction |
| 2025-12-19 16:12:23 +0100 | <mari-estel> | arrow thing, i believe |
| 2025-12-19 16:12:04 +0100 | <yin> | Leary: https://wiki.haskell.org/index.php?title=Monomorphism_restriction |
| 2025-12-19 16:11:50 +0100 | <yin> | mari-estel: is that a Lens thing? |
| 2025-12-19 16:10:58 +0100 | <Leary> | What's "the DMR"? |
| 2025-12-19 16:10:00 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 252 seconds) |
| 2025-12-19 16:07:10 +0100 | <yin> | oh well |
| 2025-12-19 16:07:06 +0100 | <yin> | (join bimap) is a very common pattern for me |
| 2025-12-19 16:06:51 +0100 | <yin> | this is what i'm writting https://paste.jrvieira.com/1766156784921 |
| 2025-12-19 16:06:44 +0100 | <yin> | sure, in this simplified instance |
| 2025-12-19 16:05:56 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 16:05:52 +0100 | Googulator17 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 16:05:28 +0100 | RMSBach | (~RMSBach@24.210.9.182) RMSBach |
| 2025-12-19 16:04:53 +0100 | <lambdabot> | Bitraversable r => Traversal (r a a) (r b b) a b |
| 2025-12-19 16:04:52 +0100 | <mari-estel> | :t both |
| 2025-12-19 16:04:13 +0100 | <merijn> | And, like, literally only 4 characters longer than the join one |
| 2025-12-19 16:03:52 +0100 | <merijn> | honestly, that's approximately 500% more readable anyway |
| 2025-12-19 16:03:41 +0100 | <yin> | shame |
| 2025-12-19 16:03:38 +0100 | <yin> | so i need to write (bimap fromList fromList) |
| 2025-12-19 16:03:04 +0100 | <yin> | oh right |
| 2025-12-19 16:02:09 +0100 | <merijn> | That's just the fact that join is resulting in constraints that 'a = c' and 'b = d' |
| 2025-12-19 16:01:42 +0100 | <merijn> | That's not DMR at all |
| 2025-12-19 16:00:34 +0100 | <lambdabot> | Monad m => m (m a) -> m a |
| 2025-12-19 16:00:33 +0100 | <merijn> | :t join |
| 2025-12-19 16:00:22 +0100 | <lambdabot> | Bifunctor p => (a -> b) -> p a a -> p b b |
| 2025-12-19 16:00:21 +0100 | <merijn> | :t join bimap |
| 2025-12-19 15:59:57 +0100 | <merijn> | oh just super slow |
| 2025-12-19 15:59:49 +0100 | <lambdabot> | Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d |
| 2025-12-19 15:59:46 +0100 | <merijn> | I forgot, what was yahb's prompt? |
| 2025-12-19 15:59:29 +0100 | <merijn> | hmm, lambdabot is dead? |
| 2025-12-19 15:59:08 +0100 | <merijn> | :t bimap |
| 2025-12-19 15:57:35 +0100 | <yin> | when applied to something like (Map Char,Map Int) |
| 2025-12-19 15:55:49 +0100 | <yin> | is the mechanism that prevents me from writing (join bimap fromList) the DMR? |
| 2025-12-19 15:54:57 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-19 15:54:37 +0100 | internatetional | (~nate@2404:c0:2029:708e:1:0:dce8:227d) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2025-12-19 15:50:25 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 15:48:13 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-12-19 15:39:51 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-19 15:38:26 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |